oo第四次博客做業

oo第四次博客做業

 

一,測試與正確性論證比較
1.測試的結果是絕對正確的,可是正確性認證可能由於人爲疏忽致使論證正確了,可是實際是錯誤的.
2.測試的結果是片面的,測試只能說明當前運行的一部分程序是正確的,或者說該輸入對應的輸出是正確的,而不能證實程序是絕對正確的.
3.在將來添加新的功能時,利用正確性論證能夠快速的證實我新添加的這部分功能運行的正確性,而測試則不能保證這點.
4.正確性論證雖然對於寫程序的人來講,是比較易讀的,可是對於讀代碼的人來講,自己讀代碼就是很累人的工做了,還要對應代碼去讀正確性論證,要是原本程序是絕對正確的還好,要是藏了什麼bug,而正確性論證又沒有發現,那麼極可能讀代碼的人也會發現不到bug.而測試則能保證當別的程序員要使用代碼時,能徹底相信某部分的功能是正確的.
二,OCL語言與JSF規格的比較
OCL和JSF都是對於程序設計上的約束.
不一樣點在於OCL更加嚴謹,OCL使用了一系列規範且多樣的符號系統提供給程序員用於表達,代價就是須要付出大量的時間去學習和使用,相比之下,jsf使用起來就比較簡單快捷了.帶來的反作用就是因爲符號系統的不足,不少程序的表達上比較困難.
3、單電梯系統結構梳理
1,uml類圖

2,順序圖

 

 

3,狀態轉換圖

 

四,總結
1,關係
承上啓下
2,進步
從一開始對於面向對象一竅不通,到碼了上千行面向對象代碼,對於面向對象有了必定的瞭解
3,工程化開發
經過代碼規範,程序間接口的規範來是大型項目開發的過程當中更加合理,出現更少的bug,或者更快的找到bug
4,對課程的指望
但願不要再先難後易了,對於我這種徹底沒接觸過面向對象的人來講,一開始寫的代碼就是一團糟,更慘的是,我不只要把這坨東西反覆再添加兩遍,還要再論證它三遍.但願可以由易入難,從代碼規範開始,慢慢寫出好代碼.