| 講演名 | 2011-03-10 UML要求仕様からのカバレッジに基づく機能テストのテストケース生成 式見 遼, 小形 真平, 松浦 佐江子, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | システム開発において,テスト段階では開発したシステムが要求仕様を満たしていることを検証しなければならない.この検証のためのテストは,W字モデルの観点から,要求仕様から作成されることが望ましい.我々はこれまで,プロトタイプ自動生成可能なUML(Unified Modeling Language)モデルで記述した要求仕様から統合テスト仕様を自動生成する手法を提案してきた.しかし,従来の提案手法は仕様のフローのみに着目し,条件分岐やデータ操作を考慮しなかったため,存在し得ないフローのテストケースが生成される問題があった.本研究では,システムの動作を要求仕様で定義されたアクティビティ図のフローに沿って,各ノードで発生するイベントによるシステムの状態変化として捉え,評価(シミュレーション)することで,フローに合致するテストケースを生成する手法を提案する. |
| 抄録(英) | To develop high quality system, it should be verified that a final product satisfies the requirements specification. From the viewpoint of W-Model, it is desirable to develop integration test cases at the requirement analysis phase. We have proposed an automatic generation method of integration test cases from UML-based scenario in which the requirements analysis model has been validated by the automatic generated prototype. However, this method has weak point that some impossible test flows are generated because the same branch conditions in an activity diagram were unchecked. We propose the improved automatic test case generation method by introducing state-based simulation according to flows in activity diagrams. |
| キーワード(和) | テストケース / UML / アクティビティ図 / カバレッジ / 要求仕様 |
| キーワード(英) | Test case / UML / Activity diagram / coverage / Requirements Specification |
| 資料番号 | KBSE2010-48 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2011/3/3(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | UML要求仕様からのカバレッジに基づく機能テストのテストケース生成 |
| サブタイトル（和） | |
| タイトル（英） | Generating Test Cases from UML Requirement Specifications Based on Coverage |
| サブタイトル（和） | |
| キーワード(1)（和/英） | テストケース / Test case |
| キーワード(2)（和/英） | UML / UML |
| キーワード(3)（和/英） | アクティビティ図 / Activity diagram |
| キーワード(4)（和/英） | カバレッジ / coverage |
| キーワード(5)（和/英） | 要求仕様 / Requirements Specification |
| 第 1 著者 氏名（和/英） | 式見 遼 / Ryo Shikimi |
| 第 1 著者 所属（和/英） | 芝浦工業大学システム工学部電子情報システム学科 Department of Electronic Information System, collage of System Engineering, Shibaura Institute of Technology |
| 第 2 著者 氏名（和/英） | 小形 真平 / Shinpei Ogata |
| 第 2 著者 所属（和/英） | 芝浦工業大学大学院工学研究科機能制御システム専攻 Division of Functional Control Systems, Graduate School of Engineering, Shibaura Institute of Technology |
| 第 3 著者 氏名（和/英） | 松浦 佐江子 / Saeko Matsuura |
| 第 3 著者 所属（和/英） | 芝浦工業大学大学院工学研究科機能制御システム専攻 Division of Functional Control Systems, Graduate School of Engineering, Shibaura Institute of Technology |
| 発表年月日 | 2011-03-10 |
| 資料番号 | KBSE2010-48 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | 468 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |