李磊芳

作品数:1被引量:3H指数:1
导出分析报告
供职机构:南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文主题:测试用例生成算法测试用例生成软件测试更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《东南大学学报(自然科学版)》更多>>
所获基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-1
视图:
排序:
一种新的布尔规格测试用例生成算法被引量:3
《东南大学学报(自然科学版)》2010年第2期291-295,共5页李磊芳 徐宝文 陈振宇 章晓芳 董国伟 
国家自然科学基金资助项目(60803007;60633010;90818027);国家高技术研究发展计划(863计划)资助项目(2009AA01Z147);国家重点基础研究发展计划(973计划)资助项目(2009CB320703)
为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树...
关键词:软件测试 布尔规格测试 测试用例生成 
检索报告 对象比较 聚类工具 使用帮助 返回顶部