超越基础测试！出色的软件测试使整个软件开发过程更加高效。本书揭示了一种系统而有效的方法，可以帮助您自定义测试覆盖率并在棘手的极端情况下捕获错误。

这套四本参考书选集涵盖了软件开发和测试的新兴趋势，讨论了敏捷软件的最新发展及其跨多个行业的应用

本参考书籍详细讨论了关键概念，包括时序分析和可靠性、汽车系统的验证和验证、电动汽车的 AUTOSAR 架构、用于联网汽车的汽车级 Linux、汽车软件行业的开源架构以及汽车软件开发过程中的通信协议。

本书为本科生，1学期课程编写，《软件工程基础》为学生提供软件工程原理和方法的系统工程方法。新版本书籍全面而简洁，涵盖了技术和工具的一些最新改进，同时减少了变得不那么相关的领域。

《面向实际应用的软件可靠性技术》是一个实用的、最新的首选资源，可以反复引用，以有效地防止软件缺陷，在出现缺陷时发现并纠正缺陷，并在软件产品中建立更高级别的信心。

利用 SRE 提高服务的可扩展性和可靠性; 站点可靠性工程 （SRE，Site Reliability Engineering​） 由 Google 率先创建更具可扩展性和更可靠的大规模系统，现已成为当今最有价值的软件创新机会之一。 《建立 SRE 的基础》是一份简明实用的指南，展示了如何在您自己的组织中推动 SRE 的成功采用。

今天，软件工程师不仅需要知道如何有效地编程，还需要知道如何开发适当的工程实践，使他们的代码库可持续和健康。本书强调了编程和软件工程之间的这种区别。

本书全面介绍了嵌入式软件的验证和调试技术，这些技术经常用于安全关键应用（例如汽车），在这些应用中，故障是不可接受的。

随着关键系统的自主性不断提高——自动驾驶汽车、无人机、卫星和着陆器证明了这一点——这些系统中的数值功能变得越来越先进。这里介绍的技术对于支持对这些新兴技术中使用的控制器软件进行形式分析至关重要。

本书以KeY成立20周年为契机，邀请项目内外的研究人员为一本书做出贡献，本书捕捉了该领域的一些最新发展。