可靠性與系統(tǒng)工程專業(yè)實(shí)習(xí)總結(jié)

北京航空航天大學(xué)可靠性與系統(tǒng)工程學(xué)院專業(yè)實(shí)習(xí)總結(jié)19521952學(xué)號(hào)：姓名：質(zhì)量與可靠性工程專業(yè)認(rèn)識(shí)實(shí)習(xí)總結(jié)2010-2011學(xué)年開學(xué)伊始，我們學(xué)院安排大二學(xué)生進(jìn)行小學(xué)期實(shí)習(xí)。應(yīng)該說，這是一個(gè)很好的機(jī)會(huì)來對(duì)我們專業(yè)進(jìn)行了解和認(rèn)識(shí)。雖然，我們來到大學(xué)，來到14系已經(jīng)有兩年的時(shí)間，但是這兩年來進(jìn)行的都是基礎(chǔ)課程的學(xué)習(xí)，并沒有涉及專業(yè)課程的學(xué)習(xí)。因此，我們對(duì)于我們的專業(yè)的了解仍然是模糊而不深刻的。應(yīng)該說，在即將開始大學(xué)三年級(jí)的專業(yè)課程學(xué)習(xí)之前，進(jìn)行這樣的專業(yè)認(rèn)識(shí)實(shí)習(xí)是十分有必要的，這對(duì)于我們?cè)谶M(jìn)行專業(yè)課程學(xué)習(xí)之前，對(duì)我們的專業(yè)有一個(gè)大致的了解以及對(duì)今后我們選擇專業(yè)方向等方面有著很大的幫助。下面來談?wù)勥@次實(shí)習(xí)過程中我的一些對(duì)于本專業(yè)的粗淺的認(rèn)識(shí)。這次的專業(yè)人士實(shí)習(xí)是按照專業(yè)方向來進(jìn)行的，我的總結(jié)也會(huì)按照這樣的順序?？煽啃怨こ袒A(chǔ)1.1具備的能力以系統(tǒng)工程理論方法為基礎(chǔ)，研究工程系統(tǒng)的質(zhì)量與可靠性問題。將來主要從事工程設(shè)計(jì)，技術(shù)研究，管理工作等方面的工作。1.2施展領(lǐng)域航空航天、機(jī)械、電子、計(jì)算機(jī)等諸多領(lǐng)域。1.3專業(yè)重要性質(zhì)量管理與科學(xué)相結(jié)合，技術(shù)先進(jìn)性同性能穩(wěn)定性、可靠性、安全性相結(jié)合。因此，可靠性工程在科技發(fā)展、產(chǎn)品質(zhì)量方面具有十分重要的作用。1.4現(xiàn)代質(zhì)量觀時(shí)代的發(fā)展，使人們對(duì)于產(chǎn)品的關(guān)注從性能向效能方面轉(zhuǎn)變，從產(chǎn)品的采購費(fèi)用向壽命周期費(fèi)用轉(zhuǎn)變。從而達(dá)到以最少的壽命周期費(fèi)用實(shí)現(xiàn)最好的產(chǎn)品效果。現(xiàn)代產(chǎn)品質(zhì)量關(guān)注于產(chǎn)品的五個(gè)方面：可靠性，維修性，保障性，測(cè)試性，安全性。1.5可靠性研究的意義1、 提高產(chǎn)品的可靠性，能夠防止事故的發(fā)生。2、 提高產(chǎn)品的可靠性，能狗使產(chǎn)品的總費(fèi)用降低。3、 提高產(chǎn)品的可靠性，能夠減少停機(jī)時(shí)間，提高效率。4、 提高產(chǎn)品的可靠性，能夠改善公司的信譽(yù)，增強(qiáng)競(jìng)爭(zhēng)力。1.6可靠性研究的浴盆曲線1.7產(chǎn)品研發(fā)各個(gè)階段與可靠性研究的關(guān)系產(chǎn)品在需求分析階段、設(shè)計(jì)階段、工程研制階段和生產(chǎn)制造階段都需開展一定的可靠性設(shè)計(jì)分析、管理、試驗(yàn)工作。開展的時(shí)機(jī)和推薦開展的項(xiàng)目如下表所示：按照產(chǎn)品的層次結(jié)構(gòu)，產(chǎn)品的系統(tǒng)層次、裝置層次、部件層次和零件層次都分別有相應(yīng)的可靠性工作內(nèi)容，即產(chǎn)品不同層次的可靠性影響因素和薄弱環(huán)節(jié)各有特點(diǎn)，需要分別開展相應(yīng)的可靠性設(shè)計(jì)、管理、試驗(yàn)工作項(xiàng)目解決?？値熀晚?xiàng)目管理者需要在產(chǎn)品的工程化角度把握可靠性工程的開展和實(shí)施。影響器件可靠性的主要因素包括器件的種類和數(shù)量、器件的額定工作電參數(shù)和電應(yīng)力、額定工作溫度和環(huán)境溫度、元器件的質(zhì)量等級(jí)和品質(zhì)保證等級(jí)，器件的降額特性和熱敏感特性，器件的儲(chǔ)存可靠性；影響部件可靠性的主要因素包括器件本身的可靠性與器件相互影響，主要需要考慮的因素為熱分析、電磁兼容、耐環(huán)境、信號(hào)完整性、潛通路和工藝工裝；影響裝置可靠性的主要因素包括部件之間的相互影響和結(jié)構(gòu)、工藝、連接；影響系統(tǒng)可靠性的主要因素包括冗余設(shè)計(jì)、人機(jī)工程和系統(tǒng)可靠性設(shè)計(jì)。建立可靠性工程體系，開展和實(shí)施可靠性工程是產(chǎn)品高可靠性的必要條件，可靠性設(shè)計(jì)分析是可靠性工程的基礎(chǔ)，可靠性設(shè)計(jì)水平差的產(chǎn)品可靠性必然低；可靠性的設(shè)計(jì)需要可靠性管理，可靠性管理是開展可靠性設(shè)計(jì)的技術(shù)管理保證和組織結(jié)構(gòu)保證；設(shè)計(jì)出的產(chǎn)品在生產(chǎn)階段難免引入“瑕疵”，需要可靠性試驗(yàn)“暴露”。下文以產(chǎn)品研發(fā)過程為例介紹可靠性具體工作思路。在需求開發(fā)階段，要明確用戶的可靠性需求，將用戶的可靠性需求轉(zhuǎn)化為明確的可靠性設(shè)計(jì)指標(biāo)要求值；通過繪制可靠性框圖和建立可靠性模型，對(duì)系統(tǒng)可靠性進(jìn)行評(píng)估，并確定系統(tǒng)失效判定準(zhǔn)則，明確返修的依據(jù)，并根據(jù)返修率調(diào)整售后服務(wù)策略。在總體設(shè)計(jì)階段，需利用可靠性分配，將總體的可靠性指標(biāo)值逐層分解，轉(zhuǎn)化為各裝置、的可靠性設(shè)計(jì)指標(biāo)要求值，同時(shí)通過每個(gè)裝置選用器件的大致種類、數(shù)量和使用條件進(jìn)行可靠性預(yù)計(jì)，得出每個(gè)裝置的基本可靠性設(shè)計(jì)值大致范圍?？煽啃苑峙浣Y(jié)合可靠性預(yù)計(jì)確定每個(gè)裝置的可靠性設(shè)計(jì)要求值。同時(shí)，在總體設(shè)計(jì)階段需要建立可靠性工作組織和明確后續(xù)構(gòu)建階段、實(shí)現(xiàn)階段和產(chǎn)品交付用戶后，需要開展的可靠性設(shè)計(jì)分析、管理和試驗(yàn)工作項(xiàng)目，保證各裝置的可靠性設(shè)計(jì)指標(biāo)能夠達(dá)到設(shè)計(jì)指標(biāo)要求值。在構(gòu)建階段，需將裝置的可靠性設(shè)計(jì)指標(biāo)要求值分配到各部件，形成各部件可靠性設(shè)計(jì)指標(biāo)要求值。分配需要結(jié)合預(yù)計(jì)的結(jié)果，最終得到相對(duì)合理的各部件可靠性指標(biāo)設(shè)計(jì)要求值。詳細(xì)設(shè)計(jì)階段是分別開展器件級(jí)別、部件級(jí)別、整件級(jí)別、裝置級(jí)別和系統(tǒng)級(jí)別的可靠性設(shè)計(jì)分析、可靠性試驗(yàn)和管理活動(dòng)，確保產(chǎn)品各級(jí)設(shè)計(jì)可靠性指標(biāo)達(dá)到可靠性指標(biāo)要求值。元器件級(jí)的可靠性設(shè)計(jì)方法包括器件的選擇與使用、降額設(shè)計(jì)、器件面向使用電應(yīng)力設(shè)計(jì)和失效機(jī)理分析；電路的可靠性設(shè)計(jì)方法包括簡(jiǎn)化方案，避免片面追求高性能指標(biāo)和過多的功能，合理劃分軟硬件功能和合理的元器件使用，綜合熱設(shè)計(jì)、容差與漂移設(shè)計(jì)、電氣互連的可靠性設(shè)計(jì)、機(jī)械防振設(shè)計(jì)、氣候環(huán)境防護(hù)設(shè)計(jì)、電磁兼容設(shè)計(jì)、工藝工裝設(shè)計(jì)和對(duì)外協(xié)的要求。裝置和系統(tǒng)的可靠性設(shè)計(jì)包括簡(jiǎn)化設(shè)計(jì)、冗余設(shè)計(jì)、熱設(shè)計(jì)、環(huán)境防護(hù)設(shè)計(jì)、抗沖擊、振動(dòng)、嗓聲設(shè)計(jì)、健壯設(shè)計(jì)、安裝設(shè)計(jì)、原材料、零部件、元器件選用設(shè)計(jì)、包裝、存儲(chǔ)、裝卸和運(yùn)輸設(shè)計(jì)、系統(tǒng)可靠性評(píng)估。各級(jí)系統(tǒng)除開展可靠性設(shè)計(jì)外，還需進(jìn)行可靠性統(tǒng)計(jì)分析，確定各級(jí)系統(tǒng)的薄弱部位和關(guān)重件，外界條件敏感環(huán)節(jié)，設(shè)計(jì)改進(jìn)措施/建議和改進(jìn)后的效果。產(chǎn)品可靠性工作需要在研發(fā)階段導(dǎo)入。產(chǎn)品定型后可靠性的提升將非常有限。根據(jù)產(chǎn)品研發(fā)的過程，可靠性工程的總體流程圖如下：產(chǎn)品可靠性工程的基礎(chǔ)是用于開展可靠性具體設(shè)計(jì)分析工作的基礎(chǔ)數(shù)據(jù)庫，基礎(chǔ)數(shù)據(jù)庫是設(shè)計(jì)經(jīng)驗(yàn)的匯總，需要導(dǎo)入專家的意見和設(shè)計(jì)經(jīng)驗(yàn)?；A(chǔ)數(shù)據(jù)庫的完備與否直接決定了開展可靠性設(shè)計(jì)分析工作的水平。產(chǎn)品的高可靠性不是一次達(dá)到的，是漸次逼近的過程。需要注意，開展可靠性工程并不能直接使產(chǎn)品具有高可靠性，可靠性工程是產(chǎn)品高可靠性的思路、手段、途徑和制度保證。可靠性工程，是采購、研發(fā)、倉儲(chǔ)、運(yùn)輸、質(zhì)量、管理多個(gè)職能部門共同工作的結(jié)果，在任一個(gè)環(huán)節(jié)措施不當(dāng)，都可能引入產(chǎn)品失效的隨機(jī)過程。例如，研發(fā)人員應(yīng)對(duì)產(chǎn)品采購提供技術(shù)支持，對(duì)器件的生產(chǎn)年限、采購渠道、工藝特性、包裝要求和驗(yàn)收準(zhǔn)則提出明確具體的要求；研發(fā)人員根據(jù)器件在儲(chǔ)存條件下的失效過程提出器件的存儲(chǔ)要求。目前，無論國(guó)內(nèi)外和軍品、民品，可靠性工程都有了一定程度的積累，并形成了很多標(biāo)準(zhǔn)，企業(yè)需要根據(jù)自己產(chǎn)品的特點(diǎn)結(jié)合打造精益研發(fā)流程和管理流程的目標(biāo)要求，結(jié)合現(xiàn)有公司的資源和成果物系統(tǒng)布局，從中吸取有價(jià)值的工具、方法、流程和模板，打造適合本企業(yè)業(yè)務(wù)特點(diǎn)的可靠性工程體系。1.8可維ARMS軟件介紹可維ARMS以國(guó)內(nèi)軍民品研制的可靠性、維修性、保障性、測(cè)試性和安全性設(shè)計(jì)分析工作需求為出發(fā)點(diǎn)，進(jìn)行總體規(guī)劃和設(shè)計(jì)，可滿足航空、航天、兵器、船舶、電子、核等各行業(yè)軍品企業(yè)開展五性設(shè)計(jì)分析和管理工作的需要，其設(shè)計(jì)分析工具涵蓋五性設(shè)計(jì)分析中最實(shí)用和最常用的工程方法。二、工程系統(tǒng)工程系虛擬維修實(shí)驗(yàn)室2.1實(shí)驗(yàn)室簡(jiǎn)介虛擬：即虛擬現(xiàn)實(shí)技術(shù)，指利用必要的手段通過虛擬環(huán)境的模擬來實(shí)現(xiàn)等同于真實(shí)環(huán)境。維修：維修性工程領(lǐng)域問題。本實(shí)驗(yàn)室同時(shí)也是可靠性與環(huán)境工程技術(shù)國(guó)防重點(diǎn)實(shí)驗(yàn)室。2.2虛擬維修介紹3I理論：交互(interactive)沉浸(immersion)想象(imagination)虛擬維修是虛擬技術(shù)近年來的一個(gè)重要研究方向，目的是通過采用計(jì)算機(jī)仿真和虛擬現(xiàn)實(shí)技術(shù)在計(jì)算機(jī)上真實(shí)展現(xiàn)裝備的維修過程，增強(qiáng)裝備壽命周期各階段關(guān)于維修的各種決策能力，包括維修性設(shè)計(jì)分析、維修性演示驗(yàn)證、維修過程核查、維修訓(xùn)練實(shí)施等。虛擬現(xiàn)實(shí)技術(shù)在產(chǎn)品維修維護(hù)中的應(yīng)用隨著網(wǎng)絡(luò)的發(fā)達(dá)及計(jì)算機(jī)軟硬件的進(jìn)展，應(yīng)用層面會(huì)更廣，成長(zhǎng)幅度會(huì)更大。網(wǎng)絡(luò)傳輸?shù)谋憬菖c快速處理，利用計(jì)算機(jī)科技來呈現(xiàn)產(chǎn)品設(shè)計(jì)成果，已成為新的趨勢(shì)，而且技術(shù)日新月異。三、軟件可靠性3.1軟件可靠性的定義1983年美國(guó)IEEE計(jì)算機(jī)學(xué)會(huì)對(duì)“軟件可靠性”作出了明確定義，此后該定義被美國(guó)標(biāo)準(zhǔn)化研究所接受為國(guó)家標(biāo)準(zhǔn)，1989年我國(guó)也接受該定義為國(guó)家標(biāo)準(zhǔn)。該定義包括兩方面的含義：（1） 在規(guī)定的條件下，在規(guī)定的時(shí)間內(nèi)，軟件不引起系統(tǒng)失效的概率；（2） 在規(guī)定的時(shí)間周期內(nèi)，在所述條件下程序執(zhí)行所要求的功能的能力；其中的概率是系統(tǒng)輸入和系統(tǒng)使用的函數(shù)，也是軟件中存在的故障的函數(shù)，系統(tǒng)輸入將確定是否會(huì)遇到已存在的故障（如果故障存在的話）。3.2影響軟件可靠性的因素軟件可靠性是關(guān)于軟件能夠夠滿足需求功能的性質(zhì)，軟件不能滿足需求是因?yàn)檐浖械牟铄e(cuò)引起了軟件故障。軟件中有哪些可能的差錯(cuò)呢？軟件差錯(cuò)是軟件開發(fā)各階段潛入的人為錯(cuò)誤：需求分析定義錯(cuò)誤。如用戶提出的需求不完整，用戶需求的變更未及時(shí)消化，軟件開發(fā)者和用戶對(duì)需求的理解不同等等。設(shè)計(jì)錯(cuò)誤。如處理的結(jié)構(gòu)和算法錯(cuò)誤，缺乏對(duì)特殊情況和錯(cuò)誤處理的考慮等。編碼錯(cuò)誤。如語法錯(cuò)誤，變量初始化錯(cuò)誤等。測(cè)試錯(cuò)誤。如數(shù)據(jù)準(zhǔn)備錯(cuò)誤，測(cè)試用例錯(cuò)誤等。文檔錯(cuò)誤。如文檔不齊全，文檔相關(guān)內(nèi)容不一致，文檔版本不一致，缺乏完整性等。從上游到下游，錯(cuò)誤的影響是發(fā)散的，所以要盡量把錯(cuò)誤消除在開發(fā)前期階段。錯(cuò)誤引入軟件的方式可歸納為兩種特性：程序代碼特性，開發(fā)過程特性。程序代碼一個(gè)最直觀的特性是長(zhǎng)度，另外還有算法和語句結(jié)構(gòu)等，程序代碼越長(zhǎng)，結(jié)構(gòu)越復(fù)雜，其可靠性越難保證。開發(fā)過程特性包括采用的工程技術(shù)和使用的工具，也包括開發(fā)者個(gè)人的業(yè)務(wù)經(jīng)歷水平等。除了軟件可靠性外，影響可靠性的另一個(gè)重要因素是健壯性，對(duì)非法輸入的容錯(cuò)能力。所以提高可靠性從原理上看就是要減少錯(cuò)誤和提高健壯性。3.3軟件的可靠性及其保證用軟件系統(tǒng)規(guī)模越做越大越復(fù)雜，其可靠性越來越難保證。應(yīng)用本身對(duì)系統(tǒng)運(yùn)行的可靠性要求越來越高，在一些關(guān)鍵的應(yīng)用領(lǐng)域，如航空、航天等，其可靠性要求尤為重要，在銀行等服務(wù)性行業(yè)，其軟件系統(tǒng)的可靠性也直接關(guān)系到自身的聲譽(yù)和生存發(fā)展競(jìng)爭(zhēng)能力。特別是軟件可靠性比硬件可靠性更難保證，會(huì)嚴(yán)重影響整個(gè)系統(tǒng)的可靠性。在許多項(xiàng)目開發(fā)過程中，對(duì)可靠性沒有提出明確的要求，開發(fā)商（部門）也不在可靠性方面花更多的精力，往往只注重速度、結(jié)果的正確性和用戶界面的友好性等，而忽略了可靠性。在投入使用后才發(fā)現(xiàn)大量可靠性問題，增加了維護(hù)困難和工作量，嚴(yán)重時(shí)只有束之高閣，無法投入實(shí)際使用。四、軟件可信性工程研究中心（011室）4.1簡(jiǎn)介軟件工程教研室、軟件工程研究室現(xiàn)有教授2名（博士生導(dǎo)師1名），副教授3名，博士生12名，另有講師、工程師、技術(shù)員和碩士生共30余人，形成了良好的教學(xué)、科研梯隊(duì)。本室下設(shè)有一個(gè)高水平的軟件可靠性測(cè)試與驗(yàn)證試驗(yàn)室，并承擔(dān)了”中國(guó)航空工業(yè)第一集團(tuán)公司計(jì)算機(jī)軟件可靠性管理與測(cè)評(píng)中心”及”中國(guó)航空工業(yè)第二集團(tuán)公司計(jì)算機(jī)軟件質(zhì)量可靠性管理與測(cè)評(píng)中心”兩個(gè)中心的主要技術(shù)研究與軟件測(cè)評(píng)工作。4.2本室的主要研究方向與研究?jī)?nèi)容：實(shí)時(shí)嵌入式軟件可靠性仿真測(cè)試環(huán)境通用化構(gòu)型研究；實(shí)時(shí)軟件運(yùn)行剖面構(gòu)造與測(cè)試腳本、測(cè)試數(shù)據(jù)自動(dòng)生成技術(shù)研究；超節(jié)點(diǎn)實(shí)時(shí)通信網(wǎng)絡(luò)構(gòu)建技術(shù)的研究與開發(fā)；軟件可靠性度量與預(yù)計(jì)方法的研究；軟件測(cè)試充分性的理論與應(yīng)用研究等。在上述研究方向上，本室已培養(yǎng)博士后2人，博士生14人，碩士生18人。4.3本室目前配備有以下測(cè)試環(huán)境：自行開發(fā)的具有國(guó)際先進(jìn)水平的分布式嵌入式軟件可靠性仿真測(cè)試平臺(tái)；自行開發(fā)的嵌入式軟件可靠性仿真測(cè)試單機(jī)平臺(tái)；從德國(guó)引進(jìn)的、當(dāng)前國(guó)際最先進(jìn)的ADS2軟件測(cè)試系統(tǒng)；自行開發(fā)的具有國(guó)際先進(jìn)水平的軟件可靠性評(píng)估工具SRAT等。4.4本室近年承擔(dān)并完成的技術(shù)研究與型號(hào)工程工作主要有：“九■五”重點(diǎn)預(yù)研課題“嵌入式軟件可靠性仿真測(cè)試與驗(yàn)證技術(shù)”，及“可靠軟件的度量及軟件可靠性預(yù)計(jì)方法”經(jīng)專家技術(shù)鑒定達(dá)到國(guó)際先進(jìn)水平，分別獲國(guó)防科學(xué)技術(shù)二等獎(jiǎng)及三等獎(jiǎng);承擔(dān)了國(guó)家高新工程5個(gè)重點(diǎn)型號(hào)關(guān)鍵軟件的第三方測(cè)試工作；完成了多個(gè)橫向技術(shù)課題及大量技術(shù)培訓(xùn)工作；完成了高質(zhì)量的國(guó)防技術(shù)報(bào)告10余份，并在國(guó)內(nèi)外學(xué)術(shù)刊物上發(fā)表學(xué)術(shù)論文近百篇。4.5本室可提供的技術(shù)研究成果及技術(shù)服務(wù)有：各類嵌入式實(shí)時(shí)軟件的系統(tǒng)（軟/硬件總和）測(cè)試環(huán)境（被測(cè)目標(biāo)系統(tǒng)軟件的工作周期可達(dá)到由毫秒）；軟件的第三方測(cè)試，包含源代碼走查、白盒測(cè)試、黑盒測(cè)試（特別是系統(tǒng)級(jí)軟件的功能測(cè)試、可靠性測(cè)試、強(qiáng)度測(cè)試、回歸測(cè)試）；軟件可靠性評(píng)估工具開發(fā)提供及軟件測(cè)試技術(shù)人員培養(yǎng)與培訓(xùn)等多項(xiàng)技術(shù)研究與開發(fā)工作。4.6軟件工程化推進(jìn)工作使用的軟件工具：TCS（前期）GESTE（中期）SRET（后期）4.7GESTE2.0簡(jiǎn)介GESTE2.0為嵌入式軟件提供通用式的仿真測(cè)試環(huán)境，實(shí)現(xiàn)對(duì)嵌入式軟件進(jìn)行實(shí)時(shí)、閉環(huán)的、非侵入式的系統(tǒng)測(cè)試。在通用性的基礎(chǔ)上，支持并輔助二次開發(fā)，從而滿足專用測(cè)試需求。4.8關(guān)于嵌入式軟件的軟件測(cè)試嵌入式系統(tǒng)的廣泛應(yīng)用引發(fā)了對(duì)嵌入式軟件質(zhì)量的深入討論。由于軟件作為人的思維邏輯產(chǎn)物,必然存在設(shè)計(jì)、開發(fā)等方面的缺陷，隨著軟件性能和復(fù)雜度不斷提高，人為的軟件錯(cuò)誤無法避免。如果軟件未經(jīng)測(cè)試而直接使用,那么在使用過程中發(fā)現(xiàn)的缺陷將導(dǎo)致軟件經(jīng)濟(jì)成本大幅增加，使軟件在較長(zhǎng)時(shí)間內(nèi)無法發(fā)揮應(yīng)有至容易導(dǎo)致重大事故。尤其是對(duì)于裝備軟件來說，將缺陷留在使用過程中暴露出來，其后果是災(zāi)難性的。因此通過軟件測(cè)試發(fā)現(xiàn)缺陷仍然是目前確保軟件質(zhì)量的關(guān)鍵。目前軟件測(cè)試仍然是保證質(zhì)量與可靠性的最有力手段。由于嵌入式軟件具有軟硬件結(jié)合密切、實(shí)時(shí)性較強(qiáng)以及接口復(fù)雜等特點(diǎn)，針對(duì)嵌入式系統(tǒng)的軟件測(cè)試更側(cè)重于利用仿真原理進(jìn)行的系統(tǒng)測(cè)試。國(guó)際上公認(rèn)的一種非常有效的測(cè)試方法是對(duì)其進(jìn)行軟件仿真測(cè)試：即通過仿真環(huán)境模擬嵌入式系統(tǒng)的真實(shí)交聯(lián)輸入，在仿真的環(huán)境下實(shí)現(xiàn)嵌入式軟件在各種情況下的使用，從而在軟件正式使用之前暴露出嵌入式軟件的缺陷，提高嵌入式軟件的可靠性。而對(duì)于武器裝備、航空航天等軟件進(jìn)行仿真測(cè)試，需要仿真測(cè)試環(huán)境同時(shí)進(jìn)行多個(gè)交聯(lián)設(shè)備的仿真，以及支持伴隨而來的大量接口、極高的時(shí)間精度、復(fù)雜的數(shù)據(jù)格式、繁瑣的閉環(huán)反饋。傳統(tǒng)測(cè)試方案在測(cè)試如此龐大的數(shù)據(jù)時(shí),在實(shí)時(shí)性方面則力不從心。為此由中航一集團(tuán)軟件可靠性測(cè)試與管理中心與北京新空間網(wǎng)計(jì)算機(jī)有限責(zé)任公司合作開發(fā)了具有自主知識(shí)產(chǎn)權(quán)的“通用嵌入式軟件測(cè)試環(huán)境(GESTE廣,提供了仿真模型框架的自動(dòng)生成功能，能夠通過圖形化的方式,自動(dòng)為用戶生成交聯(lián)設(shè)備的仿真模型框架，極大的提高了仿真能力，減輕了測(cè)試人員的負(fù)擔(dān)。4.9關(guān)于軟件測(cè)試軟件測(cè)試主要工作內(nèi)容是驗(yàn)證(verification)和確認(rèn)(validation)，下面分別給出其概念：驗(yàn)證(verification)是保證軟件正確地實(shí)現(xiàn)了一些特定功能的一系列活動(dòng)，即保證軟件做了你所期望的事情。(Dotherightthing)確定軟件生存周期中的一個(gè)給定階段的產(chǎn)品是否達(dá)到前階段確立的需求的過程；程序正確性的形式證明，即采用形式理論證明程序符合設(shè)計(jì)規(guī)約規(guī)定的過程；評(píng)市、審查、測(cè)試、檢查、審計(jì)等各類活動(dòng)，或?qū)δ承╉?xiàng)處理、服務(wù)或文件等是否和規(guī)定的需求相一致進(jìn)行判斷和提出報(bào)告。確認(rèn)（validation）是一系列的活動(dòng)和過程，目的是想證實(shí)在一個(gè)給定的外部環(huán)境中軟件的邏輯正確性。即保證軟件以正確的方式來做了這個(gè)事件（Doitright）靜態(tài)確認(rèn)，不在計(jì)算機(jī)上實(shí)際執(zhí)行程序，通過人工或程序分析來證明軟件的正確性；動(dòng)態(tài)確認(rèn)，通過執(zhí)行程序做分析，測(cè)試程序的動(dòng)態(tài)行為，以證實(shí)軟件是否存在問題。軟件測(cè)試的對(duì)象不僅僅是程序測(cè)試，軟件測(cè)試應(yīng)該包括整個(gè)軟件開發(fā)期間各個(gè)階段所產(chǎn)生的文檔，如需求規(guī)格說明、概要設(shè)計(jì)文檔、詳細(xì)設(shè)計(jì)文檔，當(dāng)然軟件測(cè)試的主