标题：基于Valgrind中间语言的测试用例动态生成
作者：程攀
作者单位：杭州电子科技大学计算机学院，浙江 杭州 310018
关键字：测试用例，STP求解，中间语言
摘要：软件漏洞是软件在设计实现时由于软件功能自身的复杂性和抽象性，导致在具体实现时所引起的缺陷。测试用例在检测软件缺陷时能够起到指导作用，在研究Valgrind中间语言的基础上，针对STP求解器的语言特点，设计实现了一个测试用例动态生成的系统，对其中的主要设计思想进行了阐述，并对该系统进行了程序测试，对最终的测试性能给出了结果。