软件开发的形式化方法.pptVIP

计算机辅助软件工程 实现软件生命周期各个环节的自动化 整个生命周期的支持，解决生产效率 软件工程经济学 从经济学的观点来研究、分析如何有效地开发、发布软件产品和支持用户使用 成本估算技术、模型、效益分析、多目标决策、不确定性的处理、风险分析、工期估计 -*- 1.4 形式化方法 形式化方法概念 发展 目的 形式化方法软件开发— 变换模型 形式化规格 形式化验证 程序求精 形式化方法的应用 -*- 形式化方法概念 形式化方法是渗透在软件生命期中各个环节（如：需求、设计、实现、测试等）的数学方法 或者 具有严格数学基础的软件开发方法 形式化方法的基本含义是借助数学的方法来研究计算机科学中的有关问题。 《Encyclopedia of Software Engineering》对形式化方法定义为：“用于开发计算机系统的形式化方法是基于数学的用于描述系统性质的技术。这样的形式化方法提供了一个框架，人们可以在该框架中以系统的方式刻画、开发和验证系统”。 -*- 形式化方法概念 在软件开发的全过程中，凡是采用严格的数学语言，具有精确的数学语义的方法，都称为形式化方法。 从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。 狭义地，形式化方法是软件规格（specification）和验证（verification）的方法。 形式化方法又分为形式化规格方法和形式化验证方法。