航天嵌入式軟件測試用例典型設計缺陷研究

摘要：作為動態測試充分性的基本評價指標,覆蓋率分析只能幫助修正因輸入不足而導致的測試用例設計缺陷;針對航天嵌入式軟件測試過程中不影響覆蓋率統計結果的用例設計缺陷,從測試步驟和預期結果兩大測試用例核心要素開展研究,提出十個典型缺陷,分別予以分析,并進行缺陷修正;工程實踐證明,這些缺陷的發生率高,具有典型性;修正這些缺陷后,可以有效檢出軟件設計缺陷;與用例執行后的覆蓋率統計數據分析相結合,可以有效提高測試充分性。