Abstract
This paper presents a testing method for an agent system against its specification described with Statecharts. Here, an agent system means an implementation of an agent application. Its testing method generates test sequences from the specification and checks whether the agent system behaves in accordance with the specification by executing the test sequences. For specification-based testing, we have extended Statecharts in order to describe the behavior of an agent system according to the concept of Agent UML. Then, we propose an approach to generating test sequences from the extended Statecharts. Our approach makes effective use of partial order methods for considering representative sequences of equivalent classes divided from all possible sequences. Therefore, we can efficiently manage a large number of possible sequences caused by the agents’ autonomy. As a result, we can reduce the number of test sequences and the number of executions to be tested.
This work is supported in part by Nippon Telegraph and Telephone Corporation (NTT).
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
Carver, R.H., Tai, K.C.: Use of Sequencing Constraints for Specification-based Testing of Concurrent Programs. IEEE Transaction on Software Engineering 24(6), 471–490 (1998)
Tai, K.C., Karacali, B.: On Godefroid’s State-less Search Technique for Testing Concurrent Programs. In: Proceedings of the 5th International Symposium on Autonomous Decentralized Systems, pp. 77–84 (2001)
FIPA Interaction Protocol Library Specification (2001), http://www.fipa.org/specs/fipa00025/XC00025E.html
Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for Agents. In: Proceedings of the Agent-Oriented Information Systems Workshop at 17th National Conference in Artificial Intelligence, pp. 3–17 (2000)
Harel, D.: Statecharts: A Visual Formalism for Complex System. Science of Computer Programming 8, 231–274 (1987)
Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transaction on Software Engineering and Methodology 5(4), 293–333 (1996)
Mylopoulos, J., Kolp, M., Castro, J.: UML for Agent-Oriented Software Development: The Tropos Proposal. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, p. 422. Springer, Heidelberg (2001)
Gomez Sanz, J., Fuentes, R.: Agent Oriented Software Engineering with INGENIAS. In: Proceedings of the 4th Iberoamerican Workshop on Multi-Agent Systems (Iberagent 2002) (2002)
Wooldridge, M., Jennings, N.R., Kinny, D.: The Gaia Methodology for Agent- Oriented Analysis and Design. Journal of Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)
Hong, H.S., Kim, Y.G., Cha, S.D., Bae, D.H., Ural, H.: A Test Sequence Selection Method for Statecharts. Software Testing, verification and Reliability 10(4), 203–227 (2000)
Tsai, B.Y., Stobart, S., Parrington, N., Mitchell, I.: An Automatic Test Case Generator Derived from State-based Testing. In: Proceedings of Asia-Pacific Software Engineering Conference (APSEC 1998), pp. 270–277 (1998)
Seo, H.-S., Chung, I.S., Kim, B.M., Kwon, Y.R.: A Design Implementation of Automata-based Testing Environment for Java Multi-thread Programs. In: Proceedings of Asia-Pacific Software Engineering Conference (APSEC 2001), pp. 221–228 (2001)
Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem. In: Godefroid, P. (ed.) Partial-Order Methods for the Verification of Concurrent Systems. LNCS, vol. 1032, Springer, Heidelberg (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Seo, HS., Araragi, T., Kwon, Y.R. (2004). Modeling and Testing Agent Systems Based on Statecharts. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds) Applying Formal Methods: Testing, Performance, and M/E-Commerce. FORTE 2004. Lecture Notes in Computer Science, vol 3236. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30233-9_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-30233-9_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23169-1
Online ISBN: 978-3-540-30233-9
eBook Packages: Springer Book Archive