拡張状態遷移モデルから生成されるVDM仕様に基づく体系的テストケース設計手法

点击翻译按钮获取中文摘要

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++部の部品をパズルのピースのような形で可視化して、各部品の文法的な位置づけを分かりやすくしたり、穴埋め形式の訓練課題を作成したりすることが可能になった。以上の成果は、テストケース設計に利用される他の拡張状態遷移モデルにも応用できる可能性がある。また、テストケース設計におけるモデリング支援手法として発展させることができる可能性がある。