本课程介绍最先进的自动分析技术。 自动分析既包括自动生成大量测试以检查程序是否满足要求的方法，也包括*有可能证明软件满足要求和不存在某些常见缺陷的方法，例如除以零、溢出/下溢、死锁、无竞赛条件、缓冲区/数组溢出、未捕获异常和其他一些可能导致程序失败或安全问题的常见错误。 学习者将熟悉这些方法的基本理论和应用，并在示例程序中应用各种自动分析技术。

完成本课程后，学员将能够： - 理解自动验证的基础：随机化和符号表示 - 区分随机测试、符号分析、静态分析和模型检查的优缺点 - 使用各种最先进的静态分析和自动测试工具进行自动验证 - 将可执行需求创建为适合自动测试和符号分析的oracle - 理解oracle的选择如何影响自动分析策略的故障查找。 - 使用自动测试实现完全突变覆盖 - 创建一个测试计划，同时使用手动编写的测试和自动测试，以最大限度地提高严谨性，最大限度地减少工作量和时间，最大限度地降低测试成本。 本课程面向有兴趣了解自动化原理以及软件分析和测试工具应用的学习者：软件工程师、测试中的软件工程师、测试自动化工程师、DevOps 工程师、软件开发人员、程序员、计算机爱好者。我们希望您熟悉软件开发生命周期，了解软件测试的基本原理，类似于软件测试入门、黑盒和白盒测试课程中的内容。 熟悉 Java 等面向对象的语言，或能够快速掌握 Java 语法以编写和修改代码，并愿意使用工具和集成开发环境。