基于时间安全输入输出自动机的测试方法及系统

摘要

本发明基于时间自动机的一种变体——时间安全输入输出自动机提出了一种实时系统测试系统和测试方法。该方法首先将时间安全输入输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态转移图；然后采用基于输入/输出标号迁移系统的测试方法来静态生成满足各种结构覆盖标准的含时间延迟变量转移动作序列；最后，引入的时间极值函数并利用线性约束求解方法动态求解转移动作序列中的时间延迟变量以进行测试。利用本方法所实现的测试系统适用于各种带时间约束的软件系统的黑盒测试。

主权项

1.一种基于时间安全输入输出自动机的测试方法，包括如下步骤：(1)采用时间安全输入输出自动机建立被测系统的形式模型；(2)在对被测系统的形式模型遍历过程中，根据模型中每个位置的时间域及转移约束条件，采用符号拆分方法对被测系统的形式模型进行化简，得到含抽象时间转移的最简稳定符号状态图；(3)将最简稳定符号状态图中的抽象时间转移和相邻的动作转移进行合并，并将不可达符号状态从转移图中去除，从而得到不含抽象时间转移的最简稳定符号状态图；(4)根据不含抽象时间转移的最简稳定符号状态图生成可执行的含时间延迟变量的转移动作序列；(5)执行转移动作序列，并在运行过程中通过线性约束求解方法求解转移动作序列中时间延迟变量的值，生成时间测试用例。