研究課題
拡張状態遷移モデルの一種であるEPN（Extended Place/transition Net）を用いて記述したソフトウェアの形式的振舞いモデル（EPNモデル）から、体系的にテストケースを生成するための新たなテスト網羅基準を提案した。状態遷移Nタプル網羅と呼ばれるこの基準を用いることによって、ターゲットとする欠陥に関連すると考えられる任意の数の状態遷移に注目し、それらの実行順序を網羅するようなテストが可能になる。また、EPNモデルの作成には専門的な知識や技量が必要であり、それらをテスト技術者が獲得することを支援するためのデバッグ訓練手法およびツールを提案した。これは、EPNモデル、およびそれに基づくソフトウェアの振舞いを可視化することによって、訓練者の直感的な理解を促進するものである。さらに、新たな拡張状態遷移モデルとして、EPNAT（Extended Place/transition Net with Attributed Tokens）を提案した。EPNATの特徴は、インスタンス変数（ソフトウェアを構成するモジュールやサブシステムなどのオブジェクトの振舞いを特徴づける変数）をトークンに持たせている点である。これによって、同じ振舞いと変数をもつオブジェクトに対応するEPNモデル中の複数の部分ネットが、EPNATモデルでは一つの部分ネットに統合されるため、可読性や表現力を高めることができると考えられる。EPNATモデルをVDM仕様に機械的に変換するためのコーディングパターンについても提案した。このVDM仕様から、ヒューリスティックアルゴリズムによって選りすぐったテストケースを生成する手法について検討を進めた。
2: おおむね順調に進展している
EPNモデルから体系的にテストケースを生成するためのテスト網羅基準や、EPNモデルに関する専門的な知識や技量の獲得を支援するデバッグ訓練手法、従来のEPNの問題点を解決するEPNATによるモデリング手法などを開発し、その成果を国際会議や国際論文誌で発表することができたため。
EPNモデルやEPNATモデルのVDM仕様に基づいて、各種のテスト網羅基準やテスト条件を開発する。そして、それらを満たすテストケースを選りすぐって生成する手法およびツールを試作し、有効性を評価する。
遠方への出張がなかったこと、研究成果の一部を次年度に発表することにしたことなどの理由により、次年度使用額が生じた。次年度においては、研究成果を発表するための学会参加費や論文掲載料などに使用する予定である。
すべて 2020 2019
すべて 雑誌論文 (1件) (うち査読あり 1件、 オープンアクセス 1件) 学会発表 (2件)
Journal of Robotics, Networking and Artificial Life
巻: Vol.5, No.4 ページ: pp.278-282
10.2991/jrnal.k.190402.001
