基于ANTLR自定義航天軟件測試語言的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、國家“十一五”預(yù)研項(xiàng)目“嵌入式半實(shí)物仿真測試平臺(tái)”的研究目的是構(gòu)建一個(gè)評(píng)測各種航天軟件的通用性測試平臺(tái)。航天軟件測試工作通常在半實(shí)物仿真平臺(tái)下進(jìn)行，具有較高的實(shí)時(shí)性，被測軟件運(yùn)行1分鐘都需要數(shù)兆的測試用例。顯然對(duì)于如此規(guī)模的測試數(shù)據(jù)，采用人工設(shè)計(jì)，手動(dòng)生成是不現(xiàn)實(shí)的。為使測試人員利用編程的方式完成測試用例生成的工作，課題提出設(shè)計(jì)和實(shí)現(xiàn)基于ANTLR自定義航天軟件測試語言(Test Script Language，TSL)。
　　自

2、定義航天軟件測試語言是為航天軟件測試領(lǐng)域完成測試用例生成任務(wù)而設(shè)計(jì)實(shí)現(xiàn)的，屬于領(lǐng)域?qū)Ｓ谜Z言(domain-specific languages，DSLs)。其設(shè)計(jì)和實(shí)現(xiàn)的難點(diǎn)主要有兩個(gè)：第一，如何設(shè)計(jì)一套規(guī)范的語言文法規(guī)則，并生成語言識(shí)別器，最終能夠解釋執(zhí)行；第二，在自定義語言環(huán)境中，如何對(duì)航天軟件中的模擬器進(jìn)行操作并生成字節(jié)碼形式的測試用例。本文就自定義航天軟件測試語言的設(shè)計(jì)和實(shí)現(xiàn)做了以下幾方面的工作：
　　1.詳細(xì)地綜述了相關(guān)