董威-软件设计与体系结构(第2版)-PPT课件.zip-3-4-形式化方法.ppt
(1009.5 KB)
下载风险提示
若需要下载,请务必先预览(下载的文件和预览的文件一致)
由于本站上传量巨大,来不及对每个文件进行仔细审核,尤其是在
质量、数量、时间上的核对,一旦你付费下载,本站将不予退款。
原文件部分截取内容:
形式化方法
董威 教授
wdong@nudt.edu.cn
国防科技大学计算机学院
软件设计与体系结构
形式化方法
传统工程技术往往能在进行产品生产之前,通过建立模型进行演算、测试和验证,从而保证产品生产出来后具有期望的性质。
软件工程的目标:Develop reliable systems
形式化方法:
Mathematical languages, techniques and tools
Used to specify and verify systems
Goal: Help engineers construct more reliable systems
2
形式化方法
形式化规约(Formal Specification)
使用具有严格数学定义语法和语义的语言刻画软件系统及其性质。
形式化验证(Formal Verification)
在形式化规约的基础上验证系统是否满足所期望性质的过程。
Verifier