白盒测试工具函数信息提取模块设计与实现

摘要

为实现白盒测试的源文件信息提取,提出了通过lex和yacc对使用上下文无关文法定义的语言进行词法和语法分析,构建独立的信息提取模块。该方法首先构建测试语言符合yacc规范的完整的文法体系,并将整个文法体系逻辑上划分为类文法和函数文法两大主要部分来处理。函数信息提取部分通过块和级的思想,用语句结构和语句链表结构将函数定义信息表示出来。然后将这些结构信息存入数据库,以供其它模块使用,充分做到了模块独立.这样只需要设计不同的信息提取模块,就可以实现各种上下文无关文法定义的语言的白盒测试。