软件工程导论04.pptVIP

形式化说明技术 4.1 概述 4.2 有穷状态机 习题 软件工程方法分类 非形式化 自然语言 半形式化 数据流图 实体-联系图建立模型 形式化 有穷状态机 Petri网 Z语言 形式化方法: 描述系统性质的基于数学的技术 4.1 概述 4.1.1 非形式化方法的缺点 4.1.2 形式化方法的优点 4.1.3 应用形式化方法的准则 4.1.1 非形式化方法的缺点 矛盾 指一组相互冲突的陈述 二义性 读者可以用不同方式理解的陈述 含糊性 系统规格说明书是很庞大的文档, 难以杜绝含糊性措辞 不完整性 抽象层次混乱 在非常抽象的陈述中混进了一些关于细节的低层次陈述 4.1.2 形式化方法的优点 理想的建模工具 数学最有用的一个性质是，它能够简洁准确地描述物理现象、对象或动作的结果 在理想情况下，分析员可以写出系统的数学规格说明，它准确到几乎没有二义性，而且可以用数学方法来验证，以发现存在的矛盾和不完整性，在这样的规格说明中完全没有含糊性 可以在不同的软件工程活动之间平滑地过渡 不仅功能规格说明，而且系统设计也可以用数学表达 提供了高层确认的手段 可以使用数学方法证明，设计符合规格说明，程序代码正确地实现了设计结果 4.1.3 应用形式化方法的准则 应该选用适当的表示方法 一种规格说明技术只能用自然的方式说明某一类概念 应该形式化，但不要过分形式化 目前的形式化技术还不