“软件可靠性方法”课程大纲

“软件可靠性方法”课程提纲课程标题软件可靠性方法软件可靠性方法讲师课程类别离散数学，计算机科学数学逻辑的高级选修课研究，应用该模型检测一系列学科软件工程开始形式解释，项目实习开始学期学期学分40学分一门课程的目的和基本要求本课程以英语教科书授课，面向计算机科学与技术和软件工程学科的. 本课程是模型测试的后续课程. 它旨在从理论和技术方面深入介绍提高软件可靠性和相关前沿研究内容的各种方法，为学生成功开展相关的应用研究奠定基础. 本课程的主要内容包括过程代数和系统验证，Petri网和系统验证，模型检查和软件测试，复杂的系统验证方法以及模型检查工具. 在学习过程中，学生可以结合自己的研究方向来确定提高软件可靠性的合适方法，并将其应用于将来的研究工作中，以完成本课程的学习任务. 前提课程包括离散数学，面向计算机的数学逻辑，形式语言和自动机以及模型检查. 第二课程的主要内容本课程的主要内容包括: 过程代数和系统验证: 过程代数的定义，过程代数建模，过程代数中的等价和相互模拟，等价关系的层次结构，基于过程代数的系统验证. 包括属性表达和验证计算Petri网和系统验证: Petri网的基本概念，使用Petri网对系统建模，网络优化和抽象，基于Petri网的系统验证方法（包括属性表达，验证算法: 即时方法，基于偏序的方法，符号化和参数化方法等）；模型检测和软件测试: 数据流和控制流，等价划分，用例验证软件可靠性方法，自动使用模型验证获得测试用例，组合验证，黑色盒子测试和概率测试等；复杂的系统验证方法: 主要介绍符号模型检测技术，运算符，抽象和等效项，离散/连续系统验证以及定量时序分析.

模型验证工具: 基于过程代数的验证工具，基于Petri网的验证工具和基于顺序逻辑的验证工具. 三道菜的主要材料剥皮. 软件可靠性方法. 纽约Springer-Verlag. 2001年. 克劳德·吉罗（Claude Girault），《鲁迪格·沃克（Rudiger Valk）建模，验证和应用指南》，电子工业出版社，2005年. 四个主要参考文献迈克尔·休斯（Michael Huth），马克·瑞安（Mark Ryan）. 逻辑计算机科学: 系统推理模型（第二版），2005年. Hopcroft，Rajeev Motwani，Ullman. 简介自动机理论，语言，计算. Addison-Wesley，马萨诸塞州波士顿，2001年. ModelChecking. 小埃德蒙·（Edmund Clarke）软件可靠性方法，奥玛·格伦伯格（Orma Grumberg），麻省理工学院出版社，麻省剑桥，英国伦敦，1999年. 模型检查. 克里斯托尔·拜尔（Joel-Pieter Katoen）. 麻省理工学院出版社，马萨诸塞州剑桥，英国伦敦，2008年. 计算机科学的数学逻辑. 科学出版社，2002. 五种评估方法: 笔试占50％，项目成果占50％.

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/jisuanjixue/article-198757-1.html