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

基于扩展状态转换模型生成的VDM规范的系统测试用例设计方法

基本信息

批准号：
17K00103
负责人：
高木智彦
金额：
$ 1.58万
依托单位：
Kagawa University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
起止时间：
2017-04-01 至 2024-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17K00103/
关键词：
ソフトウェア工学

项目摘要

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

EPN（Extended Place/Transition Net）是研究人员提出的一种扩展状态转移模型，用EPN编写的软件的行为规范称为EPN模型。可以根据 EPN 模型生成的 VDM 规范（基于 EPN 的测试）来设计软件测试用例。然而，这需要工程师能够通过合理的努力来准确地描述 EPN 模型，这是实际挑战之一。因此，我们正在开发方法和工具来培训工程师描述 EPN 模型。在该方法中，(1)向受训者提供软件需求和EPN模型的部分，以及(2)受训者尝试使用这些部分构建满足软件需求的EPN模型。今年，我们对此进行了改进并讨论了其有效性。一个特别重大的改进是在 VDM++ 部分引入了可视化编程。 EPN模型由PN（Place/Transition Net）部分和VDM++部分组成，但之前的研究表明，创建VDM++部分特别困难，这对于设计精确的测试用例很重要，这一点已经变得清晰。可视化编程使得以拼图的形式可视化 VDM++ 部分的各个部分成为可能，从而更容易理解每个部分的语法位置，并创建填空训练任务。上述结果可能适用于用于测试用例设计的其他扩展状态转换模型。它还可以开发为测试用例设计的建模支持方法。