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

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

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

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