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. 测试和形式化的正确性验证是软件质量保证的两种重要技术,而软件审查技术在效果上优于测试,在应用的要求上少于形式化的验证。