对时间输入/输出自动机一致性测试的改进

摘要：

Jan.S等提出了对时间输入/输出自动机(TIOA)模型进行黑盒一致性测试的算法.针对其生成的测试序列数量太大这一问题,提出用可最小化的时间自动机(MTA)模型来描述稠密的实际系统,并用递归算法实现了对测试序列的首部即转换覆盖P的构造.由分析得出结论:使用MTA模型可使上述测试算法生成的测试序列的数量大大减少,从而在不影响其完全性的情况下使该算法更具实用性.

关键词：(黑盒)一致测试、实时系统、时间自动机、双向模拟、可最小化的时间自动机

所属期刊栏目：34

分类号：TP301.1(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：30-33