|
|||||
|
|
| Time Petri网在实时软件测试中的应用 | |
| 引用本文： | 范洪达,叶文.Time Petri网在实时软件测试中的应用[J].海军航空工程学院学报,2002,17(3):377-380. |
| 作者姓名： | 范洪达 叶文 |
| 作者单位： | 1. 海军航空工程学院军械工程系 2. 海军航空工程学院学员旅,烟台,264001 |
| 摘 要： | 针对实时软件传统测试方法的不足,提出了用Time Petri网生成测试方案的方法.该方法很好的处理了与时间有关的不确定性问题,具体例子说明了其在实时软件测试中的应用. |
| 关 键 词： | Time Petri网 实时软件测试方案 |
| 修稿时间： | 2001年11月23 |
THE APPLICATION OF TIME PETRI NETS IN REAL-TIME SOFTWARE TEST |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |