第三单元的三次作业和课程内容，撰写技术博客

针对第三单元的三次作业和课程内容，撰写技术博客

• (1)调研，然后总结介绍规格化设计的大致发展历史和为什么得到了人们 的重视

• (2)按照作业，针对自己所被报告的规格bug以及雷同的规格bug（限于 bug树的限制，对手无法上报），列一个表格分析

      • 规格bug类别（采用bug树上的名称）、每个出现所对应方法的代码行数

• (3)分析自己规格bug的产生原因

• (4)分别列举5个前置条件和5个后置条件的不好写法，并给出改进写法

• (5)按照作业分析被报的功能bug与规格bug在方法上的聚集关系

      • 即给出表格：方法名、功能bug数、规格bug数

• (6)归纳自己在设计规格和撰写规格的基本思路和体会