对时间输入/输出自动机有效地进行一致性测试

摘要

论文首先介绍了时间输入/输出自动机(TIOA)模型,及该模型的测试序列的概念.然后介绍了栅格自动机,并给出对于时间输入/输出自动机进行黑盒一致性测试所需的测试组的产生算法.该算法是第一个从稠密的实时系统得到一个有穷且完整的测试集的算法,但它产生的测试序列的数量太大,所以不具有实用价值.针对这一点,该文引入了可最小化的时间自动机(MTA)模型,并用该模型去描述上述算法中的规格说明自动机和执行自动机.接着用递归算法实现了对测试序列的首部即转换覆盖T的构造,从而证明使用MTA模型后,对于非最小状态的自动机,使用该算法产生的测试序列的数量将大大减少,从而在不影响其完整性的情况下使该算法更具有实用性.

目录

文摘

英文文摘

引言

第一章对时间输入/输出自动机模型进行黑盒一致性测试

1.1时间输入/输出自动机

1.2测试序列

13状态空间的离散化

1.4得到及应用一个测试组

第二章可最小化的时间自动机模型MTA

2.1模型及语义

2.2双向模拟关系和最小性

2.3可最小化的时间自动机(MTA)

2.4最小化定理

第三章通过使用MTA模型减少测试序列的数量

3.1用最小化定理减少BTDA模型的状态数目

3.2转换覆盖T的生成算法

3.2.1算法的初步思想

3.2.2参数的使用

3.2.3算法

3.3测试序列生成算法的改进和结论

第四章结语

致谢

参考文献