本课程旨在培训学生验证和验证软件系统的原理和技术。培训涵盖验证和验证的最新实践，以及该领域的趋势、问题和结果。
成功完成该模块后，学生将能够：
- 理解软件系统的正确性、一致性、故障和失败，以及静态分析和测试的概念。
- 掌握将逻辑用作系统规范的形式语言。
- 掌握符号执行的应用。
- 进行简单系统的验证。
- 熟悉适用于软件系统的测试方法，包括黑盒和白盒测试。
- 感知当前工具的局限性，并深入了解正在进行的研究主题以克服它们。
学生将能够：
- 掌握软件工程生命周期环境中的基本概念，如正确性、健全性和完整性等。
- 理解各种测试类型，包括黑盒和白盒测试，输入分区和随机测试等。
- 熟悉覆盖范围和结构测试，以及突变测试和回归测试。
- 理解命题和谓词逻辑，以及符号执行和Hoare逻辑等验证方法。
本课程涵盖的主题包括：
- 软件工程生命周期环境
- 正确性、健全性和完整性
- 故障、错误和失败
- 静态和动态分析
- 测试类型：单位、功能、集成、系统、接受、回归
- 黑匣子和白盒测试
- 输入分区和随机测试
- 覆盖范围和结构测试
- 突变测试和回归测试
- 命题和谓词逻辑
- 指定和验证程序
- 符号执行和Hoare逻辑
- 阅读选定的调查、研究论文和书籍章节
为了有资格选择此模块作为可选或选修课，学生必须：
1. 在一个正式可用的课程和学习年度中注册。
2. 具备与UCL的BSC/ MENG计算机科学1年和2年相当的背景知识。
选择DR.D留学生辅导机构，让我们携手开启留学之旅，为您的留学生活增添精彩！
