符号执行和测试数据辅助生成的实验系统 |
| |
引用本文: | 高仲仪
,梁霞.符号执行和测试数据辅助生成的实验系统[J].北京航空航天大学学报,1988(4). |
| |
作者姓名: | 高仲仪 梁霞 |
| |
摘 要: | 本文提出了一个以符号执行方法辅助生成测试数据的实验系统。对于一个给定的源程序,它在对该程序进行静态分析的基础上,自动选择一组逻辑路径使其满足语句覆盖准则、或分支覆盖准则、或逻辑路径覆盖准则。然后,逐条地符号执行这组逻辑路径。对每条路径,它都产生一组以程序输入变量表示的路径限制条件。本系统还产生定义在输入变量上的输出变量(及中间变量)的符号表达式,用户可据此分析路径的计算过程、输入变量与输出变量的关系等。因此,它为验证程序断言、静态分析程序、分析动态测试结果提供了有价值的信息。
|
本文献已被 CNKI 等数据库收录! |
|