一、用例(Use Case)框架
(1)概念:用例是軟件工程或系統工程中對系統如何反應外界請求的描述,是一種經過用戶的使用場景來獲取需求的技術。工具
(2)做用:每一個用例提供了一個或多個場景,該場景說明了系統是如何和最終用戶或其它系統互動,也就是誰能夠用系統作什麼,從而得到一個明確的業務目標。測試
(3)注意點:編寫用例時要避免使用技術術語,而應該用最終用戶或者領域專家的語言。spa
(4)用例通常是由軟件開發者和最終用戶共同創做的。3d
二、用例建模的步驟blog
(1)肯定參與者事件
參與者:存在於系統外部,與系統交互的人、硬件和其餘系統開發
肯定方法:回答下列問題it
a.系統開發完成後,有哪些人會使用這些系統?軟件
b.系統在使用過程當中須要從哪些人或者系統中得到數據?
c.系統須要爲哪些人或者系統提供數據?
d.系統與哪些系統具備關聯性?
e.系統由誰進行維護和管理?
(2)肯定用例
用例:考察每一個參與者與系統的交互和須要系統提供的服務
一般規則:用例應該典型地描繪系統的某個功能從開始到結束的過程
肯定方法:針對每個參與者,回答下列問題
a.參與者爲何要使用這個系統?
b.參與者是否會在系統中建立、修改、刪除、訪問、存儲數據?若是是,參與者是如何完成這些操做的?
c.參與者是否會將外部的某些事件通知給該系統?
d.系統是否會將內部的某些事件通知該參與者?
(3)識別參與者和用例之間的關係,繪製和檢查用例圖
(4)細化每一個用例的用例規約
包括:簡要說明、事件流、特殊需求、前置和後置條件
(5)用例模型檢查
包括:功能需求的完備性、模型是否易於理解、是否存在不一致性、避免二義性語義
2、項目需求
一、工程實踐題目:智能合約的工具調研
二、項目需求:對目前流行的智能合約領域的分析、測試、驗證等相關工具或者框架展開調研,主要內容包括工具類型、可檢測到的漏洞種類、工具開發語言、存在的不足及改進方法,選取其中兩個工具進行完善,開發一個系統進行以上內容的整合。
3、用例圖
一、系統用例
二、工具用例——以Slither爲例