• 课题背景

当今社会越来越依赖于软件：我们的运输系统、医院、银行、政府以及联网计算机都离不开软件的支持。 因此，软件的安全性和可靠性至关重要。在本课程中，学生将学习软件安全性和可靠性的基础知识，包括网络攻击和防御的主要类型以及软件错误的主要类型以及防止它们的技术。本课程还将以实践为重点，向学生介绍各地区流行的工具，例如模糊器和符号执行器引擎。最终课纲可能会根据学生的背景和授课的进度调整。

• 课题内容

本课题主要向学生介绍提高软件系统可靠性的技术和工具，概述软件可靠性技术的主要类型，并讨论它们各自的优缺点。与此同时，还将详细介绍这些技术和相关工具的选择，重点是研究和实践中的最新方向。课程将涵盖：1）软件错误和安全漏洞简介；2）软件可靠性的基本知识；3）网络安全的基本知识；4）覆盖标准；5）黑盒和灰盒模糊测试；6）动态符号执行。 要学习本课程，学生应该具有基本的编程知识。 理想情况下，学生需知道如何使用静态类型的编程语言（例如C，C ++或Java）进行编程；因为大多情况下，C语言是编写先决安全性代码的关键。 如果学生掌握动态编程语言（例如Python和JavaScript）也是可以的，教授会在课堂尚简要讲解相应疑点。

• 适合人群
• 对软件工程、计算机算法、软件开发专业感兴趣的本科生
• 修读软件工程、软件开发、计算机等专业，以及未来希望在计算机科学、软件工程与开发等领域从业的学生
• 具备编程、线性代数、以及微积分的理工科学生优先，
• 学生需要有编程能力，至少python，建议C/C++

• 教授介绍

Cristian Cadar
帝国理工学院计算机科学终身教授
1)帝国理工学院SRG（Software Reliability Group）小组负责人
2)获得EPSRC早期职业奖学金
3)英国帝国理工学院高级研究员
4)专业期刊论文被引用7387次；h 指数：23；i10指数：38

• 拓展资料

Cristian Cadar-教授简历

数据系统的网络安全及软件可靠性研究-课纲