形式化化方法并不能保证软件的正确性，是有助于开发高质量软件的一种手段。
举一反三
- 软件文档的开发贯穿于整个软件的开发过程，高质量的文档是软件成功的重要条件，也是保证软件质量的基础。
- 可以用形式化方法证明软件的需求和设计的正确性和合理性，因此，如果为了降低软件的测试成本和改正错误代价等，可以不用对软件进行测试，也可以保证软件的质量和降低开发成本等软件工程的目标。
- 软件测试是保证软件质量的重要手段，首要任务是______。 A: 保证软件的正确性 B: 改正软件存在的错误 C: 发现软件的潜在错误 D: 实现程序正确性证明
- 形式化方法是开发大型、复杂软件的主要方法。 A: 正确 B: 错误
- 本讲介绍的软件工程技术的主要发展趋势是________。 A: 新型软件体系结构及开发方法 B: 软件构件化、软件服务化 C: 软件需求工程、软件领域化 D: 本题所有选项及其他