您的位置： 专家智库 > >

程庆顺

作品数：2 被引量：3H指数：1
供职机构：北京科技大学更多>>
发文基金：中央高校基本科研业务费专项资金北京市自然科学基金国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇故障类型
  • 2篇测试用例
  • 1篇软件测试
  • 1篇测试用例生成

机构

  • 2篇北京科技大学
  • 1篇中国科学院软...

作者

  • 2篇程庆顺
  • 1篇孙昌爱

传媒

  • 1篇计算机科学

年份

  • 1篇2013
  • 1篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于故障的布尔表达式测试技术综述被引量：3
2013年
布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研究方向。介绍了基于故障的软件测试的基本概念与原理,归纳了布尔表达式的各种故障类型,讨论了不同故障类型之间的检测包含关系;评述了几类代表性的面向布尔表达式的测试策略,提出了一种比较框架并比较了各种策略的适用情形、故障检测能力与测试用例精简程度。针对现有研究工作的不足,探讨了几个值得研究的问题,简要介绍了近年来此领域的研究工作。
孙昌爱程庆顺
关键词：测试用例生成故障类型
面向通用布尔规格说明的MUMCUT的性能分析与改进
程庆顺
关键词：测试用例故障类型
全选 清除 导出
共1页<1>
聚类工具0