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

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

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