《表4 变量符号化结果:函数调用路径测试用例自动生成的方法研究》
分析源代码得到输入变量集合,为每一个输入变量设置符号值,推导出控制变量的符号表达式。分析结果如表4所示。
图表编号 | XD00150182900 严禁用于非法目的 |
---|---|
绘制时间 | 2020.09.15 |
作者 | 沈晴、牟永敏 |
绘制单位 | 北京信息科技大学计算机学院、北京信息科技大学计算机学院 |
更多格式 | 高清、无水印(增值服务) |
分析源代码得到输入变量集合,为每一个输入变量设置符号值,推导出控制变量的符号表达式。分析结果如表4所示。
图表编号 | XD00150182900 严禁用于非法目的 |
---|---|
绘制时间 | 2020.09.15 |
作者 | 沈晴、牟永敏 |
绘制单位 | 北京信息科技大学计算机学院、北京信息科技大学计算机学院 |
更多格式 | 高清、无水印(增值服务) |