軟件可靠性與質量保證-no3-避錯上

Review：缺陷性等質量指軟件配置證中起重M（和IO000的 件生命。自動34目5內軟件避錯設計原軟件需求分析階6避錯是軟件可錯誤、故障是根本原因——體現(xiàn)預防為主!遏制的必要性和成本也相應降低！ 7需求和設計階段需求分設綜合運行58故障改正費用越晚越故障需求分綜合運行用百分數(shù)57891什么是軟件避錯設計原軟件避錯設計原簡單原同型原對稱原層次原線型原易證原安全原簡單原理是一種 設計階段時模塊規(guī)模應該適中、力爭降低模塊接口同型原理是保持形式一樣的原守統(tǒng)一的需求變更規(guī)范等設計間采用統(tǒng)一的設計描述方法、遵守統(tǒng)一的設編碼需要else分支；還有switch語句每個case語句的結尾了加break，并 記最后那個default支層次原理是形式 描述的原理函數(shù)或程序)根據(jù)線型原理，、、和易證原理是保持程序在邏輯上容易證明的原利用形式化方法應用于程序驗 需 在需求、軟件設計和編碼中，重點考慮以下注意事項和策在需求中不但要給出系統(tǒng)應該做什么，還要給出系統(tǒng)不應做什該這些情況均全面分析臨界區(qū)，防止發(fā)生示“安全”或“”狀態(tài)；其判定條件不得依賴于全“0”或全“1”的輸入2需求階段如何進軟件需求分析階段基本避錯功能需求分析準非功能需求分軟件需求分析階段的工主要解決軟件產(chǎn)品應該“做什么”的問需求包括：功能需求+非功能需 軟件準則A：軟件需求分 必須和用戶密切合準則B：應采用統(tǒng)一的需同型原理要應根據(jù)軟件的特點采用相應的建模方法和工主要方WhichiswhichDFD,ERD,DD,用例圖準則C：自頂向下、逐層分解的方式進行分是簡單原理和層對問題的分解分準則D正確備的特性。完整 “待定（”： 比如：交叉、自的出處并且便于被其它文檔。供其它文檔。準則E準則F：需求變 功能需求分析準準則A：必須全面了解軟件的每一項換算方法，必須說明時間要求、優(yōu)先順序和輸準則A：必須全面了解軟件的每一項 ╳╳╳╳╳╳╳╳╳╳ 準則B：要列出輸入在范圍之外的處理執(zhí)行不同的任務，“操作控制字”為二位BIT，取值當操作控制字為1時，DTPP執(zhí)行上電BIT任務當操作控制字為2時，DTPP執(zhí)行啟動BIT任務準則C：對可能的異常情況，考慮相應 準則D：定義軟件功能所涉及的各種輸出數(shù)據(jù)及生成數(shù)據(jù)的邏輯結構，列出這些數(shù)據(jù)的，說明對數(shù)據(jù)的約束。同時，必須規(guī)定數(shù)據(jù)的要求，說明被數(shù)據(jù)的特性、要求和范準則D：定義軟件功能所涉及的各種數(shù)據(jù)位內說ROM故0非功外部質量功能性可靠性易用性效率性可移植性適合性準確性互操作性安全性成熟性容錯性易恢復性易理解性易學性易操作性吸引性時間特性資源利用易分析性易改變性穩(wěn)定性易測試性適應性易安裝性共存性易替換性功能性的依從性可靠性的依從性易用性的依從性效率的依從性性的依從性可移植性的依從性準則A：須全 有哪些非功能需對于分析來講，太分析通過詢問和了解客戶所要的“友好、健壯、有影響，在性能代價和所提出解決方案的預期利益準則B：定量要求應合理、可達且可定量的度性能最大容量據(jù)傳輸?shù)木纫罂煽啃詼蕜tB：定量要求應合理、可達且可例：以下是一些準則C：對于需要處理避免敏感數(shù)據(jù)的軟件，必須提 性要 一個有關軟件需求的故事職員系統(tǒng)時遇到一問題，一個職員想把 “ 了一個姓Starlight的人嗎?”Phil問道 是這問題，好像我們只能 狀況改變時才能更 ?！爱斎皇沁@樣，我從沒想過誰會莫名其妙地更改自己的 嗎一個有關軟件需求的故事"這并不是錯!我從來不知道你需要處理這種情況。我的一些需求變更請求"(傳來翻閱稿紙)。"我還有別的事。"Maria，你要明白，這不是過錯。"Phil堅持道，"如果 要軟件避