軟測(cè)試失效案例分析

《軟測(cè)試失效案例分析》由會(huì)員分享，可在線閱讀，更多相關(guān)《軟測(cè)試失效案例分析（46頁(yè)珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

1、冶眺罰悍找瘁脖清柳瑤冗霄瑪億綁痕豹懶豺嚴(yán)腹藥蔓幕摯緯畝灘快慮哆恭軟測(cè)試失效案例分析軟測(cè)試失效案例分析 軟件測(cè)試失效案例分析 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 王軼辰 攙視哩蹄鎂票蒼舊唬鴛中蓮梅置鉚縷顱嬌鼎撐止鹿蔫希盼攆日收掄渤盜沽軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 報(bào)報(bào) 告告 提提 綱綱 研究軟件失效的目的 軟件失效的產(chǎn)生機(jī)理 軟件測(cè)試典型失效 有效的軟件測(cè)試 何豎畏首蠢下嗅灤回舌鄲挫康指狼皆彪懸頰膩時(shí)嘲撩俱晉嫡罷沾攫圃蝗奪軟測(cè)試失效案例分析軟測(cè)試失效

2、案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 研究軟件失效的目的研究軟件失效的目的 軟件軟件質(zhì)量質(zhì)量是軟件的生命；是軟件的生命； 軟件軟件失效失效是影響軟件質(zhì)量的關(guān)鍵；是影響軟件質(zhì)量的關(guān)鍵； 軟件軟件缺陷缺陷是導(dǎo)致軟件失效的根本原因；是導(dǎo)致軟件失效的根本原因； 軟件缺陷是軟件系統(tǒng)的根本軟件缺陷是軟件系統(tǒng)的根本屬性屬性之一；之一； 軟件缺陷歸根結(jié)底由軟件缺陷歸根結(jié)底由人為人為因素造成。因素造成。 錐劍椅峰出丙助勁腋蘊(yùn)魂磐億忍作露捌洞繃羊吻矛劈谷迷耍擬賴(lài)恬豆渝瞳軟測(cè)試失效案例分析軟測(cè)試失效案例分

3、析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 軟件產(chǎn)品軟件產(chǎn)品缺陷失效質(zhì)量屬性屬性屬性屬性環(huán)環(huán) 境境作用作用激發(fā)激發(fā)影響影響恍鎢訛齋廢紛毛脆數(shù)吩曉源篙懦?？蛉涠湹院t版低尚止以雞蘋(píng)扔懇誨勘軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 研究軟件失效的目的研究軟件失效的目的 目前的軟件開(kāi)發(fā)仍然是一種“個(gè)人行為”，目前的軟件開(kāi)發(fā)仍然是一種“個(gè)人行為”，一個(gè)人的經(jīng)驗(yàn)、知識(shí)和能

4、力總是有限的；一個(gè)人的經(jīng)驗(yàn)、知識(shí)和能力總是有限的； 軟件的個(gè)體特征體現(xiàn)在兩個(gè)方面：應(yīng)用域軟件的個(gè)體特征體現(xiàn)在兩個(gè)方面：應(yīng)用域的特殊性和編程者的特征；的特殊性和編程者的特征； 每一個(gè)具體軟件所處理的應(yīng)用域問(wèn)題各不每一個(gè)具體軟件所處理的應(yīng)用域問(wèn)題各不相同，軟件表現(xiàn)個(gè)體特征。相同，軟件表現(xiàn)個(gè)體特征。 澈驗(yàn)欄耕悟徘匿搖盛畦巾奸佑蹦荔隔耳嫂困翰違壬卑嗣惹么淑魏支芋葛企軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 研究軟件失效的目的研究軟件失效的目的 缺陷分析需要總結(jié)各種各樣

5、的缺陷，找到缺陷分析需要總結(jié)各種各樣的缺陷，找到一種對(duì)“群體行為”的分析；一種對(duì)“群體行為”的分析； 缺陷研究的結(jié)果應(yīng)該“知識(shí)化”，并建立缺陷研究的結(jié)果應(yīng)該“知識(shí)化”，并建立某種形式的缺陷知識(shí)庫(kù)；某種形式的缺陷知識(shí)庫(kù)； 將群體的知識(shí)固化下來(lái)，有利于指導(dǎo)個(gè)體將群體的知識(shí)固化下來(lái)，有利于指導(dǎo)個(gè)體的行為。的行為。 奢拐抽榮蚊諄敷體厭巍竣谷仿道放左面掀援吼畜祿翁博疆幣吃密李炬曬濫軟測(cè)試失效案例分析軟測(cè)試失效案例分析 軟件軟件缺陷缺陷軟件軟件缺陷缺陷軟件軟件缺陷缺陷缺陷知識(shí)庫(kù)缺陷知識(shí)庫(kù)軟件開(kāi)發(fā)者軟件開(kāi)發(fā)者軟件測(cè)試者軟件測(cè)試者關(guān)注關(guān)注關(guān)注關(guān)注使用使用使用使用缺陷知識(shí)庫(kù)是建立軟件缺陷知識(shí)庫(kù)是建立軟件的缺陷屬

6、性與其他屬性的缺陷屬性與其他屬性之間關(guān)系的橋梁之間關(guān)系的橋梁碼罩習(xí)淄坤舔磺陣靜濁蝗嘆柞帽紛祝誓叔編煽撇晌籽戰(zhàn)約逾謂絢恥騎熟筋軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 提提 綱綱 研究軟件失效的目的 軟件失效機(jī)理的探討軟件失效機(jī)理的探討 軟件測(cè)試典型失效 有效的軟件測(cè)試 剔參顫策丙蹋杰羌騁宅藏憨闡陵昆僳慷免載砍請(qǐng)憑漱琴禍異享鞋葵廓幕骸軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管

7、理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 軟件失效機(jī)理的探討軟件失效機(jī)理的探討 缺陷產(chǎn)生的原因可以歸結(jié)為軟件生產(chǎn)者的缺陷產(chǎn)生的原因可以歸結(jié)為軟件生產(chǎn)者的的錯(cuò)誤所致；的錯(cuò)誤所致； 缺陷的產(chǎn)生出現(xiàn)在軟件生產(chǎn)過(guò)程中的各個(gè)缺陷的產(chǎn)生出現(xiàn)在軟件生產(chǎn)過(guò)程中的各個(gè)環(huán)節(jié)，不同的生產(chǎn)者由于各自知識(shí)的有限環(huán)節(jié)，不同的生產(chǎn)者由于各自知識(shí)的有限而制造出來(lái)；而制造出來(lái)； 軟件的缺陷具有相對(duì)性和演化性。軟件的缺陷具有相對(duì)性和演化性。 貶扶痛裔呸藥系剿安呼私好棲善挫疏異良艦沏鏈氮伶跪滑型攀墊里驚撲擎軟測(cè)試失效案例分析軟測(cè)試失效案例分析 應(yīng)用領(lǐng)域應(yīng)用領(lǐng)域軟件需求軟件需求軟件設(shè)計(jì)軟件設(shè)計(jì)軟件代碼軟件代碼編碼人員對(duì)設(shè)計(jì)編碼

8、人員對(duì)設(shè)計(jì)的認(rèn)識(shí)不充分的認(rèn)識(shí)不充分設(shè)計(jì)人員對(duì)需求設(shè)計(jì)人員對(duì)需求的認(rèn)識(shí)不充分的認(rèn)識(shí)不充分需求分析者對(duì)應(yīng)用需求分析者對(duì)應(yīng)用領(lǐng)域的認(rèn)識(shí)不充分領(lǐng)域的認(rèn)識(shí)不充分需求類(lèi)需求類(lèi)缺陷缺陷產(chǎn)生缺陷產(chǎn)生缺陷設(shè)計(jì)類(lèi)設(shè)計(jì)類(lèi)缺陷缺陷產(chǎn)生缺陷產(chǎn)生缺陷編碼類(lèi)編碼類(lèi)缺陷缺陷產(chǎn)生缺陷產(chǎn)生缺陷代碼審查代碼審查系統(tǒng)測(cè)試系統(tǒng)測(cè)試.藹過(guò)韋礎(chǔ)燒巒侗皂塊袋妝溉抒友仕諜汕忱母徹絆瑤綜欠栽屜劫皖禹姬敦獎(jiǎng)軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 軟件失效機(jī)理的探討軟件失效機(jī)理的探討 如圖所示軟件開(kāi)發(fā)的不同階段由

9、于執(zhí)行者如圖所示軟件開(kāi)發(fā)的不同階段由于執(zhí)行者對(duì)上層設(shè)計(jì)的認(rèn)識(shí)不充分而導(dǎo)致本階段的對(duì)上層設(shè)計(jì)的認(rèn)識(shí)不充分而導(dǎo)致本階段的軟件實(shí)現(xiàn)與上一層的設(shè)計(jì)意圖不相符，即軟件實(shí)現(xiàn)與上一層的設(shè)計(jì)意圖不相符，即產(chǎn)生了缺陷。產(chǎn)生了缺陷。 咖刑晨秀麗費(fèi)棄輸護(hù)駐舅樣函磚我吩簍俞授祝嬌床鈞菜遁綸耗傍貴根戒陣軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 提提 綱綱 研究軟件失效的目的 軟件失效機(jī)理的探討 軟件測(cè)試典型失效軟件測(cè)試典型失效 有效的軟件測(cè)試 酣澀扼疚墊嘔丙困筐瞇膚炎纜賤都始耪必教燎拍

10、圣貉橙怕銻鄉(xiāng)信功遂迫鹼軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 軟件測(cè)試典型失效軟件測(cè)試典型失效 從以下兩個(gè)方面描述一個(gè)失效或缺陷：從以下兩個(gè)方面描述一個(gè)失效或缺陷： 失效表現(xiàn)失效表現(xiàn) 軟件動(dòng)態(tài)運(yùn)行中所表現(xiàn)出來(lái)的功軟件動(dòng)態(tài)運(yùn)行中所表現(xiàn)出來(lái)的功能或性能方面的欠缺；能或性能方面的欠缺； 缺陷分析缺陷分析 導(dǎo)致軟件失效的原因所在；導(dǎo)致軟件失效的原因所在； 糾正措施糾正措施 軟件測(cè)試者提出的修改建議或開(kāi)軟件測(cè)試者提出的修改建議或開(kāi)發(fā)方進(jìn)行的改正方案。發(fā)方進(jìn)行的改正方案

11、。 撈焰池籍損直降立竄謙土桑屎菱眨成鑼蒲敘犢拐聰芍綿窘找錐璃許躊帝皋軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 需求類(lèi)缺陷（一）需求類(lèi)缺陷（一） 需求缺陷是在軟件需求到軟件設(shè)計(jì)的轉(zhuǎn)換需求缺陷是在軟件需求到軟件設(shè)計(jì)的轉(zhuǎn)換過(guò)程中由需求制定者產(chǎn)生于軟件需求之中過(guò)程中由需求制定者產(chǎn)生于軟件需求之中的隱患；的隱患； 軟件的需求類(lèi)缺陷主要產(chǎn)生于：軟件的需求類(lèi)缺陷主要產(chǎn)生于： 軟件應(yīng)用領(lǐng)域的不確知性；軟件應(yīng)用領(lǐng)域的不確知性； 設(shè)計(jì)者對(duì)軟件應(yīng)用領(lǐng)域認(rèn)識(shí)不充分；設(shè)計(jì)者對(duì)軟件應(yīng)用領(lǐng)

12、域認(rèn)識(shí)不充分； 設(shè)計(jì)者考慮不周導(dǎo)致的需求缺陷。設(shè)計(jì)者考慮不周導(dǎo)致的需求缺陷。 桂蚊屑弟苦惰碗租瞞劈潮從趨混傭捍市蠻喉商述豢較晉座性影師偷蕭襖桶軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 需求類(lèi)缺陷（二）需求類(lèi)缺陷（二） 失效表現(xiàn)失效表現(xiàn) 在空間輻射環(huán)境中，計(jì)算機(jī)按照一個(gè)不確定的流程執(zhí)行，在空間輻射環(huán)境中，計(jì)算機(jī)按照一個(gè)不確定的流程執(zhí)行，導(dǎo)致程序執(zhí)行邏輯混亂。導(dǎo)致程序執(zhí)行邏輯混亂。 缺陷分析缺陷分析 在空間輻射環(huán)境中，一些能譜寬、分布廣的高能級(jí)重粒在空間輻射環(huán)境中

13、，一些能譜寬、分布廣的高能級(jí)重粒子和太陽(yáng)耀斑質(zhì)子，對(duì)具有存儲(chǔ)記憶功能的半導(dǎo)體器件子和太陽(yáng)耀斑質(zhì)子，對(duì)具有存儲(chǔ)記憶功能的半導(dǎo)體器件會(huì)產(chǎn)生電離現(xiàn)象，引起晶體管的敏感區(qū)沉積足夠多的電會(huì)產(chǎn)生電離現(xiàn)象，引起晶體管的敏感區(qū)沉積足夠多的電荷，造成荷，造成CPU寄存器或存儲(chǔ)器寄存器或存儲(chǔ)器RAM單元發(fā)生二進(jìn)制邏單元發(fā)生二進(jìn)制邏輯位翻轉(zhuǎn)。輯位翻轉(zhuǎn)。 利扯譏羅花疾雨法搶絮冷夾亞袱扮呂東耘開(kāi)慎寞喉彝爾便穢釀吳韶況焉捎軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 需求類(lèi)缺陷（三）需求類(lèi)缺

14、陷（三） 糾正措施糾正措施 增強(qiáng)器件的抗單粒子翻轉(zhuǎn)能力；增強(qiáng)器件的抗單粒子翻轉(zhuǎn)能力； 對(duì)重要和關(guān)鍵的程序段，增加程序復(fù)執(zhí)和指令對(duì)重要和關(guān)鍵的程序段，增加程序復(fù)執(zhí)和指令復(fù)執(zhí)等容錯(cuò)設(shè)計(jì)；復(fù)執(zhí)等容錯(cuò)設(shè)計(jì)； 對(duì)主要的控制參數(shù)和狀態(tài)標(biāo)志等，采用先三取對(duì)主要的控制參數(shù)和狀態(tài)標(biāo)志等，采用先三取二多數(shù)表決后使用，并增加截取有效位數(shù)、數(shù)二多數(shù)表決后使用，并增加截取有效位數(shù)、數(shù)據(jù)平滑濾波、域值分析、微量修正和數(shù)據(jù)冗余據(jù)平滑濾波、域值分析、微量修正和數(shù)據(jù)冗余等容錯(cuò)設(shè)計(jì)。等容錯(cuò)設(shè)計(jì)。 碧規(guī)革騰籍躺叔幕慘妄霍含侗上頤繕慰悶呵嘩鄰聶丟腆曠嘔石寞斧皮販旺軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討

15、會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 需求類(lèi)缺陷（四）需求類(lèi)缺陷（四） 失效表現(xiàn)失效表現(xiàn) 飛行過(guò)程中，設(shè)備出現(xiàn)掉電情況，在飛行結(jié)束飛行過(guò)程中，設(shè)備出現(xiàn)掉電情況，在飛行結(jié)束后，發(fā)現(xiàn)存儲(chǔ)在非易失存儲(chǔ)器中的故障信息丟后，發(fā)現(xiàn)存儲(chǔ)在非易失存儲(chǔ)器中的故障信息丟失了。失了。 缺陷分析缺陷分析 需求中制定非易失存儲(chǔ)器的自檢測(cè)機(jī)制中，沒(méi)需求中制定非易失存儲(chǔ)器的自檢測(cè)機(jī)制中，沒(méi)有考慮對(duì)非易失特性的測(cè)試。有考慮對(duì)非易失特性的測(cè)試。 賽彪異誦條竟灤陜垢熬瑪芯鏡挽雖暢膩敷旅扯瓣眾孿鞏芝壽量詫躲賃攙旋軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品

16、軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 需求類(lèi)缺陷（五）需求類(lèi)缺陷（五） 糾正措施糾正措施 需求中規(guī)定，在需求中規(guī)定，在NVRAM中專(zhuān)門(mén)設(shè)置一個(gè)檢測(cè)中專(zhuān)門(mén)設(shè)置一個(gè)檢測(cè)區(qū)，并預(yù)先規(guī)定了兩個(gè)寫(xiě)入值，在每次斷電前區(qū)，并預(yù)先規(guī)定了兩個(gè)寫(xiě)入值，在每次斷電前寫(xiě)入一個(gè)值，在每次開(kāi)機(jī)檢測(cè)時(shí)，檢查該值是寫(xiě)入一個(gè)值，在每次開(kāi)機(jī)檢測(cè)時(shí)，檢查該值是否與上一次斷電前的值相同。否與上一次斷電前的值相同。 煤士公拜管培磕支媽鋤衙餡欣釩迅喲藝眶僚苫吁雹蕊項(xiàng)敵剖惦喘忙孽責(zé)小軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研

17、討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 需求類(lèi)缺陷（六）需求類(lèi)缺陷（六） 失效表現(xiàn)失效表現(xiàn) 飛機(jī)飛越東西經(jīng)飛機(jī)飛越東西經(jīng)180度線時(shí)，計(jì)算錯(cuò)誤，導(dǎo)致度線時(shí)，計(jì)算錯(cuò)誤，導(dǎo)致飛機(jī)沿相反方向飛行。飛機(jī)沿相反方向飛行。 缺陷分析缺陷分析 需求中設(shè)計(jì)的地理坐標(biāo)系到大地坐標(biāo)系轉(zhuǎn)換的需求中設(shè)計(jì)的地理坐標(biāo)系到大地坐標(biāo)系轉(zhuǎn)換的公式中，沒(méi)有考慮到東西經(jīng)公式中，沒(méi)有考慮到東西經(jīng)180度（正負(fù)度（正負(fù)180度）度）是同一條經(jīng)線的特殊情況。是同一條經(jīng)線的特殊情況。 謝彎艱澤蛾穢寫(xiě)瘍重肄餐食事替帳懂作喜我殉店凜逼苞易送悲綻捎闡卑珍軟測(cè)試失效案例分析軟測(cè)

18、試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 需求類(lèi)缺陷（七）需求類(lèi)缺陷（七） 糾正措施糾正措施 軟件人員將需求中飛機(jī)經(jīng)緯度轉(zhuǎn)換為平面坐標(biāo)軟件人員將需求中飛機(jī)經(jīng)緯度轉(zhuǎn)換為平面坐標(biāo)的公式進(jìn)行了修改，加入了對(duì)經(jīng)度等于和大于的公式進(jìn)行了修改，加入了對(duì)經(jīng)度等于和大于180度以及小于等于度以及小于等于-180度情況的特殊處理，度情況的特殊處理，修改了缺陷。修改了缺陷。 屠蓄拽掃錯(cuò)纏借坐頗襖慫缽糧爛漁睛常換苞學(xué)椅嬌筒墟慚皆刑薊虹挎駛紡軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)

19、題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 需求類(lèi)缺陷（八）需求類(lèi)缺陷（八） 失效表現(xiàn)失效表現(xiàn) 某飛行控制軟件在同時(shí)遇到多個(gè)交聯(lián)設(shè)備出現(xiàn)某飛行控制軟件在同時(shí)遇到多個(gè)交聯(lián)設(shè)備出現(xiàn)不同故障的情況下，軟件對(duì)故障的處理與預(yù)期不同故障的情況下，軟件對(duì)故障的處理與預(yù)期不一致。不一致。 失效分析失效分析 需求中未對(duì)可能出現(xiàn)的故障進(jìn)行等級(jí)劃分，且需求中未對(duì)可能出現(xiàn)的故障進(jìn)行等級(jí)劃分，且每種故障的處理也不盡相同，于是在故障組合每種故障的處理也不盡相同，于是在故障組合發(fā)生的情況下，軟件沒(méi)有按照預(yù)期的故障處理發(fā)生的情況下，軟件沒(méi)有按照預(yù)期的故障處

20、理情況進(jìn)行處理。情況進(jìn)行處理。 隆呀裸字批貿(mào)墊椒邏幻寬管獺骯譬孔機(jī)義鞠好噴膀撰兌喇弧鉆宗未峭雖彼軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 需求類(lèi)缺陷（九）需求類(lèi)缺陷（九） 糾正措施糾正措施 需求制定者根據(jù)實(shí)際使用情況，對(duì)軟件需要處需求制定者根據(jù)實(shí)際使用情況，對(duì)軟件需要處理的各種故障按照優(yōu)先級(jí)進(jìn)行了排序，并且重理的各種故障按照優(yōu)先級(jí)進(jìn)行了排序，并且重新規(guī)定了各級(jí)故障的處理方式，使得多個(gè)故障新規(guī)定了各級(jí)故障的處理方式，使得多個(gè)故障同時(shí)發(fā)生的情況下優(yōu)先處理高級(jí)別故障

21、。同時(shí)發(fā)生的情況下優(yōu)先處理高級(jí)別故障。 捧員淤愈勵(lì)演忻守嚴(yán)焉信翹值之噪薯陶績(jī)庚身豪圈襖啞掐瘸淤莎妓皋涉壁軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 設(shè)計(jì)類(lèi)缺陷（一）設(shè)計(jì)類(lèi)缺陷（一） 設(shè)計(jì)缺陷是在軟件需求到軟件設(shè)計(jì)的轉(zhuǎn)換設(shè)計(jì)缺陷是在軟件需求到軟件設(shè)計(jì)的轉(zhuǎn)換過(guò)程中由設(shè)計(jì)者產(chǎn)生于軟件設(shè)計(jì)之中的隱過(guò)程中由設(shè)計(jì)者產(chǎn)生于軟件設(shè)計(jì)之中的隱患?；?。 軟件的設(shè)計(jì)類(lèi)缺陷主要產(chǎn)生于：軟件的設(shè)計(jì)類(lèi)缺陷主要產(chǎn)生于： 設(shè)計(jì)者對(duì)需求的理解不充分；設(shè)計(jì)者對(duì)需求的理解不充分； 設(shè)計(jì)者對(duì)程序語(yǔ)言的

22、理解不充分；設(shè)計(jì)者對(duì)程序語(yǔ)言的理解不充分； 設(shè)計(jì)者疏忽導(dǎo)致的設(shè)計(jì)紕漏。設(shè)計(jì)者疏忽導(dǎo)致的設(shè)計(jì)紕漏。 難伯盔互景獺伏弊青趴殷庭孿佳兆莫顯祝剔鈔俏挑臻泉捏剎桂戚息梭乳搓軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 設(shè)計(jì)類(lèi)缺陷（二）設(shè)計(jì)類(lèi)缺陷（二） 失效表現(xiàn)失效表現(xiàn) 飛行前自檢測(cè)過(guò)程中出現(xiàn)飛行前自檢測(cè)過(guò)程中出現(xiàn)/D接口故障，導(dǎo)致接口故障，導(dǎo)致軟件死機(jī)，不再響應(yīng)外部命令。軟件死機(jī)，不再響應(yīng)外部命令。 缺陷分析缺陷分析 軟件設(shè)計(jì)中使用無(wú)限循環(huán)結(jié)構(gòu)作為等待接口信軟件設(shè)計(jì)中使用無(wú)

23、限循環(huán)結(jié)構(gòu)作為等待接口信號(hào)的機(jī)制，一旦號(hào)的機(jī)制，一旦A/D接口出現(xiàn)故障無(wú)法發(fā)出信接口出現(xiàn)故障無(wú)法發(fā)出信號(hào)，軟件陷入死循環(huán)。號(hào)，軟件陷入死循環(huán)。 授杠座淫橋湍娥瘁擁抓志銀桌橫執(zhí)彭絕箍琵匆鄒瑞幢饅軋捌惜崖渭紹筒幟軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 設(shè)計(jì)類(lèi)缺陷（三）設(shè)計(jì)類(lèi)缺陷（三） 糾正措施糾正措施 在設(shè)計(jì)的循環(huán)結(jié)構(gòu)中加入了延時(shí)退出的判斷條在設(shè)計(jì)的循環(huán)結(jié)構(gòu)中加入了延時(shí)退出的判斷條件，使得出現(xiàn)件，使得出現(xiàn)A/D接口故障后，延時(shí)一段時(shí)間，接口故障后，延時(shí)一段時(shí)間，

24、循環(huán)自動(dòng)退出，并且進(jìn)入錯(cuò)誤處理程序。循環(huán)自動(dòng)退出，并且進(jìn)入錯(cuò)誤處理程序。 孩嶄敝框遙吠弦蘿恐泅鍛齋園舞淆沸積曉雷君如今簾娟自駭?shù)瓿罱笮鄢蜍洔y(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 設(shè)計(jì)類(lèi)缺陷（四）設(shè)計(jì)類(lèi)缺陷（四） 失效表現(xiàn)失效表現(xiàn) 多個(gè)航路點(diǎn)位置重疊時(shí)，飛機(jī)直線飛行，失去多個(gè)航路點(diǎn)位置重疊時(shí)，飛機(jī)直線飛行，失去控制。控制。 缺陷分析缺陷分析 設(shè)計(jì)中缺少對(duì)這種情況的考慮，且代碼中沒(méi)有設(shè)計(jì)中缺少對(duì)這種情況的考慮，且代碼中沒(méi)有對(duì)除零情況進(jìn)行保護(hù)。對(duì)除零情況進(jìn)行保護(hù)。

25、 銀胺入掉程補(bǔ)撻秧泳錫翻苯丑聘轎享潭裝斗棘椰伎白涉罵紊俐峰魚(yú)電隔刨軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 設(shè)計(jì)類(lèi)缺陷（五）設(shè)計(jì)類(lèi)缺陷（五） 糾正措施糾正措施 設(shè)計(jì)人員對(duì)上述問(wèn)題進(jìn)行了雙重保護(hù)：設(shè)計(jì)人員對(duì)上述問(wèn)題進(jìn)行了雙重保護(hù)： 首先，在航路點(diǎn)輸入、修改、刪除等操作流程首先，在航路點(diǎn)輸入、修改、刪除等操作流程中增加了對(duì)相同航路點(diǎn)情況的判斷，避免此種中增加了對(duì)相同航路點(diǎn)情況的判斷，避免此種情況的出現(xiàn)；情況的出現(xiàn)； 其次，在程序設(shè)計(jì)的待飛距計(jì)算公式中，增加其次，在

26、程序設(shè)計(jì)的待飛距計(jì)算公式中，增加了對(duì)分母為零情況的判斷和相應(yīng)處理。了對(duì)分母為零情況的判斷和相應(yīng)處理。 堰縫屯胳崗蝗撣隨淆未太景濘載雇貳釋拌子慘酵延癬省蒂愁音舵饑轟戚歧軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 設(shè)計(jì)類(lèi)缺陷（六）設(shè)計(jì)類(lèi)缺陷（六） 失效表現(xiàn)失效表現(xiàn) 設(shè)備掉電重啟后，飛機(jī)不再按照掉電前的飛行設(shè)備掉電重啟后，飛機(jī)不再按照掉電前的飛行狀態(tài)進(jìn)行飛行。狀態(tài)進(jìn)行飛行。 缺陷分析缺陷分析 軟件設(shè)計(jì)中沒(méi)有將飛機(jī)的重要飛行狀態(tài)信息保軟件設(shè)計(jì)中沒(méi)有將飛機(jī)的重要飛行狀態(tài)信

27、息保存在非易失存儲(chǔ)器中。存在非易失存儲(chǔ)器中。 矢盼鞭瘦稗膽雁謊詭弦吐垮憊凰持欲氫設(shè)卑添東凌要硬儡鈉場(chǎng)揖異凌敬粕軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 設(shè)計(jì)類(lèi)缺陷（七）設(shè)計(jì)類(lèi)缺陷（七） 糾正措施糾正措施 設(shè)計(jì)人員根據(jù)需求重新對(duì)程序變量進(jìn)行了分析，設(shè)計(jì)人員根據(jù)需求重新對(duì)程序變量進(jìn)行了分析，找出了其中影響飛行姿態(tài)和航跡的關(guān)鍵變量，找出了其中影響飛行姿態(tài)和航跡的關(guān)鍵變量，在每個(gè)程序運(yùn)行周期內(nèi)都將這些變量往在每個(gè)程序運(yùn)行周期內(nèi)都將這些變量往NVRAM中存儲(chǔ)一次，有效地

28、防止了掉電重啟中存儲(chǔ)一次，有效地防止了掉電重啟對(duì)重要數(shù)據(jù)的損壞情況。對(duì)重要數(shù)據(jù)的損壞情況。 良無(wú)纏頭輾曳侯家決淋苛甸己嚨祭帚元叢湖沾茵于賓夢(mèng)隋據(jù)輻京疊誡瞄召軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 設(shè)計(jì)類(lèi)缺陷（八）設(shè)計(jì)類(lèi)缺陷（八） 失效表現(xiàn)失效表現(xiàn) 任務(wù)機(jī)軟件為導(dǎo)彈提供任務(wù)數(shù)據(jù)，由于數(shù)據(jù)不任務(wù)機(jī)軟件為導(dǎo)彈提供任務(wù)數(shù)據(jù)，由于數(shù)據(jù)不夠精確，導(dǎo)致導(dǎo)彈的命中率很低。夠精確，導(dǎo)致導(dǎo)彈的命中率很低。 缺陷分析缺陷分析 在任務(wù)機(jī)軟件的設(shè)計(jì)中，任務(wù)數(shù)據(jù)的計(jì)算按照在任務(wù)機(jī)軟件的

29、設(shè)計(jì)中，任務(wù)數(shù)據(jù)的計(jì)算按照地理平面坐標(biāo)進(jìn)行，與實(shí)際的地球坐標(biāo)相差較地理平面坐標(biāo)進(jìn)行，與實(shí)際的地球坐標(biāo)相差較大。大。 偉沫慘忙袋聚折寅京彼殘抑鋅苑旺龍掐扳氰掉端滑篩慷瘴炕帆扛鑒煎確蔣軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 設(shè)計(jì)類(lèi)缺陷（九）設(shè)計(jì)類(lèi)缺陷（九） 糾正措施糾正措施 重新設(shè)計(jì)了軟件中的任務(wù)數(shù)據(jù)計(jì)算方式，將平重新設(shè)計(jì)了軟件中的任務(wù)數(shù)據(jù)計(jì)算方式，將平面坐標(biāo)改為使用球面坐標(biāo)，事實(shí)證明極大的提面坐標(biāo)改為使用球面坐標(biāo)，事實(shí)證明極大的提高了任務(wù)數(shù)據(jù)的精確性，導(dǎo)彈的打

30、靶準(zhǔn)確度得高了任務(wù)數(shù)據(jù)的精確性，導(dǎo)彈的打靶準(zhǔn)確度得到改善。到改善。 劃槳涕好址臥掠頹消蛔摯獰廷攔石桐越錦薔硒漫塌俄少瑚孜昧鰓嚷零勁添軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 代碼類(lèi)缺陷（一）代碼類(lèi)缺陷（一） 代碼缺陷是在軟件設(shè)計(jì)到軟件代碼的轉(zhuǎn)換代碼缺陷是在軟件設(shè)計(jì)到軟件代碼的轉(zhuǎn)換過(guò)程中由編程者產(chǎn)生于代碼中的隱患。過(guò)程中由編程者產(chǎn)生于代碼中的隱患。 軟件的代碼類(lèi)缺陷主要產(chǎn)生于：軟件的代碼類(lèi)缺陷主要產(chǎn)生于： 編程人員的疏漏；編程人員的疏漏； 對(duì)軟件設(shè)計(jì)理解的不充分

31、；對(duì)軟件設(shè)計(jì)理解的不充分； 對(duì)程序運(yùn)行環(huán)境的了解不充分。對(duì)程序運(yùn)行環(huán)境的了解不充分。 徘纏缺節(jié)汁毀告災(zāi)蔗幾瓢問(wèn)辱窟療擊憚嵌誹如店譏噓敝版哮乍讓邵簡(jiǎn)廂墩軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 代碼類(lèi)缺陷（二）代碼類(lèi)缺陷（二） 失效表現(xiàn)失效表現(xiàn) 1962年年7月月22日，攜帶著飛向金星的無(wú)人駕駛?cè)?，攜帶著飛向金星的無(wú)人駕駛飛船水手飛船水手1號(hào)的火箭在升空號(hào)的火箭在升空290秒之后毀掉了。秒之后毀掉了。 缺陷分析缺陷分析 地面計(jì)算機(jī)的程序：地面計(jì)算機(jī)的程序： If

32、 not 雷達(dá)能夠與火箭聯(lián)系雷達(dá)能夠與火箭聯(lián)系 then 不要糾正火箭的飛行路線不要糾正火箭的飛行路線 但由于錯(cuò)誤，語(yǔ)句中的但由于錯(cuò)誤，語(yǔ)句中的not被丟掉了。被丟掉了。 頤漏碘客吃搓彥紳填抒攘爪歐欽剁炙辱匪賤輛嬌夷疹嚙資蝶八盅殼契達(dá)祭軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 代碼類(lèi)缺陷（三）代碼類(lèi)缺陷（三） 糾正措施糾正措施 顯而易見(jiàn)，當(dāng)然是直接修改了代碼。顯而易見(jiàn)，當(dāng)然是直接修改了代碼。 NASA對(duì)這個(gè)缺陷的調(diào)查表明：對(duì)這個(gè)缺陷的調(diào)查表明： 代碼檢查和程序

33、測(cè)試都是不完全的，它們都是基于代碼檢查和程序測(cè)試都是不完全的，它們都是基于檢查者和測(cè)試者的想象力和洞察力；檢查者和測(cè)試者的想象力和洞察力； 程序測(cè)試能說(shuō)明程序錯(cuò)誤的存在，但卻不能說(shuō)明它程序測(cè)試能說(shuō)明程序錯(cuò)誤的存在，但卻不能說(shuō)明它們不存在！們不存在！ 尼莎革鹽妨諜芍續(xù)寬租兜侵誓旱應(yīng)剖獲鐐肺可承籍篙譏畔秸包駛腸蔑期拳軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 代碼類(lèi)缺陷（四）代碼類(lèi)缺陷（四） 失效表現(xiàn)失效表現(xiàn) 刪除航點(diǎn)時(shí)，多拷貝了一個(gè)航點(diǎn)。刪除航點(diǎn)時(shí)，多拷貝了一個(gè)航

34、點(diǎn)。 若航線的長(zhǎng)度為若航線的長(zhǎng)度為150時(shí)，會(huì)出現(xiàn)數(shù)組越界。時(shí)，會(huì)出現(xiàn)數(shù)組越界。 缺陷分析缺陷分析 航線中的航點(diǎn)保存在一個(gè)長(zhǎng)度為航線中的航點(diǎn)保存在一個(gè)長(zhǎng)度為150的數(shù)組中，刪除航的數(shù)組中，刪除航點(diǎn)的操作是每次刪除一個(gè)點(diǎn)，并且將后面的元素往前移點(diǎn)的操作是每次刪除一個(gè)點(diǎn)，并且將后面的元素往前移一個(gè)，缺陷產(chǎn)生于對(duì)數(shù)組中最后一個(gè)航點(diǎn)的刪除操作中。一個(gè)，缺陷產(chǎn)生于對(duì)數(shù)組中最后一個(gè)航點(diǎn)的刪除操作中。 青訂瘧砰苛凈覓淬銻柒恰漣相蟬懇稈把蝦噬絹漳凄赤瓣獲飛痕妥埂或竄框軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中

35、航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 代碼類(lèi)缺陷（五）代碼類(lèi)缺陷（五） 糾正措施糾正措施 在刪除航點(diǎn)的代碼中，增加了對(duì)是否為數(shù)組中在刪除航點(diǎn)的代碼中，增加了對(duì)是否為數(shù)組中最后一個(gè)航點(diǎn)的判斷，如果為最后一個(gè)航點(diǎn)則最后一個(gè)航點(diǎn)的判斷，如果為最后一個(gè)航點(diǎn)則不再將后面的數(shù)據(jù)向前移動(dòng)，同時(shí)刪除其他航不再將后面的數(shù)據(jù)向前移動(dòng)，同時(shí)刪除其他航點(diǎn)時(shí)，后面的航點(diǎn)也僅限于數(shù)組內(nèi)的數(shù)據(jù)向前點(diǎn)時(shí)，后面的航點(diǎn)也僅限于數(shù)組內(nèi)的數(shù)據(jù)向前移。移。 廂歲戳汪勒賒運(yùn)劍駁伺汀讕釩楷罷油圓居找詹紊堤健枯趟衛(wèi)盞貍耗軀舟玉軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟

36、件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 代碼類(lèi)缺陷（六）代碼類(lèi)缺陷（六） 失效表現(xiàn)失效表現(xiàn) 計(jì)算機(jī)采用計(jì)算機(jī)采用8086+8087方式，計(jì)算采用短實(shí)數(shù)格式，偶方式，計(jì)算采用短實(shí)數(shù)格式，偶爾發(fā)生計(jì)算失敗。爾發(fā)生計(jì)算失敗。 缺陷分析缺陷分析 由于輸入量中有接近零的情況，因此計(jì)算的個(gè)別中間結(jié)由于輸入量中有接近零的情況，因此計(jì)算的個(gè)別中間結(jié)果有可能小于短實(shí)數(shù)格式的最小值，另外由于果有可能小于短實(shí)數(shù)格式的最小值，另外由于8087是是80位二進(jìn)制運(yùn)算，但對(duì)它設(shè)置為短實(shí)數(shù)格式，并且在位二進(jìn)制運(yùn)算，但對(duì)它設(shè)置為短實(shí)數(shù)格式，并且在計(jì)算過(guò)程中有小于短實(shí)數(shù)格式的最小值的數(shù)字量出現(xiàn)時(shí)，計(jì)算過(guò)程中有小

37、于短實(shí)數(shù)格式的最小值的數(shù)字量出現(xiàn)時(shí)，8087就發(fā)生下溢，因?yàn)槌绦驔](méi)有對(duì)就發(fā)生下溢，因?yàn)槌绦驔](méi)有對(duì)8087下益的處理，下益的處理，所以所以8087向向8086送回一個(gè)未規(guī)格化的結(jié)果。送回一個(gè)未規(guī)格化的結(jié)果。 叼稽酗被兼味羚鉑駛紉疥鼓洗鞭敵碳走歐駿痔絮狄倚斷瞻割彬怕撒焚信奠軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 代碼類(lèi)缺陷（七）代碼類(lèi)缺陷（七） 糾正措施糾正措施 這個(gè)問(wèn)題的解決有兩種方法：這個(gè)問(wèn)題的解決有兩種方法： 當(dāng)當(dāng)8087產(chǎn)生下溢時(shí)引發(fā)一個(gè)產(chǎn)生下溢時(shí)引發(fā)一

38、個(gè)8086中斷，在中斷中斷，在中斷程序中進(jìn)行下溢處理，這種方法在沒(méi)有下溢出程序中進(jìn)行下溢處理，這種方法在沒(méi)有下溢出現(xiàn)時(shí)，并不增加時(shí)間開(kāi)銷(xiāo)，但要改變硬件連接；現(xiàn)時(shí)，并不增加時(shí)間開(kāi)銷(xiāo)，但要改變硬件連接； 對(duì)計(jì)算的中間結(jié)果進(jìn)行判別，當(dāng)小于對(duì)計(jì)算的中間結(jié)果進(jìn)行判別，當(dāng)小于10-8時(shí)，就時(shí)，就以機(jī)器零代替。以機(jī)器零代替。 稅彎躊吃幌山飲撞湘勒嫌裴獻(xiàn)蛔整脯藕習(xí)哼碰鏡鄙仟越顆返估伯圈昭判瓤軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 提提 綱綱 研究軟件失效的目的 軟件失效機(jī)理

39、的探討 軟件測(cè)試典型失效 有效的軟件測(cè)試有效的軟件測(cè)試 哺甕灶迢括朱鴿減乎漓恰年洼炯屋熏詫祝污膩身恒息肥碗胚把害忘禿律甸軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 有效的軟件測(cè)試有效的軟件測(cè)試 每種測(cè)試技術(shù)（方法）都針對(duì)某一類(lèi)（或幾類(lèi)）每種測(cè)試技術(shù)（方法）都針對(duì)某一類(lèi)（或幾類(lèi)）缺陷具有超出其他方法的優(yōu)勢(shì)；缺陷具有超出其他方法的優(yōu)勢(shì)； 從實(shí)踐來(lái)看，每一種測(cè)試技術(shù)（方法）都不可從實(shí)踐來(lái)看，每一種測(cè)試技術(shù)（方法）都不可能發(fā)現(xiàn)一個(gè)軟件中的所有缺陷；能發(fā)現(xiàn)一個(gè)軟件中的所有

40、缺陷； 在軟件生命周期的不同階段，需要使用不同的在軟件生命周期的不同階段，需要使用不同的測(cè)試技術(shù)（方法）找出不同類(lèi)型的缺陷。測(cè)試技術(shù)（方法）找出不同類(lèi)型的缺陷。 我踢慎負(fù)潞硬汞咯祥架癡煉剮塔溫汾教同翌八赤蹭痙燕窿懊甲瞥澄喇勾墨軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 代碼審查技術(shù)代碼審查技術(shù) 一種靜態(tài)測(cè)試方法；一種靜態(tài)測(cè)試方法； 通過(guò)試驗(yàn)統(tǒng)計(jì)數(shù)據(jù)，被某些機(jī)構(gòu)認(rèn)為是最有效通過(guò)試驗(yàn)統(tǒng)計(jì)數(shù)據(jù)，被某些機(jī)構(gòu)認(rèn)為是最有效的一種測(cè)試方法；的一種測(cè)試方法； 從實(shí)踐經(jīng)驗(yàn)來(lái)看，代

41、碼審查是一種對(duì)測(cè)試者水從實(shí)踐經(jīng)驗(yàn)來(lái)看，代碼審查是一種對(duì)測(cè)試者水平要求很高的一種方法；平要求很高的一種方法； 從對(duì)軟件缺陷的分類(lèi)來(lái)看，代碼審查適合測(cè)試從對(duì)軟件缺陷的分類(lèi)來(lái)看，代碼審查適合測(cè)試出代碼類(lèi)缺陷。出代碼類(lèi)缺陷。 莎孫肋成蕪幕雹豆介勇梧搭碧頻麥洱彥棒灘懦酶堂瘦稼快曬回助彬銷(xiāo)大拄軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 代碼審查技術(shù)代碼審查技術(shù) 發(fā)現(xiàn)代碼類(lèi)缺陷對(duì)測(cè)試者的要求：發(fā)現(xiàn)代碼類(lèi)缺陷對(duì)測(cè)試者的要求： 充分了解被測(cè)代碼的編程語(yǔ)言特性；充分了解被測(cè)代碼的編

42、程語(yǔ)言特性； 充分了解被測(cè)代碼所運(yùn)行環(huán)境的特性；充分了解被測(cè)代碼所運(yùn)行環(huán)境的特性； 充分了解軟件設(shè)計(jì)的思想；充分了解軟件設(shè)計(jì)的思想； 發(fā)現(xiàn)設(shè)計(jì)類(lèi)和需求類(lèi)缺陷的要求：發(fā)現(xiàn)設(shè)計(jì)類(lèi)和需求類(lèi)缺陷的要求： 理解被測(cè)軟件的需求；理解被測(cè)軟件的需求； 掌握被測(cè)軟件的應(yīng)用域知識(shí)；掌握被測(cè)軟件的應(yīng)用域知識(shí)； 盲丸硼盧昨滄拾核銑蹄炭鑰咆求雍窒麥乒鼻鏡巋址撞度凈柬最虐等耕賀瑰軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 系統(tǒng)測(cè)試技術(shù)系統(tǒng)測(cè)試技術(shù) 一種動(dòng)態(tài)測(cè)試方法；一種動(dòng)態(tài)測(cè)試方法； 關(guān)

43、心軟件的動(dòng)態(tài)行為（性能和功能），不關(guān)心關(guān)心軟件的動(dòng)態(tài)行為（性能和功能），不關(guān)心軟件的實(shí)現(xiàn)結(jié)構(gòu)；軟件的實(shí)現(xiàn)結(jié)構(gòu)； 系統(tǒng)測(cè)試的依據(jù)主要為軟件的需求和用戶(hù)手冊(cè)系統(tǒng)測(cè)試的依據(jù)主要為軟件的需求和用戶(hù)手冊(cè)以及任務(wù)書(shū)等；以及任務(wù)書(shū)等； 系統(tǒng)測(cè)試是一種較為綜合的方法，三類(lèi)缺陷均系統(tǒng)測(cè)試是一種較為綜合的方法，三類(lèi)缺陷均可發(fā)現(xiàn)?？砂l(fā)現(xiàn)。 難兩盎漂羔倚晝菲耳燕劊談桅佯摳弛活噎浮泉刮必趟綴伺習(xí)奔哨脅霹零污軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 系統(tǒng)測(cè)試技術(shù)系統(tǒng)測(cè)試技術(shù) 系統(tǒng)測(cè)試的充

44、分性很大程度受限于依據(jù)文系統(tǒng)測(cè)試的充分性很大程度受限于依據(jù)文檔的質(zhì)量和測(cè)試者的專(zhuān)業(yè)知識(shí)。檔的質(zhì)量和測(cè)試者的專(zhuān)業(yè)知識(shí)。 測(cè)試者應(yīng)具備的素質(zhì)包括：測(cè)試者應(yīng)具備的素質(zhì)包括： 充分了解被測(cè)軟件所支持的設(shè)備的基本原理與充分了解被測(cè)軟件所支持的設(shè)備的基本原理與功能；功能； 充分了解被測(cè)軟件所處理的應(yīng)用領(lǐng)域中的相關(guān)充分了解被測(cè)軟件所處理的應(yīng)用領(lǐng)域中的相關(guān)知識(shí)。知識(shí)。 腫惦叁爛鹽艱具攪?yán)迸倏椕啄_帝非朱碩磺材新愈孜崎咸瞅濃廁塢吃煉誼渡軟測(cè)試失效案例分析軟測(cè)試失效案例分析 首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì)首屆軍工產(chǎn)品軟件測(cè)試技術(shù)專(zhuān)題研討會(huì) 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 總

45、總 結(jié)結(jié) 研究軟件的失效可以讓開(kāi)發(fā)者的“盾”更堅(jiān)，讓測(cè)研究軟件的失效可以讓開(kāi)發(fā)者的“盾”更堅(jiān)，讓測(cè)試者的“矛”更鋒。試者的“矛”更鋒。 軟件缺陷的產(chǎn)生歸根結(jié)底由人為因素導(dǎo)致。軟件缺陷的產(chǎn)生歸根結(jié)底由人為因素導(dǎo)致。 知己知彼，方能百戰(zhàn)百勝，典型缺陷的分析有助于知己知彼，方能百戰(zhàn)百勝，典型缺陷的分析有助于認(rèn)識(shí)軟件的本質(zhì)。認(rèn)識(shí)軟件的本質(zhì)。 認(rèn)識(shí)缺陷，可以讓軟件測(cè)試有的放矢，提高測(cè)試質(zhì)認(rèn)識(shí)缺陷，可以讓軟件測(cè)試有的放矢，提高測(cè)試質(zhì)量。量。 裙腑鷹樊芥黎勛啪艙丁緒掐犯饑邏試躺咨柜壘忿屑殷毋實(shí)域盆朽碩周捅梳軟測(cè)試失效案例分析軟測(cè)試失效案例分析 汝?duì)栥K盧伴傳雛苞吐怨汝剛果磋臍戶(hù)究臘泌君罰觸繭扶拆產(chǎn)頂巷勤桐扳欠軟測(cè)試失效案例分析軟測(cè)試失效案例分析 謝謝 謝！謝！ 中航一集團(tuán)軟件可靠性管理與測(cè)評(píng)中心 攙比揣炒堆攜椿唇覓靖響做染巍蚤裕篆哈崖秦顛蹋謅喬崔董腥院瑩徐姬寂軟測(cè)試失效案例分析軟測(cè)試失效案例分析