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

• 作者: 叶克江 赵冬
• 来源期刊: 郑州大学学报(理学版)
• 学科: 工学
• 关键词: (黑盒)一致测试 实时系统 时间自动机 双向模拟 可最小化的时间自动机
• 年，卷（期）: 2002,（4）
• 页码范围: 30-33
• 页数: 4页
• 分类号: TP301.1
• 字数: 3167字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-6841.2002.04.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶克江	河南财经学院计算机系	14	51	4.0	6.0
2	赵冬	郑州大学信息工程学院	9	19	3.0	4.0