Cristian Cadar - Software Reliability


软件可靠性研究
Software Reliability
 
  • 课题背景
随着科学技术的不断进步,软件可靠性成为我们关注的一个问题,软件系统规模越做越大越复杂,其可靠性越来越难保证。应用本身对系统运行的可靠性要求越来越高,在一些关键的应用领域,其可靠性尤为重要,如在银行等服务性行业,其软件系统的可靠性也直接关系到资深的声誉和生存发展竞争能力。

  • 课题内容
本课题主要向学生介绍提高软件系统可靠性的技术和工具,概述软件可靠性技术的主要类型,并讨论它们各自的优缺点。 与此同时,还将详细介绍这些技术和相关工具的选择,重点是研究和实践中的最新方向。通过此课程,学生员能够: 1)熟悉用于提高软件可靠性的各种类型的程序分析技术; 2)通过案例分析了解和掌握如何评估不同技术和工具之间的交替使用; 3)熟练使用实现流行的软件可靠性技术的各种工具进行试验。

  • 导师信息

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

  • 任职大学
帝国理工学院(Imperial College London),1907年建立于英国伦敦,是一所主攻理学、工学、医学和商学的世界顶尖公立研究型大学。全称为帝国科学、技术与医学学院(Imperial College of Science, Technology and Medicine),我国教育部正式译名为帝国理工学院,又称伦敦帝国学院。帝国理工学院在国际学术界有着顶级声望,是世界最具创新力大学之一。帝国理工学院是英国罗素大学集团成员,国际科技大学联盟成员,与牛津、剑桥等校并称为金三角名校和G5超级精英大学。研究水平被公认为英国大学的三甲之列,尤其以工程专业而著名。在帝国理工的相关人物中,共有14位诺贝尔奖获得者和3位菲尔兹奖获得者。 2019-20年度,帝国理工学院位列2020 USNEWS世界大学排名世界第20位,2020 QS世界大学排名世界第9位,2020泰晤士高等教育世界大学排名世界第10位,2019软科世界大学学术排名世界第23位。