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

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:mabin85281528
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为实现白盒测试的源文件信息提取,提出了通过lex和vacc对使用上下文无关文法定义的语言进行词法和语法分析,构建独立的信息提取模块.该方法首先构建测试语言符合vacc规范的完整的文法体系,并将整个文法体系逻辑上划分为类文法和函数文法两大主要部分来处理.函数信息提取部分通过块和级的思想,用语句结构和语句链表结构将函数定义信息表示出来.然后将这些结构信息存入数据库,以供其它模块使用,充分做到了模块独立.这样只需要设计不同的信息提取模块,就可以实现各种上下文无关文法定义的语言的白盒测试.
其他文献
本文综述了近年高甘油三酯血症的流行病学、病因学、病理生理学,饭后高脂血症及实验室检测及其治疗途径,重点探讨高甘油三酯血症与心血管疾病危险的关系。
文章介绍10Gb/s Reed-Solomon(255,239)解码器的设计与实现.在优化解码器处理流程的基础上,通过采用4路数据复用解关键方程单元的方法,降低硬件实现的复杂度,减小芯片面积.除