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

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

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