第四次OO總結

比較測試和正確性論證的效果

---

 第13次做業是針對ALS電梯進行方法規格的測試，來判斷方法運行的結果是否符合預期，是一種直觀的驗證錯誤的辦法，可是不能確保程序徹底正確，不過相比平時用的測試方法，這樣效率更高更容易找到錯誤；而第14次做業的正確性論證實際上是從理論上證實邏輯的完備性，從而證實程序的正確性，在寫論證的過程當中會再一次思考規格是否是有漏洞，程序的設計和一直懶得de的bug是什麼地方出現了問題。儘管我不認爲本身在這兩次做業中花了足夠的時間深思熟慮了，個人代碼仍是獲得了一些改善。

 

比較OLC語言和JSF規格

---

 OCL(object constraint language)對象約束語言，做爲圖形符號的補充，說明建模元素的有關細節，例如約束前置條件、後置條件，是一種形式化的無二義語言。基本要素有：類型、操做、表達式和語句。相比JSF規格，OCL語言更爲複雜，由於其定義了數據類型還有運算符和表達式中的一些書寫規範，能夠稱之爲是一種編程語言。

能夠說，JSF是更自由的OCL，便於書寫、更改和閱讀。

 

UML

---

 

 

 

 

 

 

 

整理&總結

---

 

1. 知識點的關聯

若是我說我能找到的關聯是這些我都不會，算不算一種微妙的聯繫？我感受這四個單元是一個碼農的生活縮影，從初學語言到簡單的應用，再到結合實際的多線程部分，考慮更多的實際問題和線程安全問題以及最後的應用前的測試和規範書寫。不可思議我也硬着頭皮堅持下來了，雖然說我常把「我與Java的最後幾周」掛在嘴邊，可仍是以爲這個經歷很過癮也頗有成就感。

2. 進步

我以爲通過了這個學期，像是扒了幾層皮，雖然說bug仍是讓我摸不着頭，起碼也能本身搞一搞不crash，能解決幾個問題。在程序設計上，不像開始的時候很難想到一個思路進行下去，逐漸的能夠很快理清關係。測試一直很懶，不過代碼思路清楚一些仍是會避免錯誤的發生。

3. 工程化開發

相比於工程化開發，我以爲思考思考如何出道更現實一點（開玩笑）可是不出意外的話，工程化開發跟我沒什麼關係hhh

4. 建議

但願之後追加什麼要求或者修改什麼地方可以更新指導書，不過更好的是發佈了指導書不要再進行什麼修改了，真的會讓人不太開心

5. 套路感謝

吳際老師比想象中和善可親一萬倍，是個很是善解人意的老師，儘管我ifttt最後仍是放棄了，這也讓我以爲挺很差意思的，謝謝老師的理解！

還要謝謝助教小姐姐，每次我千奇百怪的問題她都很及時的回答我，固然還有那次提交不上去與死（馬）神助教對話，很感謝大家的幫助！

emmm還有被我騷擾的大佬們，深夜分享思路的sz大帝，覆蓋性測試救我一命的先哥，還有個很皮的小弟（做用十分微小）和收拾爛攤子還要哄個人pq學長~

最後嘛還要謝謝好幾回哭着說不寫了最後仍是堅持下來的本身（賣個萌）之後也要加油

ps. 不可思議這居然是我爲了OO熬得最晚的一次