| Presentation | 2003/9/9 Design and Analysis of Agent Systems by Extended Statecharts Heui-Seok Sec, Tadashi Araragi, Yong Rae Kwon, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | This paper presents a testing method for an agent system against the specification for its behavior described in Statecharts. Here, an agent system means an implementation of an agent application. The testing method controls the execution of the agent system (concurrent system) by using test sequences obtained from the specification and it checks whether the system behaves in accordance with the specification. For specification-based testing, we have extended the design framework of the standard Statecharts so that we can describe the behavior of agents effectively along the concept of Agent UML. Agent systems generally have an enormous number of possible execution sequences because of the agents' autonomy. Our analysis method to produce test sequences makes effective use of the partial order reduction technique. As a result, we can dramatically reduce the number of executions to be tested. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Statecharts / Design, Analysis / Concurrency / Testing |
| Paper # | AI2003-56 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 2003/9/9(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Design and Analysis of Agent Systems by Extended Statecharts |
| Sub Title (in English) | |
| Keyword(1) | Statecharts |
| Keyword(2) | Design, Analysis |
| Keyword(3) | Concurrency |
| Keyword(4) | Testing |
| 1st Author's Name | Heui-Seok Sec |
| 1st Author's Affiliation | Division of Computer Science, Korea Advanced Institute of Science and Technology() |
| 2nd Author's Name | Tadashi Araragi |
| 2nd Author's Affiliation | Agent Open Laboratory, NTT Communication Science Laboratories, Nippon Telegraph and Telephone Corporation |
| 3rd Author's Name | Yong Rae Kwon |
| 3rd Author's Affiliation | Division of Computer Science, Korea Advanced Institute of Science and Technology |
| Date | 2003/9/9 |
| Paper # | AI2003-56 |
| Volume (vol) | vol.103 |
| Number (no) | 306 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |