TTCN-3編譯器測(cè)試用例集自動(dòng)生成研究與實(shí)現(xiàn).pdf

1、本文探討了TTCN-3編譯器測(cè)試用例集自動(dòng)生成的研究與實(shí)現(xiàn)。隨著TTCN-3語(yǔ)言的廣泛使用，其編譯器的質(zhì)量問(wèn)題越來(lái)越成為相關(guān)領(lǐng)域的核心問(wèn)題。測(cè)試工作在整個(gè)編譯器的開(kāi)發(fā)過(guò)程中占用了大部分的人力物力，測(cè)試用例集是整個(gè)測(cè)試工作中的核心。由于編譯器實(shí)現(xiàn)的復(fù)雜性，使得繁重的手工構(gòu)造測(cè)試用例集很難對(duì)編譯器質(zhì)量加以有力保證。引入測(cè)試用例自動(dòng)生成技術(shù)，成了一種必然選擇。 通過(guò)總結(jié)手工測(cè)試經(jīng)驗(yàn)，結(jié)合編譯器構(gòu)造、程序語(yǔ)言設(shè)計(jì)、測(cè)試數(shù)據(jù)生成、和TTC

2、N-3語(yǔ)言特性，提出了一種層次化、結(jié)構(gòu)化的靈活的測(cè)試用例集自動(dòng)生成方案。該方案嚴(yán)格按照TTCN-3語(yǔ)言規(guī)范要求。整個(gè)生成過(guò)程，以語(yǔ)言規(guī)范給出的EBNF為基礎(chǔ)．按照語(yǔ)言特性將EBNF分解成層次化的子規(guī)則集，然后以屬性代碼的方式，加入語(yǔ)義描述，形成針對(duì)測(cè)試用例生成的屬性子文法。使用遞歸分析樹(shù)生成器，生成中間表示形式的分析子樹(shù)集；按照語(yǔ)法語(yǔ)義約束，將分析子樹(shù)進(jìn)行組合后，得到以分析樹(shù)形式存在的測(cè)試用例。在覆蓋分析指導(dǎo)下不斷的生成測(cè)試用例，完成測(cè)