20、从定时自动机进行测试推导

最新推荐文章于 2025-11-01 12:04:43 发布

seed

最新推荐文章于 2025-11-01 12:04:43 发布

阅读量13

点赞数

CC 4.0 BY-SA版权

分类专栏：基于模型的反应式系统测试解析文章标签：定时自动机测试推导 TIOA

本文链接：https://blog.youkuaiyun.com/seed/article/details/149520543

基于模型的反应式系统测试解析专栏收录该内容

47 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

从定时自动机进行测试推导

1. 测试算法概述

存在一种测试算法，它将测试套件中的每个测试用例应用于实现。该算法受限于具有静止初始状态的时序输入输出自动机（TIOA），在这种状态下，机器在产生任何输出之前会等待来自环境的刺激。

1.1 测试生成算法

以下是具体的测试生成算法：

Algorithm 13 Test Generation
input: A TIOA Spec, the speciﬁcation automaton, with reset action reset,
reset time max, and a quiescent initial state.
An Implementation Under Test (IUT), a device that accepts inputs from
ISpec and produces outputs in OSpec.
A natural number n.
A natural number m.
output: A verdict PASS or FAIL
1. Let X = ISpec ∪{2−n}
2. Determine a (minimal) ﬁnite transition cover P for G (Spec, n)
3. For all test sequences σ ∈test-suite(Spec, n, P, X m−1) do
4. Apply test sequence σ to the IUT
5. Return FAIL and halt if outcome of the IUT diﬀers