形式化方法
是指建立在严格数学基础上的系统开发 方法。它是保证设计正确性的一条重要的途径。其中,逻辑、 代数、自动机、图论等构成 了形 式化方法的数学基础。形 式化方法的目的是希望所设计的系统具有较高的可信度和 正确性,并能使系统具有 良好的结构、易维护、能较好地满 足用户要求。实践证明,通过形式规约确实可以增强对系统 发现其它方法难以发现的错误。越来越多的实践证明,形式 化方法在系统设计和验证,特别是高可靠性系统的设计和 验证中有着不可取代的地位。经过 30多年的研究和应用, 如今,形式化方法这一领域取得了大量重要的成果,其应用 也是逐渐融入软件开发过程的各个阶段:从需求系统分析、 功能描述 、(体系结构/算法)设计、编程、测试直至维护。
形式化方法主要包括形式化规约和形式化验证技术。 形式规约是对系统需要达到的功能和性质的数学描述。它 是系统设计的出发点,也是验证系统是否正确的依据,通过 形式化描述可 以尽早发现需求和设计中的错误 。
形式规约的方法主要可分为两类 :一类是对系统建模, 该方法的 目标是用合适的数学工具建立系统模型,借此精 确地刻画系统的行为特征;另一类是性质描述 ,该方法的 目 标是用合适 的数学工具来描述系统的性质 ,借此对系统进 行深入的研究。
根据说明目标软件系统的方式,形式化方法可以分为两类:- 面向模型的形式化方法。面向模型的方法通过构造一个数学模型来说明系统的行为。
- 面向属性的形式化方法。面向属性的方法通过描述目标软件系统的各种属性来间接定义系统行为。
标签:逻辑,规约,系统,形式化,时序,方法 来源: https://www.cnblogs.com/yzsy/p/16114217.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。