通信协议软件设计

评价1

• 任课教师: 雷友珣
• 推荐等级: 天坑
• 授课内容: 理论：SDL协议描述语言、Promela协议验证语言、Unix通信协议实现原理；实践：用SDL描述停等协议、用Promela语言实现并验证之前的协议、用高级语言模拟协议通信过程
• 考核方式: 三次大实验 + 闭卷考试
• 作业情况: N次理论作业、3次大实验
• 成绩情况: 0-100（是多少就是多少，跳跳雷绝对不会抬你一手）
• 心得体会: 教的理论在计算机网络里基本都学过了，而且实践技术实用性差，慎重考虑。
• 其他方面: 实验一个个验收，能给你验出三周来，可能还会耽误你其他事儿，我们当时第三组验都等了差不多一节课的时间。理论作业会叮嘱助教查重，不知道用了什么仙术，比论文网站查重都细致，发现重复两人直接重做。以后论文查重可以找老雷人肉查重，这课咱就先别选了。还有，考试不会给任何范围，每页PPT都是重点（一个PPT多的有一两百页）
  
  

---

评价2

• 任课教师: 雷友珣
• 推荐等级: 一般推荐
• 授课内容: 理论:协议描述：ProgemaDev软件、SDL语言、协议验证：Promela、Linux协议栈的实现（主要是网络层到传输层）；实践：三个实验对应前面三个，见上面
• 考核方式: 闭卷
• 作业情况: 三次理论作业，三次实验，对应协议描述、验证、实现（其中实现的部分基本时间不太够了所以做多少交多少）
• 成绩情况: 成绩与你的付出基本正比，雷老师的特点是很认真，如果你学的确实很好，会帮你冲分
• 心得体会: 雷老师是少有的对待课程如此认真的老师，从计网和通信协议软件设计都能看出来。技术确实不是一个大方向，比较细，所以对以后帮助不是很大。但是你会在第一个实验非常深入的理解什么叫协议，以及滑动窗口协议。
• 其他方面: 雷老师人肉查重是真的。不过重点是第一个实验，后两个内容（验证和实现）考的不多，实现方面期末就考了几分（虽然ppt一百多页）
•