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