%0 Book Section %1 seo_04_modeling %A Seo, Heui S. %A Araragi, Tadashi %A Kwon, Yong R. %D 2004 %J Applying Formal Methods: Testing, Performance, and M/E-Commerce %K _to_download_springer 2004 tests agents statecharts _no_doi %P 308--321 %T Modeling and Testing Agent Systems Based on Statecharts %U http://www.springerlink.com/content/qkcer35gb2c2unat %X This paper presents a^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^A large number of possible sequences caused by the agents^a€™ autonomy. As a result, we can reduce the number of test sequences and the number of executions to be tested.

@incollection{seo_04_modeling, abstract = {This paper presents a^{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^{A} large number of possible sequences caused by the agents^{a}€™ autonomy. As a result, we can reduce the number of test sequences and the number of executions to be tested.}, added-at = {2009-02-12T11:45:23.000+0100}, author = {Seo, Heui S. and Araragi, Tadashi and Kwon, Yong R.}, biburl = {https://www.bibsonomy.org/bibtex/2a742c75c560770d888754423713c2f6e/leonardo}, citeulike-article-id = {2045952}, interhash = {372ecb3169795cbf571d616ec1720b87}, intrahash = {a742c75c560770d888754423713c2f6e}, journal = {Applying Formal Methods: Testing, Performance, and M/E-Commerce}, keywords = {_to_download_springer 2004 tests agents statecharts _no_doi}, pages = {308--321}, posted-at = {2007-12-02 21:09:43}, priority = {2}, timestamp = {2009-02-12T11:45:23.000+0100}, title = {Modeling and Testing Agent Systems Based on Statecharts}, url = {http://www.springerlink.com/content/qkcer35gb2c2unat}, year = 2004 }