| 对时间输入/输出自动机一致性测试的改进 |
| |
| 引用本文： | 赵冬,叶克江.对时间输入/输出自动机一致性测试的改进[J].郑州大学学报(理学版),2002,34(4):30-33. |
| |
| 作者姓名： | 赵冬 叶克江 |
| |
| 作者单位： | 1. 郑州大学信息工程学院,郑州,450052
2. 河南财经学院计算机系,郑州,450052 |
| |
| 摘 要： | Jan.S等提出了对时间输入／输出自动机（TIOA）模型进行黑盒一致性测试的算法。针对其生成的测试序列数量太大这一问题，提出用可最小化的时间自动机（MTA）模型来描述稠密的实际系统，并用递归算法实现了对测试序列的首部即转换覆盖P的构造。由分析得出结论：使用MTA模型可使上述测试算法生成的测试序列的数量大大减少，从而在不影响其完全性的情况下使该算法更具实用性。
|
| 关 键 词： | 时间输入／输出自动机 一致性测试 双向模型 可最小化时间自动机 状态空间最小化 测试序列 MAT模型 |
| 文章编号： | 1671-6841(2002)04-0030-04 |
| 修稿时间： | 2002年3月14日 |
Effective Comformance Testing of Timed I/O Automata |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
