軟體工程之操作契約

2021-06-16 08:14:18 字數 434 閱讀 7030

操作契約用來定義系統行為,根據領域模型中的物件狀態變化詳細描繪系統的行為;

用例是描述系統行為的模型,但是如果用例沒有描述清楚,則在操作契約中補充。

一般乙個用例有多個操作,乙個操作需要乙個操作契約,

比如:

ssd中有幾個向右的箭頭,就需要幾個操作契約。

不需要每個操作都寫契約,只需要把可能狀態會改變或不清晰的操作寫清即可;

operation: name

cross reference:此操作所屬用例的名字

precondition:在執行此操作前領域模型的物件的狀態

postcondition:物件狀態的變化

postcondition中可以寫:

(1)例項的建立;

(2)關聯的形成;

(3)屬性的修改;

軟體工程之操作契約

操作契約用來定義系統行為,根據領域模型中的物件狀態變化詳細描繪系統的行為 用例是描述系統行為的模型,但是如果用例沒有描述清楚,則在操作契約中補充。一般乙個用例有多個操作,乙個操作需要乙個操作契約,比如 ssd中有幾個向右的箭頭,就需要幾個操作契約。不需要每個操作都寫契約,只需要把可能狀態會改變或不清...

軟體工程之軟體工程管理

乙個好的工程需要配套的管理體系,軟體工程也不列外。軟體工程就我的理解就是對軟體工程的各個階段都一定規範,俗話說 不以規矩,不能成方圓 而這個規矩就由管理來充當。乙個軟體工程管理需要軟體專案計畫 成本估算 進度計畫 風險分析和人員的組織形式 或調動 一 在軟體專案計畫中,專案的任務是研究專案的效能 功...

軟體工程之軟體工程的概述

最近在學軟體工程,但工程分為好多種,那麼怎樣認識這些工程,什麼是軟體?什麼是工程?軟體工程和其他工程的區別又是什麼?軟體 程式設計的最終結果是軟體。軟體是使用者與硬體之間的介面介面。使用者主要是通過軟體與計算機進行交流。軟體是計算機系統設計的重要依據。為了方便使用者,為了使計算機系統具有較高的總體效...