余侠

作品数：1被引量：0H指数：0
导出分析报告
供职机构：中国科学院研究生院更多>>
发文主题：测试用例生成测试用例自动生成方法更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》更多>>
所获基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于pCTL的循环优化测试用例自动生成方法
《小型微型计算机系统》2010年第3期436-440,共5页余侠 薛云志 陶秋铭 
国家"八六三"高技术研究发展计划项目(2007AA010601;2006AA010201)资助
循环优化测试对保证现代编译器质量有着重要作用.传统手工构造测试用例方法面临着效率低的问题,而目前的自动构造方法对循环优化的针对性不足.提出并实现了一种基于参数化分支时序逻辑(pCTL)的循环优化测试用例自动生成方法.并用生成的...
关键词：pCTL 循环优化 测试用例生成 覆盖率 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部