Time Petri网在实时软件测试中的应用

• 作者: 叶文 范洪达
• 来源期刊: 海军航空工程学院学报
• 学科: 工学
• 关键词: Time Petri网 实时软件:测试方案
• 年，卷（期）: 2002,（3）
• 页码范围: 377-380
• 页数: 4页
• 分类号: TP306
• 字数: 3793字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-1522.2002.03.023

摘要

针对实时软件传统测试方法的不足,提出了用Time Petri网生成测试方案的方法.该方法很好的处理了与时间有关的不确定性问题,具体例子说明了其在实时软件测试中的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	范洪达	海军航空工程学院军械工程系	95	767	17.0	23.0