您的位置: 专家智库 > >

贺晓红

作品数:4 被引量:25H指数:3
供职机构:西安交通大学电子与信息工程学院更多>>
发文基金:国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...

主题

  • 2篇白盒
  • 1篇代码
  • 1篇代码插装
  • 1篇信息提取
  • 1篇语法分析
  • 1篇软件结构
  • 1篇软件统计测试
  • 1篇上下文
  • 1篇上下文无关文...
  • 1篇统计测试
  • 1篇自动化
  • 1篇流图
  • 1篇控制流
  • 1篇控制流图
  • 1篇类图
  • 1篇白盒测试
  • 1篇C++
  • 1篇LINUX平...
  • 1篇MARKOV...
  • 1篇测试用例

机构

  • 4篇西安交通大学

作者

  • 4篇贺晓红
  • 4篇高海昌
  • 4篇冯博琴
  • 3篇朱利
  • 1篇刘晓宏
  • 1篇曾明
  • 1篇刘晓洪
  • 1篇顾刚

传媒

  • 3篇微电子学与计...
  • 1篇计算机工程

年份

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