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