嵌入式軟件模擬測試平臺(tái)中符號(hào)測試命令語言.pdf

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

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

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