研究課題
基盤研究(C)
EPN(Extended Place/transition Net)は研究代表者らが提案した拡張状態遷移モデルの一種であり、EPNで記述されたソフトウェアの振る舞い仕様をEPNモデルという。EPNモデルから生成されるVDM仕様に基づいてソフトウェアのテストケースを設計すること(EPN-Based Testing)が可能である。ただし、それにはEPNモデルを技術者が現実的な労力で正確に記述できなければならず、実用上の課題のひとつとなっている。そこで、技術者に対してEPNモデルの記述を訓練するための手法およびツールを開発している。本手法では、(1) ソフトウェア要件やEPNモデルの部品が訓練者に与えられ、(2) 訓練者はその部品を用いて、ソフトウェア要件を満たすようにEPNモデルの構築を試みる。本年度はこれを改良し、有効性を議論した。特に大きな改良点は、VDM++部にビジュアルプログラミングを導入したことである。EPNモデルはPN(Place/transition Net)部とVDM++部から構成されているが、特に、精密なテストケースを設計する上で重要なVDM++部の作成に困難が伴うことが、これまでの研究で明らかになっていた。ビジュアルプログラミングによって、VDM++部の部品をパズルのピースのような形で可視化して、各部品の文法的な位置づけを分かりやすくしたり、穴埋め形式の訓練課題を作成したりすることが可能になった。以上の成果は、テストケース設計に利用される他の拡張状態遷移モデルにも応用できる可能性がある。また、テストケース設計におけるモデリング支援手法として発展させることができる可能性がある。
2: おおむね順調に進展している
拡張状態遷移モデルの一種であるEPNモデルの記述を訓練するための手法およびツールを開発、改良し、その成果を国際会議や論文誌で発表することができたため。さらに、これまでに提案してきた拡張状態遷移モデルやテストケース設計手法について整理し、新たなモデルや設計手法の検討を進めることができたため。
拡張状態遷移モデルに基づくモデリング手法を改良したり、拡張状態遷移モデルから生成されるVDM仕様のためのテスト充分性評価基準などを構築する予定である。
すべて 2023 2022 2021 2020 2019 2018
すべて 雑誌論文 (4件) (うち査読あり 4件、 オープンアクセス 4件) 学会発表 (10件) (うち国際学会 1件)
Journal of Robotics, Networking and Artificial Life
巻: 9 号: 1 ページ: 81-86
10.57417/jrnal.9.1_81
巻: Vol.8, No.2 号: 2 ページ: 112-116
10.2991/jrnal.k.210713.009
巻: Vol.7, No.3 号: 3 ページ: 194-198
10.2991/jrnal.k.200909.011
巻: Vol.5, No.4 号: 4 ページ: 278-282
10.2991/jrnal.k.190402.001