基于Par方法和Par平臺的軟件測試.pdf

1、本文的研究是基于抽象程序設(shè)計語言Apla到其它各類高級語言的自動程序轉(zhuǎn)換系統(tǒng)的軟件測試,是軟件系統(tǒng)PAR平臺開發(fā)的重要組成部分.在深入研究PAR方法及其PAR平臺和軟件測試?yán)碚摰幕A(chǔ)上,本文對PAR平臺這一專業(yè)性很強(qiáng)的應(yīng)用軟件選擇了適當(dāng)?shù)臏y試策略,并制定了相應(yīng)的測試計劃.測試計劃針對PAR方法的抽象程序設(shè)計語言Apla的語法和語義設(shè)計了專門的測試用例模板和測試用例集,分別覆蓋了PAR平臺中對Apla語言的程序結(jié)構(gòu)、標(biāo)識符、數(shù)據(jù)類型的定義

2、和使用、運(yùn)算符、語句、預(yù)定義標(biāo)準(zhǔn)過程和函數(shù)、過程和函數(shù)、泛型程序設(shè)計等轉(zhuǎn)換功能.本文從軟件測試的概念、目的、原則、方法、過程等各個方面進(jìn)行了論述;簡要介紹了被測系統(tǒng)PAR平臺中的Apla→Delphi自動程序轉(zhuǎn)換系統(tǒng)的結(jié)構(gòu)和使用情況,并分析了被測系統(tǒng)PAR平臺的特點;詳細(xì)的闡述了被測系統(tǒng)中測試用例的設(shè)計過程.在深入研究抽象程序設(shè)計語言Apla的特性之后,本文提出了測試用例自動生成器TCGA的初步設(shè)計思想,闡述了測試用例自動生成器TCGA