贺晓红

作品数：4被引量：14H指数：2
导出分析报告
供职机构：西安交通大学电子与信息工程学院更多>>
发文主题：测试自动化测试用例白盒代码插装软件结构更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《微电子学与计算机》《计算机工程》更多>>
所获基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Markov链路径使用模型的软件统计测试被引量：4
《计算机工程》2006年第19期20-22,共3页高海昌 冯博琴 曾明 贺晓红 
国家"863"计划基金资助项目(2003AA1Z2610)
探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试,从理论上得出软件的结构可靠性结论。提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型...
关键词：软件统计测试 结构测试 MARKOV链 路径使用模型 Kullback判别式 
白盒测试工具函数信息提取模块设计与实现被引量：2
《微电子学与计算机》2005年第5期166-169,共4页刘晓洪 高海昌 贺晓红 冯博琴 朱利 
国家863计划项目(2003AA1Z2610)
为实现白盒测试的源文件信息提取,提出了通过lex和yacc对使用上下文无关文法定义的语言进行词法和语法分析,构建独立的信息提取模块。该方法首先构建测试语言符合yacc规范的完整的文法体系,并将整个文法体系逻辑上划分为类文法和函数文...
关键词：自盒测试 上下文无关文法 C++ 词法分析 语法分析 类 函数 
软件结构测试自动化关键技术研究被引量：8
《微电子学与计算机》2005年第2期25-28,共4页高海昌 贺晓红 冯博琴 朱利 
国家863计划项目(2003AA1Z2610)
基于自主开发的自动化白盒测试工具WBoxTool,本文对开发软件结构性测试自动化工具的一些关键技术进行了研究,重点研究了静态测试、插装技术和自动测试用例选择技术。并介绍了WBoxTool的系统体系结构。分析和探讨了当前基于结构的软件测...
关键词：结构测试 白盒 静态测试 代码插装 测试用例 
Linux平台下软件的静态测试技术研究与实现
《微电子学与计算机》2005年第2期39-42,45,共5页贺晓红 高海昌 刘晓宏 冯博琴 朱利 顾刚 
国家"863"计划资助(2003AA1Z2610)
基于白盒测试的方法和原理,在Linux平台下进行自动测试源码程序技术的研究。文章从静态测试的角度出发,详细阐述了对C/C++语言开发的大多数软件都适用的静态分析方法,并根据分析结果为用户提供被测项目的图形化表示,从而可以充分判断被...
关键词：Lex与Yacc 双向邻接链表法 类图 控制流图 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部