Timed test cases generation based on state characterization technique
Timed test cases generation based on state characterization technique
复制标题
基于状态表征技术的定时测试用例生成
DOI：
10.1109/real.1998.739748
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
Abdelkader Elqortobi
中科院分区：
文献类型：
--
作者：
A. En;R. Dssouli;F. Khendek;Abdelkader Elqortobi
实时反应系统在指定的时间限制内使用输入和输出与环境进行交互。对于这样的系统，一个功能错误的行为或偏离指定的时间约束可能会造成灾难性的后果。因此，确保实时系统的正确性变得非常重要。我们介绍了在定时系统实现中可能遇到的潜在故障。我们采用现有的测试用例生成技术，基于状态特征集，从定时系统规范生成定时测试用例。我们用一个定时输入输出自动机（TIOA）来建模一个定时系统，这是Alur和Dill模型的一个变体（R. Alur和D. Dill, 1994）。为了生成定时测试套件，首先将TIOA转换为具有给定粒度的非确定性定时有限状态机（NTFSM）。我们用一个例子来说明我们的方法。
Real time reactive systems interact with their environment, using inputs and outputs, within specified time constraints. For such systems, a functional misbehavior or a deviation from the specified time constraints may have catastrophic consequences. Therefore, ensuring the correctness of real time systems becomes very important. We introduce the potential faults which can be encountered in a timed system implementation. We adapt an existing test cases generation technique, based on state characterization set, to generate timed test cases from a timed system specification. We model a timed system with a Timed Input Output Automaton (TIOA), which is a variant of the Alur and Dill model (R. Alur and D. Dill, 1994). In order to generate the timed test suite, the TIOA is first transformed into a Nondeterministic Timed Finite State Machine (NTFSM) with a given granularity. We illustrate our method with an example.