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

• 作者: 叶文 范洪达
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Time Petri网 实时软件 测试方案
• 年，卷（期）: 2003,（12）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 23-25
• 页数: 3页
• 分类号: TP31
• 字数: 3535字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2003.12.011

摘要

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

作者信息

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