一种基于时间自动机的测试用例生成和构造方法

Approach to Generation and Construction of Test-cases Based on Timed Automata

为了解决嵌入式控制器功能测试的一致性、完备性和自动化等问题,提出了一种基于需求模型的嵌入式控制器测试方法.首先给出了一种形式化描述嵌入式控制器功能结构和行为的方法,然后在行为模型的基础上提出了一种测试用例的生成方法,并给出了缩减测试用例个数和构造典型测试用例的若干条规则,证明了这样产生的测试用例集对于任意被测功能的完整覆盖性.最后通过一个测试案例说明了测试系统的实现方法以及实际效果.

To tackle the problems of consistency,completeness and automation in the area of functional testing of embedded controllers, an approach of generation and construction of test-cases based on timed automata is presented.Firstly,a formal notation is proposed to model the structural and behavioral aspects of a function,and then a method is presented to generate test-cases from the behavioral model.Furthermore,in order to reduce the number of test-cases, a number of rules was used to select and construct typical test-cases, and prove the completeness of the generated test-cases.Finally,a case study illustrates the implementation of the testing system and its actual effects.