| Time Petri网在实时软件测试中的应用 |
| |
| 引用本文： | 范洪达,叶文. Time Petri网在实时软件测试中的应用[J]. 计算机应用与软件, 2003, 20(12): 23-25 |
| |
| 作者姓名： | 范洪达 叶文 |
| |
| 作者单位： | 海军航空工程学院军械工程系,烟台,264001 |
| |
| 摘 要： | 针对实时软件传统测试方法的不足，提出了用Tune Petri网来生成测试方案的方法。该方法很好地处理了与时间有关的不确定性问题，具体例子说明了其在实时软件测试中的应用。
|
| 关 键 词： | 实时软件测试 软件开发 软件设计 TimePetri网 逻辑操作 |
APPLYING TIME PETRI NETS TO REAL- TIME SOFTWARE TEST |
| |
| Fan Hongda Ye Wen. APPLYING TIME PETRI NETS TO REAL- TIME SOFTWARE TEST[J]. Computer Applications and Software, 2003, 20(12): 23-25 |
| |
| Authors: | Fan Hongda Ye Wen |
| |
| Abstract: | In view of the deficiencies of traditional real-time software-testing method,a test scheme generated by Time Petri nets is proposed in this paper.The indeterminate property concerning time is well handled in this method.Its application to real-time software test in illuminated with an example in detail. |
| |
| Keywords: | Time Petri nets Real-time software Test scheme |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
