什么是形式化方法?

形式化方法,中文也称形式方法、正规方法。在计算机科学和软件工程领域,形式化方法是基于数学的特种技术,适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计,是期望能够像其它工程学科一样,使用适当的数学分析以提高设计的可靠性和强健性。 但是,由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。
也可以说形式化方法是基于严格数学基础,对计算机软硬)件系统进行形式规约、开发和验证的技术其中,形式规约使用形式语言构建所开发的软件系统的规约,它们对应于软件生命周期不同阶段的制品,刻画系统不同抽象层次的模型和性质,例如需求模型、设计模型甚至代码和代码的执行模型等形式验证是证明不同形式规约之间的逻辑关系,这些逻辑关系反映了在软件开发不同阶段软件制品之间的需要满足的各类正确性需求例如,形式验证给出系统设计模型满足若干特定性质的证明构造在形式规约和验证的基础上,形式化开发主要是构造、证明形式规约之间的等价转换和精化关系,以系统的形式模型为指导,逐步精化,开发出满足需要的系统,也称为构造即正确(Correct by construction)的开发.

产品开发流程什么是形式化方法?_第1张图片

你可能感兴趣的:(思考题)