一种基于扩展状态机图的测试用例自动产生方法

摘要

本发明公开了一种扩展状态机图的结构和构建方法，以及在其上实现遍历的方法，还公开了根据遍历结果产生测试用例的方法。该扩展状态机图对分析覆盖率有很好的帮助。遍历方法简单实用，可以产生状态序列、状态转移时选取的输出函数、使状态转移发生的测试激励包的约束标签或其中产生的具体输入信号值。测试用例产生方法，可以根据遍历结果的不同形式，包括固定值的激励包、带约束的激励包、带不可实现标记的激励包，完成测试用例的产生，实现对更多覆盖率指标的高覆盖效果。测试用例的产生过程，可以接受人工的指导来减少运算量。该套方法对边角情况的自动验证非常有效，减低了验证工程师制造边角情况场景和测试用例的成本。

主权项

一种扩展的状态机图及其构建方法，其特征在于包括：1)状态集合、状态转移集合、状态转移条件集合分别用带有状态名的圆圈、带箭头的曲线、曲线上转移条件的文字表示。2)收集并分类每个状态中涉及的输入信号、内部变量、输出信号、输出函数。3)对于每个状态中的每个输出函数，收集和记录实现该输出函数对输入信号和内部变量的要求，以及该输出函数输出时所影响的内部变量与输出信号。4)将每个状态中的每个输出函数，按照输出后的下一状态分类。即该状态的状态扇出数目为输出函数的分类数目。5)在每个状态圆圈中，构建影响输出函数选择，由输入信号和内部变量取值约束构成的，具有优先级先后顺序的路径图。