若使用随机生成测试用例对程序实行具体测试的方法,对于整型输入变量 x,y,z 而言,其取值分别有 232 种,通过随机生成 x,y,z 取值作为程序测试的输入,则能够触发程序错误的可能性较小。...在分析的过程中,将其初始定义为 π=true。3) σ 表示与程序变量相关的符号值集,包括含有具体值和符号值 αi 的表达式。
符号执行算法具体如算法1所示。...1.5 选择性符号执行
受路径爆炸和约束求解问题的制约,符号执行不适用于程序规模较大或逻辑复杂的情况,并且对于与外部执行环境交互较多的程序尚无很好的解决方法。...选择性符号执行极大地提高了符号执行在实际应用中对大型软件分析测试的可用性,且不再需要对这些环境进行模拟建模。...之后,依据符号分析的结果,随机对 x 取值,生成测试用例,如 x=2,y=6,z=0,执行程序结果为 a=-2,b=0,c=0,未触发程序错误,并继续生成测试用,例如 x=-1,y=2,z=-3,执行程序