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

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