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

システム間連携に関する形式的仕様の記述および検証手法の開発

制定系统间协调的正式规范和验证方法

基本信息

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

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

项目摘要

本研究は、ソフトウェアによって実現された複数のシステムの間の連携（システム間連携）に関する欠陥を仕様の段階で検出する手法を構築し、システム群が提供する機能の信頼性向上に寄与することを目的としている。本年度の成果は、主に以下の2点である。(1) システム間連携に関する期待される振る舞いを仕様として記述するために、EPNAT（Extended Place/Transition Net with Attributed Tokens；属性付きトークンをもつ拡張プレース/トランジションネット）を応用する方法を明らかにした。EPNATは、システムの状態遷移に着目して実行可能かつ抽象的な形式仕様を記述するモデリング言語（拡張状態遷移モデル）の一種で、研究代表者らの過去の研究において考案されたものである。システム間連携を含む小規模なシステム群に関する例題に対して、EPNATによる仕様（EPNATモデル）を試験的に構築した。(2) EPNATモデルを自動検証するための、モデル探索アルゴリズムや充分性評価基準を構築した。モデル探索アルゴリズムは、探索方向を無作為に選択するため効率がよいとはいえないが、指定された検証条件（システム群の仕様上満たされるべき条件）に対する違反を欠陥として検出できる。探索は、欠陥を検出するか充分性評価基準を満たすまで繰り返す。充分性評価基準は、システム間連携に関与するEPNATのモデル要素（グルー・トランジションなど）に着目して構築した。これらを評価用ツールに実装し、先述の例題に試験適用して有効性を議論した。

This study aims to construct a method for the detection of missing segments in order to realize the communication between multiple segments. The results of this year are as follows: (1)EPNAT (Extended Place/Transition Net with Attributed Tokens; Attributed Tokens; Attributed Tokens) EPNAT is a kind of research representative of past research in the field of state transition, which is possible to describe abstract forms. EPNAT is an example of how to build a network that includes small-scale networks. (2)EPNAT is an automatic test system, which is used to test the adequacy of the test system. The search engine is not available. The search engine is not available. To explore the adequacy of evaluation criteria The adequacy evaluation criteria include the construction of EPNAT elements related to the linkage between categories. The above mentioned examples are applicable to the discussion of the nature of the problem.