第四次博客

 第四次博客

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

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

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

正確性論證能從全部的方面給別人展示出正確性，具備很強的邏輯性。

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

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

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

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

不一樣點是變量的類型不一樣，OCL有本身的變量，JSF能夠本身定義變量；

JSF支持更多的運算方式。

3、單電梯圖示

UML圖：

順序圖：

狀態圖：

 

4、學期總結

  4.1  

   這些模塊井井有條，按部就班，相互依賴，逐漸提高咱們的水平，最終讓咱們有很是大的收穫。

  4.2

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

  4.3

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

  4.4

   但願指導書更明確，不要討論來討論去的。