软件工程考试重点题目（自学）——形式化方法

1. 非形式化方法的缺点：可能存在矛盾、二义性、含糊性、不完整性，抽象层次混乱

什么是形式化方法？

是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么他就是形式化的。

形式化方法的优点：

• 数学更适于描述详细的需求，几乎没有二义性，可以用数学方法来验证，发现存在的矛盾和不完整性。
• 可以在不同软件工程活动之间平滑地过渡。
• 提供了高层确认的手段，可以使用数学方法证明，设计符合规格说明，程序代码正确地实现了设计结果