权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

拡張状態遷移モデルから生成される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), a research representative, proposed that the status should be changed, and that the EPN would record that the dance would be performed in an EPN manner. The EPN may be affected by the generation of the VDM system, which is the base of the VDM system, or the design protocol (EPN-Based Testing). Please note that the force of the EPN operator is correct, and that the problem should be used. Both the operator and the technician are required to make a record of the performance of the EPN and the operation of the operation. In this method, (1) use the following methods: (1) use the following methods: (1) use this method, (1), (1), (1), (1), (1), (1), (1), (1), (1), (1), (1), (1), (1), (1), (1), (1), (1), (1), (1), This year, we will discuss the improvement and sex of the students. In particular, the improvement point, the VDM++ department, the department and the department. The VDM++ part of the EPN equipment PN (Place/transition Net) is designed to be an important part of the equipment design equipment for precision equipment, special equipment, and precision equipment. The VDM++ part is used as a tool, and the equipment is used as a research tool. The location of each part of the grammar, the location of the grammar, the burial of the hole and the burial form of each part of the VDM++ are made into a series of problems. The above results show that you can use your information to change the status of your information and the possibility of using it. No, no.