贺晓红
- 作品数：4 被引量：25H指数：3
- 供职机构：西安交通大学电子与信息工程学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 白盒测试工具函数信息提取模块设计与实现被引量：3
- 2005年
- 为实现白盒测试的源文件信息提取,提出了通过lex和yacc对使用上下文无关文法定义的语言进行词法和语法分析,构建独立的信息提取模块。该方法首先构建测试语言符合yacc规范的完整的文法体系,并将整个文法体系逻辑上划分为类文法和函数文法两大主要部分来处理。函数信息提取部分通过块和级的思想,用语句结构和语句链表结构将函数定义信息表示出来。然后将这些结构信息存入数据库,以供其它模块使用,充分做到了模块独立.这样只需要设计不同的信息提取模块,就可以实现各种上下文无关文法定义的语言的白盒测试。
- 刘晓洪高海昌贺晓红冯博琴朱利
- 关键词：上下文无关文法C++词法分析语法分析
- 软件结构测试自动化关键技术研究被引量：14
- 2005年
- 基于自主开发的自动化白盒测试工具WBoxTool,本文对开发软件结构性测试自动化工具的一些关键技术进行了研究,重点研究了静态测试、插装技术和自动测试用例选择技术。并介绍了WBoxTool的系统体系结构。分析和探讨了当前基于结构的软件测试中存在的问题和进一步的研究方向。
- 高海昌贺晓红冯博琴朱利
- 关键词：白盒代码插装测试用例
- Linux平台下软件的静态测试技术研究与实现被引量：1
- 2005年
- 基于白盒测试的方法和原理,在Linux平台下进行自动测试源码程序技术的研究。文章从静态测试的角度出发,详细阐述了对C/C++语言开发的大多数软件都适用的静态分析方法,并根据分析结果为用户提供被测项目的图形化表示,从而可以充分判断被测项目在整体的设计与实现上正确与否,并为后续动态测试及自动生成测试用例的工作打下了坚实的基础。
- 贺晓红高海昌刘晓宏冯博琴朱利顾刚
- 关键词：类图控制流图
- 基于Markov链路径使用模型的软件统计测试被引量：7
- 2006年
- 探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试,从理论上得出软件的结构可靠性结论。提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型,使用Kullback判别式作为测试链收敛到使用链的判断准则,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实验证明该方法是可行和有前途的。
- 高海昌冯博琴曾明贺晓红
- 关键词：软件统计测试MARKOV链
