OO第四次總結

測試與正確性論證的效果差別

• 測試就是利用正確的數據集去對比本身程序的輸出，咱們寫程序，大部分時間都是用測試來驗證本身程序的正確性，測試簡單方便，直接就能很快地構造出一兩組測試數據來進行相應地測試。通常可以直接找到程序中存在的低級錯誤，可是測試須要用大量的數據來達到覆蓋率等保證程序不出錯。
• 正確性論證可以保證論證程序的正確，經過邏輯來對程序進行相應的論證，可信度高並且嚴密度好。可是須要在正確性論證上花費較多的時間，論證起來難度較大。

OCL語言與JSF規格的比較

• OCL是基於數學的，但沒有使用數學符號，OCL是強類型的，聲明式的語言，因此與JSF語言相比較，OCL更加規範，更容易判斷正確與否
• OCL的類型與框架與JSF類似
  • 1）不變量是在屬性的生命期內一直保持爲真的規則。
  • 2）前置條件是在一個操做被調用時必須爲真的約束。它是一個斷言，不是可執行語句。
  • 3）後置條件就是在操做完成時必須爲真的約束。它不是可執行語句而是斷言，必須爲真。

  • 4）監護規則是在對象可以從一種狀態轉變爲另外一種狀態前其值必須爲真的約束。

    類圖

時序圖

狀態圖

整理

• 四個單元模塊之間的關係
  • 第一個單元介紹了面向對象的基礎如繼承，多態等，爲以後構建複雜的系統打下基礎
  • 第二單元爲複雜的多線程程序設計，在第一個單元之上加深了對編碼的要求
  • 第三單元引入規格化設計，爲規範編碼打下基礎
  • 第四單元爲正確性論證，讓咱們加深了對程序正確性的理解
• 工程化開發，加深了對做業進行模塊化設計，對各個模塊進行模塊化測試等相關內容的認識
• 課程建議，建議減輕同窗的負擔，學到的東西可能沒有老師們想象得那麼多