科研之友
微信
新浪微博
Facebook
分享链接
摘要
本申请公开了一种动态符号执行的测试用例生成方法,包括：根据输入的结构化文本ST源程序生成控制流图；根据控制流图对变量属性和标准函数进行建模,生成初始测试用例,代入控制流图中执行得到已覆盖路径,获取约束集,根据约束集确定候选路径池选择一条作为执行路径；根据建模后的标准功能块、标准函数、变量属性以及转换规则,对执行路径上的约束集进行转换后求解,得到新的测试用例；保存一个输入源程序得到的所有测试用例,根据已覆盖路径确定覆盖率信息,输出测试用例和覆盖率信息。通过使用动态符号执行能够简单,快捷地生成测试用例,减少人为因素导致的不良影响；能够得到高质量的测试用例和正确的覆盖率信息,自动化程度高,人工成本低。
- 单位
