孙伟
- 作品数：2 被引量：1H指数：1
- 供职机构：信息产业部电子第五研究所更多>>
- 发文基金：国家科技重大专项更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 面向系统能力的形式化分析和测试方法被引量：1
- 2017年
- 国内软件业界实施系统测试时,大部分采用对系统规格说明描述的功能点进行逐一测试的方法,很少从系统能力的角度进行测试,难以充分说明系统软件产品满足系统能力需求的要求。同时,系统规格说明使用自然语言进行描述,存在语义不准确的现象,直接影响系统测试的质量。针对上述问题,提出了一种面向系统能力的形式化分析和测试方法。通过该方法,测试工程师可得到语义清晰的系统能力需求描述,并实施面向系统能力的系统测试,有效地提高系统测试的充分性和准确性,从而提高系统软件质量。
- 陈平梁启明孙伟
- 关键词：形式化方法软件需求分析
- 基于测评项目的军用软件测评机构评估方法
- 2020年
- 阐述了GJB 2725A-2001中给出的实验室测评能力考核方法和基于测试能力成熟度模型的软件测评机构评估考核方法,分析总结了其存在的不足,在此基础上研究并提出了一种基于测评项目的测评机构评估考核方法。基于测评项目的测评机构评价方法与基于测评机构能力的测评机构评价方法相辅相成,能够实现测评机构能力认证与项目运作的闭环管理,促进测评行业的可持续发展。
- 赵进科孙伟蒋洁
- 关键词：软件测试测评机构测评项目
