| 講演名 | 2003/9/9 (<特集>「アクティブマイニング」及び一般) , |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | 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. |
| キーワード(和) | |
| キーワード(英) | Statecharts / Design, Analysis / Concurrency / Testing |
| 資料番号 | AI2003-56 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2003/9/9(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | (<特集>「アクティブマイニング」及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Design and Analysis of Agent Systems by Extended Statecharts |
| サブタイトル（和） | |
| キーワード(1)（和/英） | / Statecharts |
| 第 1 著者 氏名（和/英） | / Heui-Seok Sec |
| 第 1 著者 所属（和/英） | Division of Computer Science, Korea Advanced Institute of Science and Technology |
| 発表年月日 | 2003/9/9 |
| 資料番号 | AI2003-56 |
| 巻番号（vol） | vol.103 |
| 号番号（no） | 306 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |