在航天技術(shù)日新月異發(fā)展的今天，人類為了更有效地探索和研究太空，需要基于計算機(jī)
技術(shù)的、功能強大的、可靠性非常高的航天系統(tǒng)和設(shè)備支持，航天軟件則是這些系統(tǒng)和設(shè)備的靈魂。因此研究高質(zhì)量、設(shè)計合理、運行可靠的航天軟件具有重要的意義。
國內(nèi)外的眾多事例已經(jīng)表明，當(dāng)代飛行器的大量災(zāi)難性事故是由軟件故障引起的，因此
如何減少軟件缺陷，提高航天軟件的可靠性已經(jīng)成為軟件界面臨的嚴(yán)峻挑戰(zhàn)[1]。軟件可靠性是最重要的軟件特性[2]，而航天軟件具有高實時性、工作環(huán)境惡劣、高精度、長壽命、工作期間無法直接人為干預(yù)等特點，因此對其進(jìn)行高可靠性的設(shè)計尤為重要。而充分的軟件測試是當(dāng)前提高軟件可靠性的有效手段，亦是軟件質(zhì)量保證的關(guān)鍵步驟，軟件錯誤往往是在設(shè)計時形成的，與硬件錯誤相比更難看到、更難檢測，那么在航天軟件設(shè)計中充分考慮可測性則是非常必要的。
星載微波探測儀是某衛(wèi)星的有效載荷，其軟件運行的安全可靠和正確穩(wěn)定是保證該載荷
成功完成探測任務(wù)的重要環(huán)節(jié)。本文提出了將軟件時序表化的設(shè)計方法，即將整個軟件設(shè)計為一張時序表，軟件設(shè)計中傳統(tǒng)的順序執(zhí)行結(jié)構(gòu)和循環(huán)執(zhí)行結(jié)構(gòu)替換為查時序表執(zhí)行，使微波探測儀軟件具有結(jié)構(gòu)簡單、模塊功能和結(jié)構(gòu)松散、易更改、可測性好、安全可靠等優(yōu)點。