沈升源
- 作品数：4 被引量：16H指数：2
- 供职机构：中国航天科工集团公司更多>>
- 发文基金：总装备部“十一五”国防预研项目中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- 基于统计覆盖测试技术的软件测试充分性研究被引量：13
- 2004年
- 研究了基于可信度的统计覆盖测试技术,以及基于统计覆盖测试技术的测试充分性,指出"以至少C的可信度确信,下一次软件测试出现新的覆盖项(如语句,分支,路径等)的概率小于或等于一个给定的正数B",是一种测试充分性的标准。在此基础上,进一步研究了统计测试技术与软件可靠性技术指标中的软件失效率之间的联系,给出了基于统计测试技术的软件失效率的度量方法。
- 沈升源陈丽容汤铭端
- 关键词：软件测试可靠性
- 基于三维“运行剖面”描述模型的测试数据自动生成
- 2005年
- 针对被测软件有多种使用时的情况,提出了一个三维的运行剖面描述模型,该模型要求综合考虑被测软件在实际应用中的各种使用情况,因而依据三维运行剖面描述模型进行测试,能较好的体现出被测软件的整体质量。给出了基于三维运行剖面描述模型的测试数据自动生成算法,以及检验生成的测试数据集与被测软件的运行剖面是否一致的方法,以保证测试数据集的有效性。
- 沈升源汤铭端陈丽容
- 关键词：软件测试运行剖面测试数据
- 软件运行剖面的三维描述模型被引量：2
- 2003年
- 软件运行剖面在软件测试中有着重要的作用。针对被测软件有多种使用时的情况,提出了一个三维的 运行剖面描述模型,并将时间变量time(t)作为输入元素描述的一部分,以反映被测实时软件的实际输入情况。
- 沈升源汤铭端陈丽容
- 关键词：软件测试软件运行剖面软件开发
- 软件测试充分性技术的研究
- 该文从不同的测试方法入手,首先对当前软件测试充分性的发展现状进行了研究,分析了它们的优劣之处.接着,我们重点研究了基于可信度的统计覆盖测试技术.这项测试技术较好地解决了当前软件测试充分性研究中的一些难题,如不可实现的覆盖...
- 沈升源
- 关键词：软件测试运行剖面测试数据
- 文献传递
