情報処理学会 第78回全国大会講演要旨

本研究は、形式仕様に基づくテストケース生成法の有用性を評価するための研究である。評価する方法としては、まず健康状態をチェックするウェアラブルデバイスのシステムをSOFLの開発手法を用いて開発する。次にこのシステムの検証として、形式仕様に基づくテストケース生成法とPairwise(All-Pair)法とrandom testingの3つの方法を用いてテストケースを生成し、テストを実行する。最後にテストの結果、すなわちコード網羅率(カバレッジ)やテストのコスト(テストケースの項目量)を比較する。この結果から、形式仕様に基づくテストケース生成法の有用性を評価する。