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

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

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

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

---

上一篇：一种改进的三模冗余任务同步方法
下一篇：基于模糊逻辑的无线传感器网络簇头选择算法