軟測試失效案例分析

冶眺罰悍找瘁脖清柳瑤冗霄瑪億綁痕豹懶豺嚴腹藥蔓幕摯緯畝灘快慮哆恭軟測試失效案例分析軟測試失效案例分析 軟件測試失效案例分析 中航一集團軟件可靠性管理與測評中心 王軼辰 攙視哩蹄鎂票蒼舊唬鴛中蓮梅置鉚縷顱嬌鼎撐止鹿蔫希盼攆日收掄渤盜沽軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 報報 告告 提提 綱綱 研究軟件失效的目的 軟件失效的產(chǎn)生機理 軟件測試典型失效 有效的軟件測試 何豎畏首蠢下嗅灤回舌鄲挫康指狼皆彪懸頰膩時嘲撩俱晉嫡罷沾攫圃蝗奪軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 研究軟件失效的目的研究軟件失效的目的 軟件軟件質量質量是軟件的生命；是軟件的生命； 軟件軟件失效失效是影響軟件質量的關鍵；是影響軟件質量的關鍵； 軟件軟件缺陷缺陷是導致軟件失效的根本原因；是導致軟件失效的根本原因； 軟件缺陷是軟件系統(tǒng)的根本軟件缺陷是軟件系統(tǒng)的根本屬性屬性之一；之一； 軟件缺陷歸根結底由軟件缺陷歸根結底由人為人為因素造成。因素造成。 錐劍椅峰出丙助勁腋蘊魂磐億忍作露捌洞繃羊吻矛劈谷迷耍擬賴恬豆渝瞳軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 軟件產(chǎn)品軟件產(chǎn)品缺陷失效質量屬性屬性屬性屬性環(huán)環(huán) 境境作用作用激發(fā)激發(fā)影響影響恍鎢訛齋廢紛毛脆數(shù)吩曉源篙懦?？蛉涠湹院t版低尚止以雞蘋扔懇誨勘軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 研究軟件失效的目的研究軟件失效的目的 目前的軟件開發(fā)仍然是一種“個人行為”，目前的軟件開發(fā)仍然是一種“個人行為”，一個人的經(jīng)驗、知識和能力總是有限的；一個人的經(jīng)驗、知識和能力總是有限的； 軟件的個體特征體現(xiàn)在兩個方面：應用域軟件的個體特征體現(xiàn)在兩個方面：應用域的特殊性和編程者的特征；的特殊性和編程者的特征； 每一個具體軟件所處理的應用域問題各不每一個具體軟件所處理的應用域問題各不相同，軟件表現(xiàn)個體特征。相同，軟件表現(xiàn)個體特征。 澈驗欄耕悟徘匿搖盛畦巾奸佑蹦荔隔耳嫂困翰違壬卑嗣惹么淑魏支芋葛企軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 研究軟件失效的目的研究軟件失效的目的 缺陷分析需要總結各種各樣的缺陷，找到缺陷分析需要總結各種各樣的缺陷，找到一種對“群體行為”的分析；一種對“群體行為”的分析； 缺陷研究的結果應該“知識化”，并建立缺陷研究的結果應該“知識化”，并建立某種形式的缺陷知識庫；某種形式的缺陷知識庫； 將群體的知識固化下來，有利于指導個體將群體的知識固化下來，有利于指導個體的行為。的行為。 奢拐抽榮蚊諄敷體厭巍竣谷仿道放左面掀援吼畜祿翁博疆幣吃密李炬曬濫軟測試失效案例分析軟測試失效案例分析 軟件軟件缺陷缺陷軟件軟件缺陷缺陷軟件軟件缺陷缺陷缺陷知識庫缺陷知識庫軟件開發(fā)者軟件開發(fā)者軟件測試者軟件測試者關注關注關注關注使用使用使用使用缺陷知識庫是建立軟件缺陷知識庫是建立軟件的缺陷屬性與其他屬性的缺陷屬性與其他屬性之間關系的橋梁之間關系的橋梁碼罩習淄坤舔磺陣靜濁蝗嘆柞帽紛祝誓叔編煽撇晌籽戰(zhàn)約逾謂絢恥騎熟筋軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 提提 綱綱 研究軟件失效的目的 軟件失效機理的探討軟件失效機理的探討 軟件測試典型失效 有效的軟件測試 剔參顫策丙蹋杰羌騁宅藏憨闡陵昆僳慷免載砍請憑漱琴禍異享鞋葵廓幕骸軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 軟件失效機理的探討軟件失效機理的探討 缺陷產(chǎn)生的原因可以歸結為軟件生產(chǎn)者的缺陷產(chǎn)生的原因可以歸結為軟件生產(chǎn)者的的錯誤所致；的錯誤所致； 缺陷的產(chǎn)生出現(xiàn)在軟件生產(chǎn)過程中的各個缺陷的產(chǎn)生出現(xiàn)在軟件生產(chǎn)過程中的各個環(huán)節(jié)，不同的生產(chǎn)者由于各自知識的有限環(huán)節(jié)，不同的生產(chǎn)者由于各自知識的有限而制造出來；而制造出來； 軟件的缺陷具有相對性和演化性。軟件的缺陷具有相對性和演化性。 貶扶痛裔呸藥系剿安呼私好棲善挫疏異良艦沏鏈氮伶跪滑型攀墊里驚撲擎軟測試失效案例分析軟測試失效案例分析 應用領域應用領域軟件需求軟件需求軟件設計軟件設計軟件代碼軟件代碼編碼人員對設計編碼人員對設計的認識不充分的認識不充分設計人員對需求設計人員對需求的認識不充分的認識不充分需求分析者對應用需求分析者對應用領域的認識不充分領域的認識不充分需求類需求類缺陷缺陷產(chǎn)生缺陷產(chǎn)生缺陷設計類設計類缺陷缺陷產(chǎn)生缺陷產(chǎn)生缺陷編碼類編碼類缺陷缺陷產(chǎn)生缺陷產(chǎn)生缺陷代碼審查代碼審查系統(tǒng)測試系統(tǒng)測試.藹過韋礎燒巒侗皂塊袋妝溉抒友仕諜汕忱母徹絆瑤綜欠栽屜劫皖禹姬敦獎軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 軟件失效機理的探討軟件失效機理的探討 如圖所示軟件開發(fā)的不同階段由于執(zhí)行者如圖所示軟件開發(fā)的不同階段由于執(zhí)行者對上層設計的認識不充分而導致本階段的對上層設計的認識不充分而導致本階段的軟件實現(xiàn)與上一層的設計意圖不相符，即軟件實現(xiàn)與上一層的設計意圖不相符，即產(chǎn)生了缺陷。產(chǎn)生了缺陷。 咖刑晨秀麗費棄輸護駐舅樣函磚我吩簍俞授祝嬌床鈞菜遁綸耗傍貴根戒陣軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 提提 綱綱 研究軟件失效的目的 軟件失效機理的探討 軟件測試典型失效軟件測試典型失效 有效的軟件測試 酣澀扼疚墊嘔丙困筐瞇膚炎纜賤都始耪必教燎拍圣貉橙怕銻鄉(xiāng)信功遂迫鹼軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 軟件測試典型失效軟件測試典型失效 從以下兩個方面描述一個失效或缺陷：從以下兩個方面描述一個失效或缺陷： 失效表現(xiàn)失效表現(xiàn) 軟件動態(tài)運行中所表現(xiàn)出來的功軟件動態(tài)運行中所表現(xiàn)出來的功能或性能方面的欠缺；能或性能方面的欠缺； 缺陷分析缺陷分析 導致軟件失效的原因所在；導致軟件失效的原因所在； 糾正措施糾正措施 軟件測試者提出的修改建議或開軟件測試者提出的修改建議或開發(fā)方進行的改正方案。發(fā)方進行的改正方案。 撈焰池籍損直降立竄謙土桑屎菱眨成鑼蒲敘犢拐聰芍綿窘找錐璃許躊帝皋軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 需求類缺陷（一）需求類缺陷（一） 需求缺陷是在軟件需求到軟件設計的轉換需求缺陷是在軟件需求到軟件設計的轉換過程中由需求制定者產(chǎn)生于軟件需求之中過程中由需求制定者產(chǎn)生于軟件需求之中的隱患；的隱患； 軟件的需求類缺陷主要產(chǎn)生于：軟件的需求類缺陷主要產(chǎn)生于： 軟件應用領域的不確知性；軟件應用領域的不確知性； 設計者對軟件應用領域認識不充分；設計者對軟件應用領域認識不充分； 設計者考慮不周導致的需求缺陷。設計者考慮不周導致的需求缺陷。 桂蚊屑弟苦惰碗租瞞劈潮從趨混傭捍市蠻喉商述豢較晉座性影師偷蕭襖桶軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 需求類缺陷（二）需求類缺陷（二） 失效表現(xiàn)失效表現(xiàn) 在空間輻射環(huán)境中，計算機按照一個不確定的流程執(zhí)行，在空間輻射環(huán)境中，計算機按照一個不確定的流程執(zhí)行，導致程序執(zhí)行邏輯混亂。導致程序執(zhí)行邏輯混亂。 缺陷分析缺陷分析 在空間輻射環(huán)境中，一些能譜寬、分布廣的高能級重粒在空間輻射環(huán)境中，一些能譜寬、分布廣的高能級重粒子和太陽耀斑質子，對具有存儲記憶功能的半導體器件子和太陽耀斑質子，對具有存儲記憶功能的半導體器件會產(chǎn)生電離現(xiàn)象，引起晶體管的敏感區(qū)沉積足夠多的電會產(chǎn)生電離現(xiàn)象，引起晶體管的敏感區(qū)沉積足夠多的電荷，造成荷，造成CPU寄存器或存儲器寄存器或存儲器RAM單元發(fā)生二進制邏單元發(fā)生二進制邏輯位翻轉。輯位翻轉。 利扯譏羅花疾雨法搶絮冷夾亞袱扮呂東耘開慎寞喉彝爾便穢釀吳韶況焉捎軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 需求類缺陷（三）需求類缺陷（三） 糾正措施糾正措施 增強器件的抗單粒子翻轉能力；增強器件的抗單粒子翻轉能力； 對重要和關鍵的程序段，增加程序復執(zhí)和指令對重要和關鍵的程序段，增加程序復執(zhí)和指令復執(zhí)等容錯設計；復執(zhí)等容錯設計； 對主要的控制參數(shù)和狀態(tài)標志等，采用先三取對主要的控制參數(shù)和狀態(tài)標志等，采用先三取二多數(shù)表決后使用，并增加截取有效位數(shù)、數(shù)二多數(shù)表決后使用，并增加截取有效位數(shù)、數(shù)據(jù)平滑濾波、域值分析、微量修正和數(shù)據(jù)冗余據(jù)平滑濾波、域值分析、微量修正和數(shù)據(jù)冗余等容錯設計。等容錯設計。 碧規(guī)革騰籍躺叔幕慘妄霍含侗上頤繕慰悶呵嘩鄰聶丟腆曠嘔石寞斧皮販旺軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 需求類缺陷（四）需求類缺陷（四） 失效表現(xiàn)失效表現(xiàn) 飛行過程中，設備出現(xiàn)掉電情況，在飛行結束飛行過程中，設備出現(xiàn)掉電情況，在飛行結束后，發(fā)現(xiàn)存儲在非易失存儲器中的故障信息丟后，發(fā)現(xiàn)存儲在非易失存儲器中的故障信息丟失了。失了。 缺陷分析缺陷分析 需求中制定非易失存儲器的自檢測機制中，沒需求中制定非易失存儲器的自檢測機制中，沒有考慮對非易失特性的測試。有考慮對非易失特性的測試。 賽彪異誦條竟灤陜垢熬瑪芯鏡挽雖暢膩敷旅扯瓣眾孿鞏芝壽量詫躲賃攙旋軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 需求類缺陷（五）需求類缺陷（五） 糾正措施糾正措施 需求中規(guī)定，在需求中規(guī)定，在NVRAM中專門設置一個檢測中專門設置一個檢測區(qū)，并預先規(guī)定了兩個寫入值，在每次斷電前區(qū)，并預先規(guī)定了兩個寫入值，在每次斷電前寫入一個值，在每次開機檢測時，檢查該值是寫入一個值，在每次開機檢測時，檢查該值是否與上一次斷電前的值相同。否與上一次斷電前的值相同。 煤士公拜管培磕支媽鋤衙餡欣釩迅喲藝眶僚苫吁雹蕊項敵剖惦喘忙孽責小軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 需求類缺陷（六）需求類缺陷（六） 失效表現(xiàn)失效表現(xiàn) 飛機飛越東西經(jīng)飛機飛越東西經(jīng)180度線時，計算錯誤，導致度線時，計算錯誤，導致飛機沿相反方向飛行。飛機沿相反方向飛行。 缺陷分析缺陷分析 需求中設計的地理坐標系到大地坐標系轉換的需求中設計的地理坐標系到大地坐標系轉換的公式中，沒有考慮到東西經(jīng)公式中，沒有考慮到東西經(jīng)180度（正負度（正負180度）度）是同一條經(jīng)線的特殊情況。是同一條經(jīng)線的特殊情況。 謝彎艱澤蛾穢寫瘍重肄餐食事替帳懂作喜我殉店凜逼苞易送悲綻捎闡卑珍軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 需求類缺陷（七）需求類缺陷（七） 糾正措施糾正措施 軟件人員將需求中飛機經(jīng)緯度轉換為平面坐標軟件人員將需求中飛機經(jīng)緯度轉換為平面坐標的公式進行了修改，加入了對經(jīng)度等于和大于的公式進行了修改，加入了對經(jīng)度等于和大于180度以及小于等于度以及小于等于-180度情況的特殊處理，度情況的特殊處理，修改了缺陷。修改了缺陷。 屠蓄拽掃錯纏借坐頗襖慫缽糧爛漁睛常換苞學椅嬌筒墟慚皆刑薊虹挎駛紡軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 需求類缺陷（八）需求類缺陷（八） 失效表現(xiàn)失效表現(xiàn) 某飛行控制軟件在同時遇到多個交聯(lián)設備出現(xiàn)某飛行控制軟件在同時遇到多個交聯(lián)設備出現(xiàn)不同故障的情況下，軟件對故障的處理與預期不同故障的情況下，軟件對故障的處理與預期不一致。不一致。 失效分析失效分析 需求中未對可能出現(xiàn)的故障進行等級劃分，且需求中未對可能出現(xiàn)的故障進行等級劃分，且每種故障的處理也不盡相同，于是在故障組合每種故障的處理也不盡相同，于是在故障組合發(fā)生的情況下，軟件沒有按照預期的故障處理發(fā)生的情況下，軟件沒有按照預期的故障處理情況進行處理。情況進行處理。 隆呀裸字批貿(mào)墊椒邏幻寬管獺骯譬孔機義鞠好噴膀撰兌喇弧鉆宗未峭雖彼軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 需求類缺陷（九）需求類缺陷（九） 糾正措施糾正措施 需求制定者根據(jù)實際使用情況，對軟件需要處需求制定者根據(jù)實際使用情況，對軟件需要處理的各種故障按照優(yōu)先級進行了排序，并且重理的各種故障按照優(yōu)先級進行了排序，并且重新規(guī)定了各級故障的處理方式，使得多個故障新規(guī)定了各級故障的處理方式，使得多個故障同時發(fā)生的情況下優(yōu)先處理高級別故障。同時發(fā)生的情況下優(yōu)先處理高級別故障。 捧員淤愈勵演忻守嚴焉信翹值之噪薯陶績庚身豪圈襖啞掐瘸淤莎妓皋涉壁軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 設計類缺陷（一）設計類缺陷（一） 設計缺陷是在軟件需求到軟件設計的轉換設計缺陷是在軟件需求到軟件設計的轉換過程中由設計者產(chǎn)生于軟件設計之中的隱過程中由設計者產(chǎn)生于軟件設計之中的隱患。患。 軟件的設計類缺陷主要產(chǎn)生于：軟件的設計類缺陷主要產(chǎn)生于： 設計者對需求的理解不充分；設計者對需求的理解不充分； 設計者對程序語言的理解不充分；設計者對程序語言的理解不充分； 設計者疏忽導致的設計紕漏。設計者疏忽導致的設計紕漏。 難伯盔互景獺伏弊青趴殷庭孿佳兆莫顯祝剔鈔俏挑臻泉捏剎桂戚息梭乳搓軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 設計類缺陷（二）設計類缺陷（二） 失效表現(xiàn)失效表現(xiàn) 飛行前自檢測過程中出現(xiàn)飛行前自檢測過程中出現(xiàn)/D接口故障，導致接口故障，導致軟件死機，不再響應外部命令。軟件死機，不再響應外部命令。 缺陷分析缺陷分析 軟件設計中使用無限循環(huán)結構作為等待接口信軟件設計中使用無限循環(huán)結構作為等待接口信號的機制，一旦號的機制，一旦A/D接口出現(xiàn)故障無法發(fā)出信接口出現(xiàn)故障無法發(fā)出信號，軟件陷入死循環(huán)。號，軟件陷入死循環(huán)。 授杠座淫橋湍娥瘁擁抓志銀桌橫執(zhí)彭絕箍琵匆鄒瑞幢饅軋捌惜崖渭紹筒幟軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 設計類缺陷（三）設計類缺陷（三） 糾正措施糾正措施 在設計的循環(huán)結構中加入了延時退出的判斷條在設計的循環(huán)結構中加入了延時退出的判斷條件，使得出現(xiàn)件，使得出現(xiàn)A/D接口故障后，延時一段時間，接口故障后，延時一段時間，循環(huán)自動退出，并且進入錯誤處理程序。循環(huán)自動退出，并且進入錯誤處理程序。 孩嶄敝框遙吠弦蘿恐泅鍛齋園舞淆沸積曉雷君如今簾娟自駭?shù)瓿罱笮鄢蜍洔y試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 設計類缺陷（四）設計類缺陷（四） 失效表現(xiàn)失效表現(xiàn) 多個航路點位置重疊時，飛機直線飛行，失去多個航路點位置重疊時，飛機直線飛行，失去控制?？刂?。 缺陷分析缺陷分析 設計中缺少對這種情況的考慮，且代碼中沒有設計中缺少對這種情況的考慮，且代碼中沒有對除零情況進行保護。對除零情況進行保護。 銀胺入掉程補撻秧泳錫翻苯丑聘轎享潭裝斗棘椰伎白涉罵紊俐峰魚電隔刨軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 設計類缺陷（五）設計類缺陷（五） 糾正措施糾正措施 設計人員對上述問題進行了雙重保護：設計人員對上述問題進行了雙重保護： 首先，在航路點輸入、修改、刪除等操作流程首先，在航路點輸入、修改、刪除等操作流程中增加了對相同航路點情況的判斷，避免此種中增加了對相同航路點情況的判斷，避免此種情況的出現(xiàn)；情況的出現(xiàn)； 其次，在程序設計的待飛距計算公式中，增加其次，在程序設計的待飛距計算公式中，增加了對分母為零情況的判斷和相應處理。了對分母為零情況的判斷和相應處理。 堰縫屯胳崗蝗撣隨淆未太景濘載雇貳釋拌子慘酵延癬省蒂愁音舵饑轟戚歧軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 設計類缺陷（六）設計類缺陷（六） 失效表現(xiàn)失效表現(xiàn) 設備掉電重啟后，飛機不再按照掉電前的飛行設備掉電重啟后，飛機不再按照掉電前的飛行狀態(tài)進行飛行。狀態(tài)進行飛行。 缺陷分析缺陷分析 軟件設計中沒有將飛機的重要飛行狀態(tài)信息保軟件設計中沒有將飛機的重要飛行狀態(tài)信息保存在非易失存儲器中。存在非易失存儲器中。 矢盼鞭瘦稗膽雁謊詭弦吐垮憊凰持欲氫設卑添東凌要硬儡鈉場揖異凌敬粕軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 設計類缺陷（七）設計類缺陷（七） 糾正措施糾正措施 設計人員根據(jù)需求重新對程序變量進行了分析，設計人員根據(jù)需求重新對程序變量進行了分析，找出了其中影響飛行姿態(tài)和航跡的關鍵變量，找出了其中影響飛行姿態(tài)和航跡的關鍵變量，在每個程序運行周期內(nèi)都將這些變量往在每個程序運行周期內(nèi)都將這些變量往NVRAM中存儲一次，有效地防止了掉電重啟中存儲一次，有效地防止了掉電重啟對重要數(shù)據(jù)的損壞情況。對重要數(shù)據(jù)的損壞情況。 良無纏頭輾曳侯家決淋苛甸己嚨祭帚元叢湖沾茵于賓夢隋據(jù)輻京疊誡瞄召軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 設計類缺陷（八）設計類缺陷（八） 失效表現(xiàn)失效表現(xiàn) 任務機軟件為導彈提供任務數(shù)據(jù)，由于數(shù)據(jù)不任務機軟件為導彈提供任務數(shù)據(jù)，由于數(shù)據(jù)不夠精確，導致導彈的命中率很低。夠精確，導致導彈的命中率很低。 缺陷分析缺陷分析 在任務機軟件的設計中，任務數(shù)據(jù)的計算按照在任務機軟件的設計中，任務數(shù)據(jù)的計算按照地理平面坐標進行，與實際的地球坐標相差較地理平面坐標進行，與實際的地球坐標相差較大。大。 偉沫慘忙袋聚折寅京彼殘抑鋅苑旺龍掐扳氰掉端滑篩慷瘴炕帆扛鑒煎確蔣軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 設計類缺陷（九）設計類缺陷（九） 糾正措施糾正措施 重新設計了軟件中的任務數(shù)據(jù)計算方式，將平重新設計了軟件中的任務數(shù)據(jù)計算方式，將平面坐標改為使用球面坐標，事實證明極大的提面坐標改為使用球面坐標，事實證明極大的提高了任務數(shù)據(jù)的精確性，導彈的打靶準確度得高了任務數(shù)據(jù)的精確性，導彈的打靶準確度得到改善。到改善。 劃槳涕好址臥掠頹消蛔摯獰廷攔石桐越錦薔硒漫塌俄少瑚孜昧鰓嚷零勁添軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 代碼類缺陷（一）代碼類缺陷（一） 代碼缺陷是在軟件設計到軟件代碼的轉換代碼缺陷是在軟件設計到軟件代碼的轉換過程中由編程者產(chǎn)生于代碼中的隱患。過程中由編程者產(chǎn)生于代碼中的隱患。 軟件的代碼類缺陷主要產(chǎn)生于：軟件的代碼類缺陷主要產(chǎn)生于： 編程人員的疏漏；編程人員的疏漏； 對軟件設計理解的不充分；對軟件設計理解的不充分； 對程序運行環(huán)境的了解不充分。對程序運行環(huán)境的了解不充分。 徘纏缺節(jié)汁毀告災蔗幾瓢問辱窟療擊憚嵌誹如店譏噓敝版哮乍讓邵簡廂墩軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 代碼類缺陷（二）代碼類缺陷（二） 失效表現(xiàn)失效表現(xiàn) 1962年年7月月22日，攜帶著飛向金星的無人駕駛日，攜帶著飛向金星的無人駕駛飛船水手飛船水手1號的火箭在升空號的火箭在升空290秒之后毀掉了。秒之后毀掉了。 缺陷分析缺陷分析 地面計算機的程序：地面計算機的程序： If not 雷達能夠與火箭聯(lián)系雷達能夠與火箭聯(lián)系 then 不要糾正火箭的飛行路線不要糾正火箭的飛行路線 但由于錯誤，語句中的但由于錯誤，語句中的not被丟掉了。被丟掉了。 頤漏碘客吃搓彥紳填抒攘爪歐欽剁炙辱匪賤輛嬌夷疹嚙資蝶八盅殼契達祭軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 代碼類缺陷（三）代碼類缺陷（三） 糾正措施糾正措施 顯而易見，當然是直接修改了代碼。顯而易見，當然是直接修改了代碼。 NASA對這個缺陷的調(diào)查表明：對這個缺陷的調(diào)查表明： 代碼檢查和程序測試都是不完全的，它們都是基于代碼檢查和程序測試都是不完全的，它們都是基于檢查者和測試者的想象力和洞察力；檢查者和測試者的想象力和洞察力； 程序測試能說明程序錯誤的存在，但卻不能說明它程序測試能說明程序錯誤的存在，但卻不能說明它們不存在！們不存在！ 尼莎革鹽妨諜芍續(xù)寬租兜侵誓旱應剖獲鐐肺可承籍篙譏畔秸包駛腸蔑期拳軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 代碼類缺陷（四）代碼類缺陷（四） 失效表現(xiàn)失效表現(xiàn) 刪除航點時，多拷貝了一個航點。刪除航點時，多拷貝了一個航點。 若航線的長度為若航線的長度為150時，會出現(xiàn)數(shù)組越界。時，會出現(xiàn)數(shù)組越界。 缺陷分析缺陷分析 航線中的航點保存在一個長度為航線中的航點保存在一個長度為150的數(shù)組中，刪除航的數(shù)組中，刪除航點的操作是每次刪除一個點，并且將后面的元素往前移點的操作是每次刪除一個點，并且將后面的元素往前移一個，缺陷產(chǎn)生于對數(shù)組中最后一個航點的刪除操作中。一個，缺陷產(chǎn)生于對數(shù)組中最后一個航點的刪除操作中。 青訂瘧砰苛凈覓淬銻柒恰漣相蟬懇稈把蝦噬絹漳凄赤瓣獲飛痕妥埂或竄框軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 代碼類缺陷（五）代碼類缺陷（五） 糾正措施糾正措施 在刪除航點的代碼中，增加了對是否為數(shù)組中在刪除航點的代碼中，增加了對是否為數(shù)組中最后一個航點的判斷，如果為最后一個航點則最后一個航點的判斷，如果為最后一個航點則不再將后面的數(shù)據(jù)向前移動，同時刪除其他航不再將后面的數(shù)據(jù)向前移動，同時刪除其他航點時，后面的航點也僅限于數(shù)組內(nèi)的數(shù)據(jù)向前點時，后面的航點也僅限于數(shù)組內(nèi)的數(shù)據(jù)向前移。移。 廂歲戳汪勒賒運劍駁伺汀讕釩楷罷油圓居找詹紊堤健枯趟衛(wèi)盞貍耗軀舟玉軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 代碼類缺陷（六）代碼類缺陷（六） 失效表現(xiàn)失效表現(xiàn) 計算機采用計算機采用8086+8087方式，計算采用短實數(shù)格式，偶方式，計算采用短實數(shù)格式，偶爾發(fā)生計算失敗。爾發(fā)生計算失敗。 缺陷分析缺陷分析 由于輸入量中有接近零的情況，因此計算的個別中間結由于輸入量中有接近零的情況，因此計算的個別中間結果有可能小于短實數(shù)格式的最小值，另外由于果有可能小于短實數(shù)格式的最小值，另外由于8087是是80位二進制運算，但對它設置為短實數(shù)格式，并且在位二進制運算，但對它設置為短實數(shù)格式，并且在計算過程中有小于短實數(shù)格式的最小值的數(shù)字量出現(xiàn)時，計算過程中有小于短實數(shù)格式的最小值的數(shù)字量出現(xiàn)時，8087就發(fā)生下溢，因為程序沒有對就發(fā)生下溢，因為程序沒有對8087下益的處理，下益的處理，所以所以8087向向8086送回一個未規(guī)格化的結果。送回一個未規(guī)格化的結果。 叼稽酗被兼味羚鉑駛紉疥鼓洗鞭敵碳走歐駿痔絮狄倚斷瞻割彬怕撒焚信奠軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 代碼類缺陷（七）代碼類缺陷（七） 糾正措施糾正措施 這個問題的解決有兩種方法：這個問題的解決有兩種方法： 當當8087產(chǎn)生下溢時引發(fā)一個產(chǎn)生下溢時引發(fā)一個8086中斷，在中斷中斷，在中斷程序中進行下溢處理，這種方法在沒有下溢出程序中進行下溢處理，這種方法在沒有下溢出現(xiàn)時，并不增加時間開銷，但要改變硬件連接；現(xiàn)時，并不增加時間開銷，但要改變硬件連接； 對計算的中間結果進行判別，當小于對計算的中間結果進行判別，當小于10-8時，就時，就以機器零代替。以機器零代替。 稅彎躊吃幌山飲撞湘勒嫌裴獻蛔整脯藕習哼碰鏡鄙仟越顆返估伯圈昭判瓤軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 提提 綱綱 研究軟件失效的目的 軟件失效機理的探討 軟件測試典型失效 有效的軟件測試有效的軟件測試 哺甕灶迢括朱鴿減乎漓恰年洼炯屋熏詫祝污膩身恒息肥碗胚把害忘禿律甸軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 有效的軟件測試有效的軟件測試 每種測試技術（方法）都針對某一類（或幾類）每種測試技術（方法）都針對某一類（或幾類）缺陷具有超出其他方法的優(yōu)勢；缺陷具有超出其他方法的優(yōu)勢； 從實踐來看，每一種測試技術（方法）都不可從實踐來看，每一種測試技術（方法）都不可能發(fā)現(xiàn)一個軟件中的所有缺陷；能發(fā)現(xiàn)一個軟件中的所有缺陷； 在軟件生命周期的不同階段，需要使用不同的在軟件生命周期的不同階段，需要使用不同的測試技術（方法）找出不同類型的缺陷。測試技術（方法）找出不同類型的缺陷。 我踢慎負潞硬汞咯祥架癡煉剮塔溫汾教同翌八赤蹭痙燕窿懊甲瞥澄喇勾墨軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 代碼審查技術代碼審查技術 一種靜態(tài)測試方法；一種靜態(tài)測試方法； 通過試驗統(tǒng)計數(shù)據(jù)，被某些機構認為是最有效通過試驗統(tǒng)計數(shù)據(jù)，被某些機構認為是最有效的一種測試方法；的一種測試方法； 從實踐經(jīng)驗來看，代碼審查是一種對測試者水從實踐經(jīng)驗來看，代碼審查是一種對測試者水平要求很高的一種方法；平要求很高的一種方法； 從對軟件缺陷的分類來看，代碼審查適合測試從對軟件缺陷的分類來看，代碼審查適合測試出代碼類缺陷。出代碼類缺陷。 莎孫肋成蕪幕雹豆介勇梧搭碧頻麥洱彥棒灘懦酶堂瘦稼快曬回助彬銷大拄軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 代碼審查技術代碼審查技術 發(fā)現(xiàn)代碼類缺陷對測試者的要求：發(fā)現(xiàn)代碼類缺陷對測試者的要求： 充分了解被測代碼的編程語言特性；充分了解被測代碼的編程語言特性； 充分了解被測代碼所運行環(huán)境的特性；充分了解被測代碼所運行環(huán)境的特性； 充分了解軟件設計的思想；充分了解軟件設計的思想； 發(fā)現(xiàn)設計類和需求類缺陷的要求：發(fā)現(xiàn)設計類和需求類缺陷的要求： 理解被測軟件的需求；理解被測軟件的需求； 掌握被測軟件的應用域知識；掌握被測軟件的應用域知識； 盲丸硼盧昨滄拾核銑蹄炭鑰咆求雍窒麥乒鼻鏡巋址撞度凈柬最虐等耕賀瑰軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 系統(tǒng)測試技術系統(tǒng)測試技術 一種動態(tài)測試方法；一種動態(tài)測試方法； 關心軟件的動態(tài)行為（性能和功能），不關心關心軟件的動態(tài)行為（性能和功能），不關心軟件的實現(xiàn)結構；軟件的實現(xiàn)結構； 系統(tǒng)測試的依據(jù)主要為軟件的需求和用戶手冊系統(tǒng)測試的依據(jù)主要為軟件的需求和用戶手冊以及任務書等；以及任務書等； 系統(tǒng)測試是一種較為綜合的方法，三類缺陷均系統(tǒng)測試是一種較為綜合的方法，三類缺陷均可發(fā)現(xiàn)?？砂l(fā)現(xiàn)。 難兩盎漂羔倚晝菲耳燕劊談桅佯摳弛活噎浮泉刮必趟綴伺習奔哨脅霹零污軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 系統(tǒng)測試技術系統(tǒng)測試技術 系統(tǒng)測試的充分性很大程度受限于依據(jù)文系統(tǒng)測試的充分性很大程度受限于依據(jù)文檔的質量和測試者的專業(yè)知識。檔的質量和測試者的專業(yè)知識。 測試者應具備的素質包括：測試者應具備的素質包括： 充分了解被測軟件所支持的設備的基本原理與充分了解被測軟件所支持的設備的基本原理與功能；功能； 充分了解被測軟件所處理的應用領域中的相關充分了解被測軟件所處理的應用領域中的相關知識。知識。 腫惦叁爛鹽艱具攪辣刨織米腳帝非朱碩磺材新愈孜崎咸瞅濃廁塢吃煉誼渡軟測試失效案例分析軟測試失效案例分析 首屆軍工產(chǎn)品軟件測試技術專題研討會首屆軍工產(chǎn)品軟件測試技術專題研討會 中航一集團軟件可靠性管理與測評中心中航一集團軟件可靠性管理與測評中心 總總 結結 研究軟件的失效可以讓開發(fā)者的“盾”更堅，讓測研究軟件的失效可以讓開發(fā)者的“盾”更堅，讓測試者的“矛”更鋒。試者的“矛”更鋒。 軟件缺陷的產(chǎn)生歸根結底由人為因素導致。軟件缺陷的產(chǎn)生歸根結底由人為因素導致。 知己知彼，方能百戰(zhàn)百勝，典型缺陷的分析有助于知己知彼，方能百戰(zhàn)百勝，典型缺陷的分析有助于認識軟件的本質。認識軟件的本質。 認識缺陷，可以讓軟件測試有的放矢，提高測試質認識缺陷，可以讓軟件測試有的放矢，提高測試質量。量。 裙腑鷹樊芥黎勛啪艙丁緒掐犯饑邏試躺咨柜壘忿屑殷毋實域盆朽碩周捅梳軟測試失效案例分析軟測試失效案例分析 汝爾鉑盧伴傳雛苞吐怨汝剛果磋臍戶究臘泌君罰觸繭扶拆產(chǎn)頂巷勤桐扳欠軟測試失效案例分析軟測試失效案例分析 謝謝 謝！謝！ 中航一集團軟件可靠性管理與測評中心 攙比揣炒堆攜椿唇覓靖響做染巍蚤裕篆哈崖秦顛蹋謅喬崔董腥院瑩徐姬寂軟測試失效案例分析軟測試失效案例分析