软件工程第14章形式化方法课件.pptVIP

第五篇 高级课题 第14章 形式化方法 根据形式化的程度，可以把软件工程方法划分成非形式化、半形式化和形式化三类。使用自然语言描述需求规格说明，是典型的非形式化方法。使用数据流图或实体—关系图等图形符号建立模型，是典型的半形式化方法。 用于开发计算机系统的形式化方法，是描述系统性质的基于数学的技术，也就是说，如果一个方法有坚实的数学基础，那么它就是形式化的。 14.1 概述 14.2 有穷状态机 14.3 Petri网 14.4 Z语言 14.5 小结 14.1 概述 14.1.1 非形式化方法的缺点 基本上使用自然语言描述的系统规格说明，可能存在矛盾、二义性、含糊性、不完整性以及抽象层次混杂等问题。 14.1.2 软件开发过程中的数学 数学最有用的性质之一是，它能够简洁、准确地描述物理现象、对象或动作的结果，因此是理想的建模工具。 在软件开发过程中使用数学的另一个优点是，可以在软件工程活动之间平滑地过渡。不仅功能规格说明，而且系统设计也可以用数学表达，当然，程序代码也是一种数学符号(虽然是一种相当繁琐、冗长的数学符号)。 数学作为软件开发工具的最后一个优点是，它提供了高层确认的手段。可以使用数学方法证明，设计符合规格说明，程序代码正确地反映了设计结果。