?第四次博客

一、測試與正確性論證的比較

測試具有針對性，能從一些方面完美的展現出代碼的正確性，但是它的驗證度取決于樣例的質量。

優點是方便，快捷，結果明顯；缺點是可能不會覆蓋到方方面面。

正確性論證能從所有的方面給別人展現出正確性，具有很強的邏輯性。

優點是全面，說服力好；缺點是比較麻煩，而且論證可能出錯。

二、OCL語言與JSF規格的比較

對象約束語言簡稱OCL（Object Constraint Language）。它是用來進行約束定義的，形式化的無二義的語言。

這兩種語言的相同點是都是形式化的語言，都沒有二義性；

不同點是變量的類型不同，OCL有自己的變量，JSF可以自己定義變量；

JSF支持更多的運算方式。

三、單電梯圖示

UML圖：

順序圖：

狀態圖：

?

四、學期總結

??4.1 ?

???這些模塊層次分明，循序漸進，相互依賴，逐漸提升我們的水平，最終讓我們有非常大的收獲。

??4.2

???自己從最開始只能寫出面向過程的java程序，到最后能寫出具有良好功能的面向對象程序，從設計上，具有了更好的設計思路，測試上，具有了更全面的測試，質量上完成度也更高，有極大的進步。

??4.3

???我對工程化開發的理解是，它能極大的規范化我們的編程，讓我們在設計思路以及正確性上都有較大的提高，是非常值得推廣的。

??4.4

???希望指導書更明確，不要討論來討論去的。

轉載于:https://www.cnblogs.com/Arsenalgooner/p/9224130.html

總結

以上是生活随笔為你收集整理的第四次博客的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。