TTCN-3編譯器測試覆蓋度量研究.pdf

1、編譯器作為一種系統(tǒng)級軟件，具有廣泛的應(yīng)用領(lǐng)域和高可靠性的測試需求，但目前對編譯器的測試仍以手工設(shè)計、開發(fā)、執(zhí)行測試用例方式為主，效率低下且易于出錯。建立在文法測試理論基礎(chǔ)之上的測試集合生成方法--規(guī)則覆蓋算法等只考慮了對被測編譯器語言文法語法層次上的測試覆蓋，為加強對被測語言的全面測試，語義覆蓋正逐步成為研究熱點。 在TTCN-3編譯器開發(fā)中存在兩大問題：手工測試方式造成的效率低下；以自然語言描述的測試需求分析為依據(jù)設(shè)計的測試用

2、例存在冗余、錯誤疏漏以及理解上的二義性。針對現(xiàn)有TTCN-3編譯器測試工作中存在的問題，以及文法測試覆蓋算法在語義規(guī)則覆蓋方面的局限性，研究并實現(xiàn)了一種用于TTCN-3編譯器測試用例的自動生成語義覆蓋算法：通過屬性文法的構(gòu)造完成被測編譯器語言的語義規(guī)則形式化，利用一種啟發(fā)式搜索算法生成測試集合，實現(xiàn)了對被測語言語法、語義規(guī)則的雙重覆蓋。在語義覆蓋算法中，還定義了一個包含對上下文無關(guān)文法和以屬性形式表示的語義規(guī)則覆蓋的測試覆蓋度量準則，用

3、于控制算法的終止。 提出的語義覆蓋算法不僅同時考慮了對被測語言語法、語義層面上的測試覆蓋，而且與規(guī)則覆蓋算法生成固定的測試集合所不同的是，語義覆蓋算法可以通過一些啟發(fā)策略的制定，使測試者可以靈活控制生成的測試集合的規(guī)模和導(dǎo)向性，生成覆蓋語言描述特定部分的測試集合。 針對語義覆蓋算法生成的測試集合存在僅包含諸如文法定義等黑盒信息的問題，給出了一套測試用例擴展方案，生成的帶有被測編譯器源碼分支信息的測試用例集合，保證了條件覆