课程主页: https://www.coursera.org/learn/automated-analysis
在数字时代，软件的质量对我们的日常生活至关重要。Coursera提供的《自动化分析入门》课程正好满足了对提高软件质量和测试效率的需求。该课程介绍了现代自动化分析技术，涵盖如何自动生成大量测试以检查程序是否符合要求，及如何验证软件是否符合规范并且不不存在常见缺陷，如零除错误、溢出/下溢、死锁、竞争条件、缓冲区溢出、未捕获异常等。
课程大纲分为几个重要模块：
自动化分析入门
在此模块中，我们将学习各种程序分析技术和自动化测试方法，并了解如何指定需要检查的属性以及捕获环境假设，以进行有效测试。课程中还会通过一个具体示例实践自动化测试，巩固所学概念。
自动化测试生成
本模块重点是了解各种技术如何帮助我们自动生成有用且数量众多的测试。我们将探讨如何指定和使用系统及环境的属性，以指导测试数据的生成。
静态分析
该模块旨在向学习者介绍静态分析程序的原理，通过分析示例来理解其工作原理，并分享一些良好的设计实践，帮助我们利用工具检测和避免缺陷。学习者将通过了解一个具体工具来掌握静态分析工具的使用。
有效的自动化验证
这一模块将探讨如何利用有效的自动化技术来执行各种目的，如进行有效的回归测试，发现安全漏洞，以及在运行时监控软件的关键属性。
综上所述，这门课程为学生提供了丰富的知识与实践经验，适合希望提升软件测试与验证能力的学习者。通过学习自动化分析，您将能够有效提高程序的可靠性，发现潜在问题，从而推动软件开发的高效与安全。很推荐!
课程主页: https://www.coursera.org/learn/automated-analysis