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