?第四次博客

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

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

優(yōu)點(diǎn)是方便，快捷，結(jié)果明顯；缺點(diǎn)是可能不會覆蓋到方方面面。

正確性論證能從所有的方面給別人展現(xiàn)出正確性，具有很強(qiáng)的邏輯性。

優(yōu)點(diǎn)是全面，說服力好；缺點(diǎn)是比較麻煩，而且論證可能出錯(cuò)。

二、OCL語言與JSF規(guī)格的比較

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

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

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

JSF支持更多的運(yùn)算方式。

三、單電梯圖示

UML圖：

順序圖：

狀態(tài)圖：

?

四、學(xué)期總結(jié)

??4.1 ?

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

??4.2

???自己從最開始只能寫出面向過程的java程序，到最后能寫出具有良好功能的面向?qū)ο蟪绦?#xff0c;從設(shè)計(jì)上，具有了更好的設(shè)計(jì)思路，測試上，具有了更全面的測試，質(zhì)量上完成度也更高，有極大的進(jìn)步。

??4.3

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

??4.4

???希望指導(dǎo)書更明確，不要討論來討論去的。

轉(zhuǎn)載于:https://www.cnblogs.com/Arsenalgooner/p/9224130.html

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。