加入收藏 | 设为首页 | 搜索
计算机学院(国家示范性软件学院)简介
北京邮电大学1977年开设计算机通信本科专业,1985年成立计算机工程系,1998年成立计算机科学与技术学院。2008年,按照“学科归位”的原则,将计算机科学与技术学院等六个单位计算机学科的资源重新整合为计算机学院。2020年,将原计算机学院、软件学院、网络技术研究院调整、合并组建新的计算机学院(国家示范性软件学院),并支撑网络与交换技术国家重点实验室(北京邮电大学)。
课程信息
协议工程与通信软件
课程编号  512.5*079
课程名称  协议工程与通信软件
任课老师          卞佳丽  
课程类型  选修/非学位课
课程阶段  硕士
学时学分  36学时2学分
基本要求  通过本课程学习,要求学生掌握协议形式化描述、协议验证、协议自动化实现和协议测试等协议工程的核心技术,了解通信软件(协议)开发的特点、过程及采用的技术,熟练使用两种主要的形式化描述语言及其协议开发工具,并能够运用协议工程的技术和方法进行通信协议、计算机网络协议和通信系统软件的开发,培养学生通信软件开发能力和良好的科研素质。
内容提要   
第一章  协议工程与通信软件概述
1、通信软件与协议
2、协议工程
3、协议的开发过程
第二章  协议分析与设计
1、协议分析原理与方法
2、协议分析举例之一——电信协议
3、协议分析举例之二——计算机网络协议
4、协议设计原理与方法
5、协议设计举例之一——电信协议
6、协议设计举例之二——计算机网络协议
第三章  协议的形式化描述
1、形式化描述语言概述
2、MSC
3、SDL
4、协议的形式化描述应用举例
第四章  协议验证及实现
1、协议验证技术
2、协议验证举例
3、协议自动实现举例
第五章  协议测试
1、协议测试原理
2、协议一致性测试举例
第六章  通信软件设计
1、通信软件的特点分析
2、通信软件设计的方法
3、通信软件设计举例
教学方式  
指定教材  
参考书目  1、古天龙、蔡国永:《网络协议的形式化分析与设计》,电子工业出版社,2003年
2、龚正虎:《计算机网络协议工程》,国防科技大学出版社,1993年
3、宋茂强:《通信软件设计基础》,北京邮电大学出版社,2001年
4、相关协议标准
先修课程  
开课学期  秋
更多内容