飛行控制軟件單元測(cè)試的實(shí)施.pdf

1、飛行控制軟件是一個(gè)系統(tǒng)復(fù)雜、高安全性要求的嵌入式系統(tǒng)軟件。單元測(cè)試處在軟件測(cè)試前期，它是提高軟件質(zhì)量的焦點(diǎn)。單元測(cè)試是對(duì)程序代碼設(shè)計(jì)中的最小單元進(jìn)行正確性檢驗(yàn)的測(cè)試工作。飛行控制軟件的單元測(cè)試是從軟件生命周期最早期開始，保證軟件質(zhì)量，是第一個(gè)環(huán)節(jié)，也是最重要的環(huán)節(jié)。
　　 本文針對(duì)航天嵌入式軟件的特點(diǎn)，為保證其高可靠性，作者根據(jù)測(cè)試?yán)碚摵惋w行控制計(jì)算機(jī)的特點(diǎn)提出了如何實(shí)施單元測(cè)試。首先對(duì)當(dāng)前軟件單元測(cè)試現(xiàn)狀進(jìn)行分析，了解單元測(cè)試

2、實(shí)施的現(xiàn)狀和存在的問題。接著，了解軟件測(cè)試的基本理論和和單元測(cè)試相關(guān)的測(cè)試方法。在這些方法的基礎(chǔ)上，提出單元測(cè)試過程和單元測(cè)試用例設(shè)計(jì)方法，單元測(cè)試的過程是建立單元測(cè)試測(cè)試模型的基礎(chǔ)，也是測(cè)試策略的表現(xiàn)。測(cè)試用例設(shè)計(jì)方法是工程實(shí)踐的基礎(chǔ)。本文對(duì)于單元測(cè)試用例設(shè)計(jì)的方法主要描述基于需求的測(cè)試用例設(shè)計(jì)方法和基于覆蓋率的用例設(shè)計(jì)方法。在單元測(cè)試過程研究和單元測(cè)試設(shè)計(jì)用例設(shè)計(jì)方法的基礎(chǔ)上，以一個(gè)型號(hào)測(cè)試項(xiàng)目為實(shí)例，建立測(cè)試模型，描述單元測(cè)試活動(dòng)