国家重点实验室开放基金(SYSKF1105)
- 作品数：2 被引量：4H指数：1
- 相关作者：孙昌爱程庆顺更多>>
- 相关机构：北京科技大学中国科学院软件研究所更多>>
- 发文基金：中央高校基本科研业务费专项资金北京市自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于故障的布尔表达式测试技术综述被引量：3
- 2013年
- 布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研究方向。介绍了基于故障的软件测试的基本概念与原理,归纳了布尔表达式的各种故障类型,讨论了不同故障类型之间的检测包含关系;评述了几类代表性的面向布尔表达式的测试策略,提出了一种比较框架并比较了各种策略的适用情形、故障检测能力与测试用例精简程度。针对现有研究工作的不足,探讨了几个值得研究的问题,简要介绍了近年来此领域的研究工作。
- 孙昌爱程庆顺
- 关键词：测试用例生成故障类型
- 基于约束的软件失效域识别与特征分析被引量：1
- 2012年
- 随机测试是实践中广泛采用的一种黑盒测试方法.近年来提出的适应性随机测试方法改进了随机测试的不足,仿真实验结果表明,改进效果取决于软件失效域的特征.提出以测试约束刻画软件失效域在输入域上的分布,探讨了基于现有的程序分析技术构造测试约束的过程,讨论了基于测试约束的软件失效域的特征分析方法.以一个实例软件验证所提出的测试约束构造过程及其软件失效域特征分析方法.测试约束揭示了软件故障的触发与传播的内在机制,基于测试约束的软件失效域的特征分析方法有助于改进测试用例的设计质量以及评价适应性随机测试方法的适用性.
- 孙昌爱
- 关键词：软件测试测试用例
