zhang01

摘要： 本文的主要内容： 1 介绍了符号执行的主要内容（略） （1）Generalized Symbolic ExecutionＧＳＥ具有处理多线程、多程序段和递归数据的能力；ＧＳＥ通过利用lazy initialization实现对递归数据的处理－－当第一次调用该变量的值时，把它初始化为NULL或一个具有未初始化字段的新对象的引用或前面初始化过程中产生的对象的引用。 （2）Dynamic Test Generation Recent work on using symbolic execution for dynamic test case generation such as Directed A 阅读全文

摘要： 《Symbolic Excution and ProgramTesting》是一片经典的文章，发表与1975年，被引用次数接近千次。该文在一个简单的程序语言的基础上提出了符号执行的方法：1程序变量只是有符号整数；只包括简单的赋值语句，IF语句，GOTO语句，以及一些获得输入的方法。2数学表达式只有限的计算类型：加、减、乘。3布尔表达式只进行数学表达式是否为真的测试操作。4分支语句的条件表达：（path condition) R>=0 或 -R<0形式的表达式的一个合取。符号执行的实例： program: 1 sum procedure(a,b,c);2 x←a+b; 3 y←b+c 阅读全文