协议工程与通信软件
北京邮电大学
七十二小时打一字计算机科学与技术学院
自贡菜卞佳丽
2007年9月
课程目的
了解并掌握协议形式化描述、协议验证、协议自动化实现和协议测试等协议工程的核心技术 了解通信软件（协议）开发的特点、过程及采用的技术
熟练使用两种主要的形式化描述语言及其协议开发工具，并能够运用协议工程的技术和方法进行电信协议、计算机网络协议和通信系统软件的开发
重点培养通信软件开发能力和良好的科研素质
北京邮电大学计算机科学与技术学院通信技术中心卞佳丽
教学大纲
第一章协议工程与通信软件概述
1、通信软件与协议
2、协议工程
3、协议的开发过程
第二章协议分析与设计
1、协议分析原理与方法黄宗羲的思想主张
2、协议分析举例——电信协议、计算机网络协议
现代教育管理3、协议设计原理与方法
4、协议设计举例——电信协议、计算机网络协议
第三章协议的形式化描述
此间乐不思蜀
1、形式化描述语言概述
并且用英语怎么说2、MSC
美女头像真实3、SDL
4、协议的形式化描述应用举例
北京邮电大学计算机科学与技术学院通信技术中心卞佳丽
教学大纲（续）
第四章协议验证及实现
1、协议验证技术
2、协议验证举例
3、协议自动实现举例
第五章协议测试
1、协议测试原理
2、协议一致性测试举例
第六章通信软件设计
拼音大写1、通信软件的特点分析
2、通信软件设计的方法
3、通信软件设计举例
北京邮电大学计算机科学与技术学院通信技术中心卞佳丽
考试方式
上机实验：50分
期末考试：50分
联系方式：E-mail: jlbian@bupt.edu
北京邮电大学计算机科学与技术学院通信技术中心卞佳丽
