论文部分内容阅读
国内的软件测试研究目前还基本停留在比较基础的理论方法和管理方法上，没有在软件测试技术上取得突破。基于当前流行的Clang编译器前端，在抽象语法树生成的过程中运用不同的规则标识各语句结构，同时进行中间结构的改造和校正，得到一个有效的、高正确性的程序结构分析器。程序结构分析器的设计为实现一个有理论基础的综合性白盒测试工具奠定了坚实的底层数据支持。