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

【作者】 赵冬；

【导师】 庄雷；

【作者基本信息】 郑州大学 ， 计算机软件与理论， 2002， 硕士

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

【Abstract】 A model of timed I/O automata is introduced, together with a notion of test sequence for this model. After introducing the grid automaton, a test suite derivation algorithm for black-box conformance testing of timed I/O automata is given. Although it’s the first algorithm that yields a finite and complete set of tests for dense real-time systems, it results in a test suite of high exponential size and cannot be claimed of practical value. To solve this problem, a model of minimizable timed automata is introduced to describe dense real-time systems. Then a algorithm for constructing transition cover T is given, and therefore it is proven that with MTA model, the number of test sequences of the non-minimal automata derived by the algorithm will be reduced dramatically. Without affecting the completeness of the algorithm, this method makes it more practical.更多还原