拡張状態遷移モデルから生成されるVDM仕様に基づく体系的テストケース設計手法
基于扩展状态转换模型生成的VDM规范的系统测试用例设计方法
基本信息
- 批准号:17K00103
- 负责人:
- 金额:$ 1.58万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2017
- 资助国家:日本
- 起止时间:2017-04-01 至 2024-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Development of an Early Prototype Tool for Learning Software Modeling Using Extended Place/Transition Net
使用扩展位置/过渡网络开发用于学习软件建模的早期原型工具
- DOI:
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:T. Takagi;A. Usuda
- 通讯作者:A. Usuda
Prototype of an Animated Graphics-Based Training Support Tool for Bug Fixing of Extended Place/Transition Nets
用于修复扩展位置/过渡网络错误的基于动画图形的培训支持工具原型
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:T. Takagi;S. Morimoto;Y. Ue;Y. Imai
- 通讯作者:Y. Imai
Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens
基于属性令牌扩展位置/转移网的软件形式化规范仿真与回归测试技术
- DOI:10.2991/jrnal.k.210713.009
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:T. Takagi;R. Kurozumi
- 通讯作者:R. Kurozumi
Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens
- DOI:10.2991/jrnal.k.200909.011
- 发表时间:2020-09
- 期刊:
- 影响因子:0
- 作者:Tomohiko Takagi;Ryo Kurozumi
- 通讯作者:Tomohiko Takagi;Ryo Kurozumi
Prototype of a Modeling Tool to Convert between Extended Place/Transition Nets and VDM++ Specifications
用于在扩展布局/过渡网络和 VDM 规范之间进行转换的建模工具原型
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:T. Takagi;R. Kurozumi
- 通讯作者:R. Kurozumi
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
高木 智彦其他文献
拡張プレース/トランジションネットに基づくVDM仕様の構築手法の提案
提出一种基于扩展位置/转换网络构建VDM规范的方法
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
高木 智彦;赤木 章紀 - 通讯作者:
赤木 章紀
Identifying Outlets at which Electrical Appliances are Used by Electrical Wire Sensing to Gain Positional Information about Appliance Use
通过电线感应识别使用电器的插座,以获得有关电器使用的位置信息
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
高木 智彦;赤木 章紀;小泉修一;孔 全,前川 卓也 - 通讯作者:
孔 全,前川 卓也
ペトリネットに基づくミュータントを用いたネガティブテストケースの作成
使用基于 Petri 网的突变体创建阴性测试用例
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Tomohiko Takagi;Akinori Akagi;Tetsuro Katayama;高木 智彦 - 通讯作者:
高木 智彦
ブラウザ部分仮想化の提案
浏览器部分虚拟化提案
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Tomohiko Takagi;Akinori Akagi;Tetsuro Katayama;高木 智彦;小泉修一,早川智一,疋田輝雄 - 通讯作者:
小泉修一,早川智一,疋田輝雄
高木 智彦的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('高木 智彦', 18)}}的其他基金
システム間連携に関する形式的仕様の記述および検証手法の開発
制定系统间协调的正式规范和验证方法
- 批准号:
22K11976 - 财政年份:2022
- 资助金额:
$ 1.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
相似国自然基金
车载中央计算平台软件框架及泊车功能研发与产业化应用
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
低空飞行器及其空域的设计与监管平台软件
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于金刚石高效散热封装的高功率高压GaN器件研发与产业化
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
新能源智能汽车高性能精密零部件装备研制与产业化
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
高效智能化超低风速风电机组关键技术及装备研制
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
绿氢制储加注关键技术与装备研发
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
复杂电子产品超精密加工及检测关键技术研究与应用
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
抗消化性溃疡新药研发
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于合成生物学的动物底盘品种优化及中试应用研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
1.1 类中药创新药“鱼酱排毒合剂”开发
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
相似海外基金
AI支援ソフトウェア工学に対応したソフトウェアインスペクション環境の研究
兼容AI辅助软件工程的软件检测环境研究
- 批准号:
24K15214 - 财政年份:2024
- 资助金额:
$ 1.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
機能等価メソッドデータセットの構築によるソフトウェア工学タスクの高度化
通过构建功能等效的方法数据集来改进软件工程任务
- 批准号:
24H00692 - 财政年份:2024
- 资助金额:
$ 1.58万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
生成AIによるシステム開発の自動化を前提としたソフトウェア工学教育の再構築と実践
基于生成人工智能的系统开发自动化的软件工程教育的重构和实施
- 批准号:
24K06418 - 财政年份:2024
- 资助金额:
$ 1.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
グラフベース機械学習ソフトウェア工学の研究
基于图的机器学习软件工程研究
- 批准号:
18K11251 - 财政年份:2018
- 资助金额:
$ 1.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
エージェント・アーキテクチャ、エージェント・ソフトウェア工学等
Agent架构、Agent软件工程等
- 批准号:
06F06365 - 财政年份:2006
- 资助金额:
$ 1.58万 - 项目类别:
Grant-in-Aid for JSPS Fellows
エージェント・アーキテクチャ、エージェント・ソフトウェア工学等
Agent架构、Agent软件工程等
- 批准号:
05F05279 - 财政年份:2005
- 资助金额:
$ 1.58万 - 项目类别:
Grant-in-Aid for JSPS Fellows
ソフトウェア工学データベース(SEDB)の構築とその協調利用に関する研究
软件工程数据库(SEDB)构建及其协同使用研究
- 批准号:
08780280 - 财政年份:1996
- 资助金额:
$ 1.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
ソフトウェア工学のための日本語プログラミング環境の実現とそのシリコン化
日语软件工程编程环境的实现及其硅化
- 批准号:
62750312 - 财政年份:1987
- 资助金额:
$ 1.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
ソフトウェア工学の基礎的研究
软件工程基础研究
- 批准号:
56380007 - 财政年份:1981
- 资助金额:
$ 1.58万 - 项目类别:
Grant-in-Aid for Co-operative Research (A)