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

摘要

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