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

• 作者: 刘晓建 朱智林 杜慧秋
• 来源期刊: 微电子学与计算机
• 关键词: 软件测试 测试用例生成 时间自动机 嵌入式控制器
• 年，卷（期）: 2015,（9）
• 页码范围: 169-176
• 页数: 8页
• 分类号: TP306
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱智林	山东工商学院信息与电子工程学院	17	110	6.0	10.0
2	杜慧秋	山东工商学院信息与电子工程学院	5	62	3.0	5.0
3	刘晓建	西安科技大学计算机学院	4	10	2.0	3.0