失效链接处理 |
软件可靠性方法 PDF 下载
本站整理下载:
版权归出版社和原作者所有,链接已删除,请购买正版
用户下载说明:
电子版仅供预览,下载后24小时内务必删除,支持正版,喜欢的请购买正版书籍:
http://product.dangdang.com/1802485248.html
相关截图:
资料简介: 《软件可靠性方法》通过大量的形式化表示和技术,向读者提供了各种用于提高软件可靠性的形式化方法,包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线,比较了各种方法的不同之处,并讨论了它们的优缺点。书中包含一些在多个章节中使用的、具有连续性的实例,有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目,可以使用软件可靠性工具来完成。本书适用于从事软件开发的广大读者,尤其适合作为高年级本科生和硕士生的教材和参考书。 资料目录: 出版者的话 中文版序 译者序 英文版序 前言 第1章引言 1.1形式化方法 1.2开发与学习形式化方法 1.3使用形式化方法 1.4应用形式化方法 1.5本书概要 第2章预备知识 2.1集合表示法 2.2字符串和语言 2.3图 2.4计算复杂度和可计算性 2.5扩展阅读 第3章逻辑和定理证明 3.1一阶逻辑 3.2项 3.2.1赋值和解释 3.2.2多个论域上的结构 3.3一阶公式 3.4命题逻辑 3.5证明一阶逻辑公式 3.5.1正向推理 3.5.2反向推理 3.6证明系统的属性 3.6.1正确性 3.6.2完备性 3.6.3可判定性 3.6.4结构完备性 3.7证明命题逻辑属性 3.8一个实用的证明系统 3.9证明示例 3.10机器辅助证明 3.11机械化定理证明器 3.12扩展阅读 第4章软件系统建模 4.1顺序系统、并发系统及反应式系统 4.2状态 4.3状态空间 4.4转换系统 4.5转换的粒度 4.6为程序建模的例子 4.6.1整数除法 4.6.2计算组合数 4.6.3Eratosthenes筛法 4.6.4互斥 4.7非确定性转换 4.8将命题变量赋给状态 4.9合并状态空间 4.10线性视角 4.11分支视角 4.12公平性 4.13偏序视角 4.13.1一个银行系统的例子 4.13.2线性化和全局状态 4.13.3一个简单的例子 4.13 |