研究生课程教学大纲[009].docVIP

研究生课程教学大纲 《可信软件设计与测评》 《Trusted Software Design and Evaluation》 36 学时； 2 学分 一、课程简介 《可信软件设计与测评》是计算机科学与技术专业硕士研究生的一门专业选修课程，通过该课程的学习，使学生掌握可信软件的设计方法以及软件可信性的度量与评估机制，为以后进一步从事软件可信性方面的相关研究奠定基础。 《可信软件设计与测评》围绕可信软件设计及软件可信测评展开讨论，主要内容包括：可信软件过程构建、可信软件评价指标、软件运行过程中可信证据收集、可信度量评价模型等；从软件开发的工程过程和管理过程入手，定义可信软件过程，讨论基于可信原则的可信软件过程改进模型；构建基于全生命周期过程实体、过程行为、过程产品、进度和成本可信的软件过程可信属性和评价指标体系；构建基于软件保密安全性、生存性、容错性、可靠性和防危性的软件可信属性和评价指标体系。 二、预修课程及适用专业 预修课程：程序设计、软件工程； 适用专业：计算机科学与技术、计算机技术、软件工程、信息安全 三、课程内容及学时分配 第1章 引言 教学目标： 了解可信软件研究背景与意义； 掌握可信软件内涵； 了解可信软件过程研究； 了解可信软件构建与评测涉及的主要问题； 学时：4学时 教学内容： 可信软件研究的背景和意义； 可信软件内涵； 可信软件过程研究； 可信软件评价涉及的主要