本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们的优点和缺点。书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。

📙 相关书籍

  1. 《网构软件可靠性技术研究》高清PDF 《网构软件可靠性技术研究》共7章，主要讨论了网构软件的研究背景和意义、网构软件可靠性理论和研究现状、网构软件及其可靠性形式化方法研究、网构软件可靠性计算方法研究、网构软件系统可靠性演化计算研究、网构软件系统可靠性分配方法研究和网构软件系统可靠性技术研究展望。《网构软件可靠性技术研究》面向网络环境下网......
  2. 《系统软件可靠性》高清PDF 本书共分11章，第1章简介了系统软件可靠性及其相关术语；第2章讨论了软件可靠性工程以及包括马尔科夫过程、更新过程等在内的随机过程的相关概念；第3章描述了评估理论、常见的评估技术以及置信区间估计；第4章阐述了包括软件生命周期、软件开发周期、软件测试等在内的软件工程评估的基本概念；第5章讨论了几组传统的......
  3. 《软件可靠性工程》高清PDF 本书共10章。内容包括：绪论、软件可靠性技术、测试技术、综合保障技术、安全技术、数据分析技术及管理等。...
  4. 《软件可靠性模型及应用》高清PDF 本书首先介绍了软件可靠性工程方面的前沿；然后从理论上分析了测试可靠性与运行可靠性的差别；最后建立了多个考虑，测试剖面与运行剖面差别的软件可靠性增长模型。...
  5. 《软件可靠性的不确定性研究》高清PDF 软件的云模型和云进化策略，基于云模型的可靠性评估，基于markov测试方法的软件可靠性分析，考虑多种不确定因素的可靠性评估。...
  6. 《安全测试指南 第4版》高清PDF 软件安全问题也许是这个时代面临的最为重要的技术挑战。Web应用程序让业务、社交等网络活动飞速发展，这同时也加剧了它们对软件安全的要求。我们急需建立一个强大的方法来编写和保护我们的互联网、Web应用程序和数据，并基于工程和科学的原则，用一致的、可重复的和定义的方法来测试软件安全问题。本书正是实现这个目......
  7. 《漏洞战争 软件漏洞分析精要》高清PDF 本书最大的特点是以各种类型的经典漏洞作为实战讲解，摒弃空头理论，几乎是“一本用调控器写出来的书。”...
  8. 《持续交付 发布可靠软件的系统方法 英文版》高清PDF 本书讲述如何实现更快、更可靠、低成本的自动化软件交付，描述了如何通过增加反馈，并改进开发人员、测试人员、运维人员和项目经理之间的协作来达到这个目标。本书由三部分组成。第一部分阐述了持续交付背后的一些原则，以及支持这些原则的实践。第二部分是本书的核心，全面讲述了部署流水线。第三部分围绕部署流水线的投入......
  9. 《软件可靠性概论》高清PDF 随着软件规模日益庞大、软件应用领域空前广泛，社会对软件的依赖程度及其紧密。同时，软件的运行异常给人们生产、生活等各个方面造成严重威胁成为迫切需要解决的问题。软件可靠性是软件质量的重要内容，本书基于软件可靠性的基础理论和方法，借鉴国内外相关研究成果，针对软件可靠性这个综合性课题，应用系统分析的方法，借......
  10. 《海军新军事变革丛书 软件安全性理论与实践》高清PDF ...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。