软件质量审查技术及进展

• 作者: 陈军 马溪骏
• 来源期刊: 电子质量
• 关键词: 软件质量 审查 形式化验证 过程求精
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 质量控制
• 页码范围: 37-38
• 页数: 2页
• 语种: 中文
• DOI: 10.3969/j.issn.1003-0107.2004.01.014

摘要

测试和形式化的正确性验证是软件质量保证的两种重要技术,而软件审查技术在效果上优于测试,在应用的要求上少于形式化的验证.该文详细论述了软件质量审查技术和软件审查的优点,并讨论了审查技术在效果和适应性方面进行改进的进展.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马溪骏	合肥工业大学计算机网络系统研究所	57	723	16.0	25.0
2	陈军	合肥工业大学计算机网络系统研究所	16	340	9.0	16.0