本课程旨在培训学生验证和验证软件系统的原理和技术。培训涵盖验证和验证的最新实践，以及该领域的趋势、问题和结果。
成功完成该模块后，学生将能够：
- 理解软件系统的正确性、一致性、故障和失败，以及静态分析和测试的概念。
- 掌握将逻辑用作系统规范的形式语言。
- 掌握符号执行的应用。
- 进行简单系统的验证。
- 熟悉适用于软件系统的测试方法，包括黑盒和白盒测试。
- 感知当前工具的局限性，并深入了解正在进行的研究主题以克服它们。
学生将能够：
- 掌握软件工程生命周期环境中的基本概念，如正确性、健全性和完整性等。
- 理解各种测试类型，包括黑盒和白盒测试，输入分区和随机测试等。
- 熟悉覆盖范围和结构测试，以及突变测试和回归测试。
- 理解命题和谓词逻辑，以及符号执行和Hoare逻辑等验证方法。
本课程涵盖的主题包括：
- 软件工程生命周期环境
- 正确性、健全性和完整性
- 故障、错误和失败
- 静态和动态分析
- 测试类型：单位、功能、集成、系统、接受、回归
- 黑匣子和白盒测试
- 输入分区和随机测试
- 覆盖范围和结构测试
- 突变测试和回归测试
- 命题和谓词逻辑
- 指定和验证程序
- 符号执行和Hoare逻辑
- 阅读选定的调查、研究论文和书籍章节
为了有资格选择此模块作为可选或选修课，学生必须：
1. 在一个正式可用的课程和学习年度中注册。
2. 具备与UCL的BSC/ MENG计算机科学1年和2年相当的背景知识。
选择DR.D留学生辅导机构，让我们携手开启留学之旅，为您的留学生活增添精彩！
严格按照学校要求完成,从审阅资料到论文代写交稿严格把关,100%原创论文,TurnitinUK查重检测,E-convier向您做无抄袭担保!
论文导师24小时待命,严格审核订单时间,100%确保在约定时限前交付,专业的客服体系,保证随叫随到,保证及时修改
E-convier超过1800名英语母语professional writers,其中95%是英国本地导师,并具有Maste或者PhD以上学位
E-convier为了保护您的个人信息和论文安全,所有资料全部通过银行级SSL256数据加密，永远做到让您高枕无忧
E-convier论文代写，2008年创办，10年知名品牌！
论文定制只需三步——随时随地管理您的订单！
