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

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

作　　者：刘晓建[1] 杜慧秋[2] 朱智林[2] 

机构地区：[1]西安科技大学计算机学院,陕西西安710054 [2]山东工商学院信息与电子工程学院,山东烟台264005

出　　处：《微电子学与计算机》2015年第9期169-176,共8页Microelectronics & Computer

基　　金：陕西省教育厅科研计划项目(2013JK1188);山东省自然科学基金(ZR2012FL11);西安科技大学博士后启动基金(2013QDJ023)

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

关 键 词：软件测试 测试用例生成 时间自动机 嵌入式控制器 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]