中国博士后科学基金(2003034077)
- 作品数：4 被引量：239H指数：4
- 相关作者：单锦辉姜瑛刘江红刘明浩张路更多>>
- 相关机构：北京大学酒泉卫星发射中心更多>>
- 发文基金：中国博士后科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术兵器科学与技术更多>>
- 一种新的变异测试数据自动生成方法被引量：22
- 2008年
- 变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.
- 单锦辉高友峰刘明浩刘江红张路孙家骕
- 关键词：变异体测试数据
- 软件的易测试性分析方法述评被引量：6
- 2005年
- 软件测试是软件工程领域中重要组成部分。随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件易测试性则是降低测试复杂性的有效手段。为达到这一目标,首先要能对软件的易测试性进行准确的度量。这种度量结果除了作为软件度量的一个量化指标外,还应能为改善易测试性提供指导、为测试的设计提供有效帮助。本文对现有软件易测试性分析方法进行归类,将已有技术大致归并为基于复杂度分析、基于信息论分析、基于PIE技术分析和基于UML类图分析四种基本类型。简要介绍了每一类方法,对这些方法的特点与不足进行分析比较,并探讨今后的研究方向。
- 刘菲菲单锦辉姜瑛
- 关键词：测试性UML类图工程领域软件测试
- 软件测试研究进展被引量：212
- 2005年
- 从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展趋势 ,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和WebServices测试等。
- 单锦辉姜瑛孙萍
- 关键词：软件测试软件质量
- 基于合约的构件易测试性设计支撑工具的设计与实现被引量：6
- 2005年
- 构件技术的新特点为构件测试带来挑战。合约式设计是一种重要的软件易测试性设计方法。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础。
- 单锦辉姜瑛刘江红辛国茂侯姗姗
- 关键词：软件测试
