OO第三次總結博客

規格化設計發展史

程序的規格化設計與程序的結構化、模塊化設計密不可分，更是與計算機的發展歷史息息相關。自1940年的面向機器編程到以後的面向過程、面向對象編程，代碼量不斷增長、程序的功能不斷變得複雜。所以在二十世紀六十年代人們提出了程序的結構化與模塊化設計思想，大大下降了程序開發的困難，以後在二十世紀八十年代，爲了提升程序的規範性，人們逐漸開始對程序進行規範化設計，對每一個方法、每一個類進行相應的規格設計，使類和方法的維護更加方便。

規格BUG分析

（僅第九次做業有規格bug）

BUG類別	BUG內容	方法行數
不符合JSF規範	normal拼成了nomal	25
不符合JSF規範	exist加了s	17

至於緣由我就不想多說了，都是淚......

前置條件和後置條件的不規範寫法

（1）使用天然語言

改進：不使用天然語言，改用布爾表達式

（2）MODIFIES出現了的變量，EFFECTS中遺漏

改進：將MODIFIES中出現的變量如何更改在EFFECTS中體現出來

（3）方法中出現了異常沒有在EFFECTS中體現出來

改進：補全EFFECTS

（4）REQUIRES使用了None

改進：使用True或this!=null

（5）筆誤

改進：寫完以後再檢查一遍有沒有單詞拼寫錯誤

功能性BUG

（由於功能性bug和規格bug沒有一絲聯繫就不列表格了）

第九次第十次沒有bug

第十一次：有兩個bug，其一是switch時少打了一個break，致使出租車初始設置爲wait狀態時credit會額外加1；其二是readme所寫內容與代碼實現不符，多是當時寫readme的時候腦子不太清醒吧。

心得體會

規格這個東西在對程序設計的規範性上確實有不少的幫助，但缺點也在於規格的正確與否是主觀因素而不是客觀因素，這就致使測試者與被測試者之間出現分歧，影響了六系的和諧發展。

無論怎麼說，又完成了OO的一個階段，距離真正結課爲時不遠了，仍是值得人們慶賀一下的。