Design and Analysis of Agent Systems by Extended Statecharts (特集 「アクティブマイニング」及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 一般社団法人情報処理学会の論文
- 2003-09-14
著者
-
Seo Heui-seok
Division Of Computer Science Korea Advanced Institute Of Science And Technology
-
Kwon Yong
Division Of Computer Science Korea Advanced Institute Of Science And Technology
-
Araragi Tadashi
Agent Open Laboratory Ntt Communication Science Laboratories Nippon Telegraph And Telephone Corporat
-
Kwon Yong
Agent Open Laboratory, NTT Communication Science Laboratories, Nippon Telegraph and Telephone Corporation
-
Araragi Tadashi
Division of Computer Science, Korea Advanced Institute of Science and Technology
関連論文
- IS-2 Immunologic Diagnosis and Monitoring of Cervical Cancers using In Vitro Translated HPV Proteins
- Design and Analysis of Agent Systems by Extended Statecharts
- Design and Analysis of Agent Systems by Extended Statecharts (特集 「アクティブマイニング」及び一般)
- Design and Analysis of Agent Systems by Extended Statecharts (小特集 「アクティブマイニング」および一般)
- (「アクティブマイニング」及び一般)
- Mycobacterium abscessus Pulmonary Infection Presenting as a Solitary Pulmonary Nodule
- The Way of Anti-GA Use which Ensures Stable High Yield of Rice