1、1北京科銳配電自動化公司北京科銳配電自動化公司自動化事業部自動化事業部21.1.嵌入式軟件設計與驗證演變過程嵌入式軟件設計與驗證演變過程 2.2.軟件的質量屬性軟件的質量屬性3. 3. 軟件驗證方法軟件驗證方法 4. 4. 軟件測試類型及方法軟件測試類型及方法 345671.正確性正確性2.無歧義性無歧義性3.完整性完整性4.一致性一致性5.分級性分級性6.詳細性詳細性7.可追蹤性可追蹤性891011軟件驗證的總目標軟件驗證的總目標 發現軟件生存周期中各種發現軟件生存周期中各種因因素素所引入的錯誤所引入的錯誤。軟件驗證過程的目的軟件驗證過程的目的 檢測和報告在軟件開發過程中檢測和報告在軟件開發

2、過程中可能已形成的錯誤可能已形成的錯誤。121.分析分析2.評價評價3.評審評審4.審查審查5.測試測試131.分析技術：關鍵點、軟分析技術：關鍵點、軟/硬件需求、硬件需求、 風險分析、接口分析風險分析、接口分析2.審查技術：概念、需求、設計、審查技術：概念、需求、設計、 代碼、測試腳本審查代碼、測試腳本審查 審查的目的在于在軟件開發過程審查的目的在于在軟件開發過程中盡可能早的發現問題。中盡可能早的發現問題。14分析、評審、審查方法是最有效的方法分析、評審、審查方法是最有效的方法。測試不是最有效的方法，但是最常用的測試不是最有效的方法，但是最常用的方法，主要在于其易操作性。方法，主要在于其易操

3、作性。測試可以揭示缺陷的存在，但不能表明測試可以揭示缺陷的存在，但不能表明他們不存在；任何測試集都是一種采樣他們不存在；任何測試集都是一種采樣方法。方法。15161.明確測試對象明確測試對象2.定義測試依據定義測試依據3.確定測試標準確定測試標準171.對軟件功能測試，要求覆蓋率對軟件功能測試，要求覆蓋率100%2.系統的每個特性應至少被一個正常系統的每個特性應至少被一個正常測試用例和一個被認可的異常測試測試用例和一個被認可的異常測試用例所覆蓋；用例所覆蓋；3.測試用例的輸入應至少包括有效數測試用例的輸入應至少包括有效數據、無效數據和變節數據等；據、無效數據和變節數據等；4.應測試軟件功能之間

4、及功能與硬件應測試軟件功能之間及功能與硬件之間的接口；之間的接口；185.按軟件規格說明，測試軟件的安全按軟件規格說明，測試軟件的安全性，性， 包括數據存儲、數據訪問、數包括數據存儲、數據訪問、數據傳輸過程的安全性；據傳輸過程的安全性；6.應測試軟件功能模塊的輸出數據及應測試軟件功能模塊的輸出數據及格式；格式；7.應測試在邊界狀態和異常狀態下，應測試在邊界狀態和異常狀態下，軟件系統的功能和性能；軟件系統的功能和性能；8.應測試軟件的人機交互操作，包括應測試軟件的人機交互操作，包括正常、非正常、誤操作以及快速操正常、非正常、誤操作以及快速操作時軟件的反應能力及容錯性、作時軟件的反應能力及容錯性、

5、19 可靠性和安全處理能力。可靠性和安全處理能力。9.應測試軟件的顯示功能，包括正常、應測試軟件的顯示功能，包括正常、非正常、誤操作及快速操作時的顯非正常、誤操作及快速操作時的顯示能力；示能力；10.應測試系統全部存儲量、輸入應測試系統全部存儲量、輸入/輸出輸出通道和處理時間的余量；通道和處理時間的余量；11.應對應對A、B級軟件的功能和性能進行級軟件的功能和性能進行強度測試；強度測試；2012.應測試設計中用于提高系統安全性應測試設計中用于提高系統安全性 、可靠性的結構、算法、容錯、冗、可靠性的結構、算法、容錯、冗 余、中斷處理等；余、中斷處理等；13.對對A、B級軟件系統，應對其進行安級軟件系統，應對其進行安全分析，明確每一個危險狀態和導全分析，明確每一個危險狀態和導致危險的可能原因，并對此進行針致危險的可能原因，并對此進行針對性的測試；對性的測試；14.應測試軟件的恢復、重置功能和平應測試軟件的恢復、重置功能和平均恢復時間。均恢復時間。21221.功能測試功能測試2.接口測試接口測試3.安全測試安全測試4.容量測試容量測