軟體工程（六）

標籤：

資料正常化
通常用範式定義消除資料冗餘的程度。
1）第一範式
2）第二範式
3）第三範式

狀態轉換圖
狀態轉換圖通過描繪系統的狀態及引起系統狀態轉換的事件，來表示系統的行為。
狀態：
狀態是任何可以被觀察到的系統行為模式，一個狀態代表系統的一種行為模式。
事件：
事件是某個特定時刻發生的事情，它是引起系統做動作或狀態轉換的控制資訊。

舉例：

層次方框圖：
層次方框圖用樹形結構的一系列多層次的矩形框描繪資料的階層。

Warnier圖
Warnier圖也用樹形結構描繪資訊，但是這種圖形工具比層次方框圖提供了更豐富的描繪手段。

IPO圖
IPO圖是輸入/處理/輸出圖。是IBM公司發展的

驗證軟體需求
驗證軟體需求的正確性
1）一致性：所有需求必須一致
2）完整性：規格說明書包括使用者需要的每個功能和效能。
3）現實性：硬體技術和軟體技術可以實現。
4）有效性：確實能解決使用者面對的問題。

驗證軟體需求的方法
1）驗證需求的一致性
人工技術審查驗證
2）驗證需求的現實性
經驗
模擬或效能類比技術
3）驗證需求的完整性和有效性
通過試用原型系統

用於需求分析的軟體工具
用於需求分析的軟體應該滿足下列要求：
1）必須有形式化的文法
2）使用這個軟體工具能夠匯出詳細的文檔
3）必須提供分析規格說明書的不一致性和冗餘性的手段
4）使用這個軟體工具後，應該能夠改進通訊狀況

RSL（需求陳述語言）：資訊集→ASSM(抽象系統)→PASCAL類比程式
PSL/PSA（問題陳述語言/問題陳述剖析器）系統

歡迎關注我的個人訂閱號

每天多學一點0.0

軟體工程（六）