4J-05
形式仕様に基づくテストケースの自動生成とテスト結果の自動評価
○池田逸人,劉 少英(法大)
ソフトウェアテストは時間のかかる作業であり、自動的にテストケースを生成、テスト結果の評価を行うことでこの問題を解決できる。 本稿では、Structured Object-Oriented Formal Language(SOFL)で書かれた形式仕様からのテストケース自動生成を行う支援ツールについて述べる。 集合型、列型、複合型などの様々な型のデータに対して、様々な演算子を含む原子論理式とその連言標準形からテストケースを生成するアルゴリズムについて説明する。 ソフトウェアツールの詳細については、(1) SOFL仕様の編集、(2) 仕様からのテストケースの生成、(3) 仕様やテストケースに関するファイルの操作、(4) テスト結果の自動評価 の4つの主要機能を提示して説明する。

footer 著作権について 倫理綱領 プライバシーポリシー セキュリティ 情報処理学会