6L-3
UML要求仕様からのカバレッジに基づく機能テストのテストケース生成
○式見 遼,小形真平,松浦佐江子(芝浦工大)
システム開発において,テスト段階では開発したシステムが
要求仕様を満たしていることを検証しなければならない.
この検証のためのテストは,W字モデルの観点から,
要求仕様から作成されることが望ましい.
我々はこれまで,UML(Unified Modeling Language)モデルで記述した
要求仕様から統合テスト仕様を自動生成する手法を提案してきた.
しかし,従来の提案手法は仕様のフローのみに着目し,
条件分岐やデータ操作を考慮しなかったため,
存在し得ないフローのテストケースが生成される問題があった.
本研究では,要求仕様のフローを定義したアクティビティ図の動作を
シミュレートする形で,カバレッジを計測しながら効率よく
機能テストのテストケースを生成する手法を提案する.