论文部分内容阅读
对软件质量来说，你如何才能知道你的软件是正确的、健壮的，特别是对于生命关键系统?用形式化的方法来验证软件的正确性是困难的，而且很难应用于大型项目，需要很大的工作量。那么我们如何获得对软件质量的信心呢?答案是通过测试和分析。这也是软件生命周期中的重要组成部分。事实上，测试和分析也是很昂贵的，甚至有可能占到软件总成本的65％。