【正文】 有效性 ： 必須證明需求是正確有效的，確實(shí)能解 決用戶面對(duì)的問(wèn)題。 在狀態(tài)圖中定義的狀態(tài)主要有：初態(tài)（即初始狀態(tài)，最多一個(gè)）、終態(tài)（即最終狀態(tài)， 0至多個(gè)）和中間狀態(tài)。 聯(lián)系 客觀世界中的事物彼此間是有聯(lián)系的，例如教師與課程間存在 ‘ 教 ’ 這種聯(lián)系，學(xué)生與課程間存在‘ 學(xué) ’ 這種聯(lián)系 。 數(shù)據(jù)要求： 主要包括數(shù)據(jù)字典、描繪數(shù)據(jù)結(jié)構(gòu)的層次方框圖或 Warnier圖。 情景分析技術(shù)的用處主要體現(xiàn)在下述兩個(gè)方面： ? 它能在某種程度上演示目標(biāo)系統(tǒng)的行為，從而便于用戶理解，而且還可能進(jìn)一步揭示出一些分析員目前還不知道的需求。 5. 接口需求 接口需求描述應(yīng)用系統(tǒng)與它的環(huán)境通信的格式。例如，在任何時(shí)候主機(jī)或備份機(jī)上的雷達(dá)系統(tǒng)應(yīng)該至少有一個(gè)是可用的，而且在一個(gè)月內(nèi)任何一臺(tái)計(jì)算機(jī)上該系統(tǒng)不可用的時(shí)間不能超過(guò)總時(shí)間的 2%以上。 訪談?dòng)袃煞N基本形式，分別是正式的和非正式的。 （簡(jiǎn)稱為狀態(tài)圖），指明了作為外部事件結(jié)果的系統(tǒng)行為。例如，學(xué)生的學(xué)號(hào)、姓名等。 表示方式： 實(shí)體型 1 聯(lián)系名 實(shí)體型 2 1 1 1:1聯(lián)系 實(shí)體型 1 聯(lián)系名 實(shí)體型 2 m n m:n聯(lián)系 實(shí)體型 1 聯(lián)系名 實(shí)體型 2 1 n 1:n聯(lián)系 例子： 教師 教 1 m n n 學(xué)生 課程 學(xué) 工號(hào) 職稱 職務(wù) 性別 姓名 學(xué)號(hào) 系 年級(jí) 性別 姓名 成績(jī) 學(xué)時(shí) 學(xué)分 課名 課程號(hào) 圖 某校教學(xué)管理 ER圖 狀態(tài)轉(zhuǎn)換圖 狀態(tài)轉(zhuǎn)換圖（狀態(tài)圖）通過(guò)描繪系統(tǒng)的狀態(tài)及引起系統(tǒng)狀態(tài)轉(zhuǎn)換的事件來(lái)表示系統(tǒng)的行為。 IPO圖中還用類似向量符號(hào)的粗大箭頭清楚地指出數(shù)據(jù)通信的情況 舊的 主文件 事務(wù)文件 主記錄 事務(wù)記錄 主記錄 有效的 主記錄 有效的 事務(wù)記錄 更新后 的主文件 輸入 處理 輸出 圖 IPO圖的一個(gè)例子 IPO表 系統(tǒng)： ____________ 作者： _________ 模塊： ____________ 日期： _________ 編號(hào)： ____________ 注釋： 被調(diào)用： 調(diào)用： 輸入： 輸出： 處理： 局部數(shù)據(jù)元素： 圖 改進(jìn)的 IPO圖的形式 驗(yàn)證軟件需求 從哪些方面驗(yàn)證軟件需求的正確性 一般說(shuō)來(lái)，應(yīng)該從下述四個(gè)方面進(jìn)行驗(yàn)證： 一致性 ： 所有要求必須是一致的，任何一條需求 不能和其他需求互相矛盾。 （ 3）必須提供分析（測(cè)試）規(guī)格說(shuō)明書的不一致性和冗余性的手段，并且應(yīng)該能夠產(chǎn)生一組報(bào)告指明對(duì)完整性分析的結(jié)果； （ 4）使用這個(gè)軟件工具之后，應(yīng)該能夠改進(jìn)通信狀況。簡(jiǎn)而言之，事件就是引起系統(tǒng)做動(dòng)作或（和）狀態(tài)轉(zhuǎn)換的控制信息。記為 1:1。 補(bǔ)充 ： 軟件需求規(guī)格說(shuō)明大綱 一、引言 二、信息描述 2 .數(shù)據(jù)結(jié)構(gòu)表示 3 .數(shù)據(jù)字典 4 .系統(tǒng)接口描述 5 .內(nèi)部接口 三、功能描述 1 .功能 2 .處理解說(shuō) 3 .設(shè)計(jì)約束 四、有效性