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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Astefanoaei, L., de Boer, F.S.: Model-checking agent refinement. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 705–712. IFAAMAS (2008)
Astefanoaei, L., de Boer, F.S., Dastani, M.: The refinement of choreographed multi-agent systems. In: Baldoni, M., van Riemsdijk, M.B. (eds.) DALT 2009. LNCS, vol. 5948, pp. 20–34. Springer, Heidelberg (2010)
Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.): Programming: Languages, Platforms and Applications (Multiagent Systems, Artificial Societies, and Simulated Organizations), vol. 15. Springer, Heidelberg (2005)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.L. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
Eker, S., Martí-Oliet, N., Meseguer, J., Verdejo, A.: Deduction, strategies, and rewriting. Electronic Notes in Theoretical Computer Science (ENTCS) 174(11), 3–25 (2007)
Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker. In: Gadducci, F., Montanari, U. (eds.) Proceedings of the 4th Workshop on Rewriting Logic and its Applications (WRLA). ENTCS, vol. 71. Elsevier, Amsterdam (2002)
Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems (AAMAS) 2(4), 357–401 (1999)
Martí-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework. In: Meseguer, J. (ed.) Electronic Notes in Theoretical Computer Science, vol. 4. Elsevier, Amsterdam (2000)
Meyer, B.: Seven Principles of Software Testing. IEEE Computer 41(8), 99–101 (2008)
Nguyen, D.C., Perini, A., Tonella, P.: A Goal-Oriented Software Testing Methodology. In: Agent Oriented Software Engineering (AOSE), pp. 58–72 (2007)
Serbanuta, T.-F., Rosu, G., Meseguer, J.: A rewriting logic approach to operational semantics (extended abstract). Electronic Notes in Theoretical Computer Science (ENTCS) 192(1), 125–141 (2007)
Wooldridge, M.: Agent-based software engineering. IEEE Proceedings Software Engineering 144(1), 26–37 (1997)
Zhang, Z., Thangarajah, J., Padgham, L.: Automated unit testing intelligent agents in PDT. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1673–1674. IFAAMAS (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aştefănoaei, L., de Boer, F.S., van Riemsdijk, M.B. (2010). Using Rewrite Strategies for Testing BUpL Agents. In: De Schreye, D. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2009. Lecture Notes in Computer Science, vol 6037. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12592-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-12592-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12591-1
Online ISBN: 978-3-642-12592-8
eBook Packages: Computer ScienceComputer Science (R0)