嵌入式軟件模擬測試平臺中符號測試命令語言.pdf

1、在軟件生存周期里，測試活動是保證軟件質(zhì)量的主要手段之一。根據(jù)軟件工程的觀點，測試活動開始越早，修改錯誤的成本就越低。但是由于嵌入式軟件本身的特殊性，使得對該類軟件的動態(tài)功能性測試與驗證要等到硬件開發(fā)完成后方可進行，造成該類軟件的開發(fā)周期長、開發(fā)費用高且質(zhì)量難以保證的現(xiàn)狀。因此在嵌入式軟件開發(fā)中如何盡早的開始功能性測試與驗證，就成為該類軟件測試技術(shù)的主要研究內(nèi)容之一。國外在該領域起步較早并取得了豐碩的成果，而我國起步較晚，和國外相比有很大

2、的差距，因此也成為制約我國嵌入式軟件發(fā)展與應用的主要障礙。 為了能在該領域能跨上一個臺階，我國于2001年立項進行航空產(chǎn)品嵌入式軟件質(zhì)量控制技術(shù)研究，其中有一個子課題(編號418010704-3)名為“軟件測試驗證技術(shù)、工具研究開發(fā)”，而“嵌入式軟件模擬測試平臺”則是該子課題的主要組成部分，旨在解決嵌入式軟件功能性測試的難題。本論文是在此課題背景下展開研究的。論文的主要工作和成果表現(xiàn)在以下幾點： 1、考察了軟件測試的發(fā)展

3、歷史，闡述了軟件測試的內(nèi)涵與外延，從軟件生存周期的角度研究了測試活動對于保證軟件質(zhì)量的重要性，并總結(jié)了軟件測試活動的過程與步驟。 2、研究了嵌入式軟件難于測試的原因，闡述了三種開發(fā)模型的特點，討論了能提高嵌入式軟件開發(fā)能力的模型及其構(gòu)成，并闡述了模擬測試平臺在實施該模型當中的重要意義。 3、設計了模擬測試平臺的部分結(jié)構(gòu)，改造了原有的設計方案。在此基礎上研究了適合于嵌入式軟件的需求描述方法-SSR(StructuredSt