软件质量审查技术及进展

Software Quality Inspection Technique and Development

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

Testing and formal verification are two important techniques for software quality assurance, however software inspection technique is more effective than testing and require less effort than formal verification. In this paper, software quality inspection technique is introduced in detail; the benefits of inspection are also described. Finally, the development of inspection, which can improve the effectiveness and applicability, is discussed.