权益分类	功能权益	普通用户	{{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) is a kind of research representative's proposal, EPN is a description of the problem, EPN is a description of the problem. EPN-Based Testing is possible in the design of VDM systems. For example, if you want to use EPN, you can use EPN to describe the problem correctly. EPN description training for engineers and development techniques This method includes: (1) improving the quality of the components of the EPN system;(2) improving the quality of the components of the EPN system; and (3) improving the quality of the components of the EPN system. This year's annual report is expected to improve. In particular, the VDM++ part of the improvement point is the introduction of a new approach. EPN (Place/Transition Net) part and VDM++ part are composed of special parts and precise parts. It is important to design VDM++ part. It is difficult to make them. The VDM++ part of the VDM is designed to visualize the shape of the VDM+ part, and the grammar of the VDM part is designed to create a training topic. The above results are based on the possibility of using other tensile state transitions. This is the first time I've ever seen a person who's been in a relationship with someone who's been in a relationship with me.