- 软件测试词典
- 家
符号执行
什么是符号执行?
符号执行是一种软件测试技术,可用于帮助生成测试数据和证明程序质量。
使用符号执行的步骤:
执行需要选择由一组数据值执行的路径。使用实际数据执行的程序会输出一系列值。
在符号执行中,数据被带有一组表达式的符号值替换,每个输出变量一个表达式。
符号执行的常见方法是对程序进行分析,从而创建流程图。
流程图标识了与每个流程相关的决策点和分配。通过从入口点遍历流程图,生成赋值语句和分支谓词的列表。
符号执行的问题:
如果循环中的迭代次数已知,则符号执行无法继续。
第二个问题是任何外线代码或模块调用的调用。
符号执行不能与数组一起使用。
符号执行无法识别不可行的路径。
符号执行应用:
路径域检查
测试数据生成
分区分析
符号调试