Chat with us, powered by
UCL - Comp0103 验证和验证 考试&作业&论文辅导

UCL - Comp0103 验证和验证 考试&作业&论文辅导

课程简介


本课程旨在培训学生验证和验证软件系统的原理和技术。培训涵盖验证和验证的最新实践,以及该领域的趋势、问题和结果。


课程目标


成功完成该模块后,学生将能够:

- 理解软件系统的正确性、一致性、故障和失败,以及静态分析和测试的概念。

- 掌握将逻辑用作系统规范的形式语言。

- 掌握符号执行的应用。

- 进行简单系统的验证。

- 熟悉适用于软件系统的测试方法,包括黑盒和白盒测试。

- 感知当前工具的局限性,并深入了解正在进行的研究主题以克服它们。


课程学习成果


学生将能够:

- 掌握软件工程生命周期环境中的基本概念,如正确性、健全性和完整性等。

- 理解各种测试类型,包括黑盒和白盒测试,输入分区和随机测试等。

- 熟悉覆盖范围和结构测试,以及突变测试和回归测试。

- 理解命题和谓词逻辑,以及符号执行和Hoare逻辑等验证方法。


课程学习内容


本课程涵盖的主题包括:

- 软件工程生命周期环境

- 正确性、健全性和完整性

- 故障、错误和失败

- 静态和动态分析

- 测试类型:单位、功能、集成、系统、接受、回归

- 黑匣子和白盒测试

- 输入分区和随机测试

- 覆盖范围和结构测试

- 突变测试和回归测试

- 命题和谓词逻辑

- 指定和验证程序

- 符号执行和Hoare逻辑

- 阅读选定的调查、研究论文和书籍章节


课程所需条件


为了有资格选择此模块作为可选或选修课,学生必须:

1. 在一个正式可用的课程和学习年度中注册。

2. 具备与UCL的BSC/ MENG计算机科学1年和2年相当的背景知识。


选择DR.D留学生辅导机构,让我们携手开启留学之旅,为您的留学生活增添精彩!