Using rewrite strategies for testing BUpL agents

Authors:
Lăcrămioara Aştefănoaei;Frank S. de Boer;M. Birna van Riemsdijk
Affiliations:
Centrum voor Wiskunde en Informatica (CWI), Amsterdam, GB, The Netherlands;Centrum voor Wiskunde en Informatica (CWI), Amsterdam, GB, The Netherlands;TU, Delft, The Netherlands
Venue:
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Year:
2009

Citing 9
Cited 0

Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Deduction, Strategies, and Rewriting

Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

Electronic Notes in Theoretical Computer Science (ENTCS)
Model-checking agent refinement

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Automated unit testing intelligent agents in PDT

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Seven Principles of Software Testing

Computer
A goal-oriented software testing methodology

AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
The refinement of choreographed multi-agent systems

DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main steps. We first define a formal language for the specification of test cases with respect to BUpL. We then implement test cases written in the formal language by means of a general method based on rewrite strategies. Testing an agent program with respect to a given test case corresponds to strategically executing the rewrite theory associated to the agent with respect to the strategy implementing the test case.