CB-001
自然言語仕様からの機能間の並列・順序動作の抽出と左記テスト環境

◎青山裕介・黒岩丈瑠・久代紀之（九工大）

品質特性に規定された機能性の評価では、機能単体で仕様書に記載された機能が満足することを確認する機能テストとともに、機能間の実行順序や複数機能が並行して動作した場合にも正常に動作することを確認する組合せ・並行動作テストが重要である。
一方で、上記機能間の実行順序に関しては、仕様書に明示されていることが少なく、テストケースに漏れを発生してしまうことが往々に発生する。
また、種々の順序での実行や並行動作のテストの実行は、実施に手間がかかり、また実行が困難であることも多い。
本研究では、自然言語仕様書をセミ形式記述に変換し機能間の依存関係と並行関係を可視化することで、順序・並行動作の対象となる機能の抽出の支援を行う。さらに、左記順序・並行動作テストの実行を自在に実行可能なモデル検査機能を搭載した試験環境を提供する。これらにより、ソフトウェアテストの実行の効率性および信頼性の向上を図る。