计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2014年
11期
39-45
,共7页
程序测试%颜色Petri网%强连通图%测试路径%并行结构%状态空间%状态空间爆炸
程序測試%顏色Petri網%彊連通圖%測試路徑%併行結構%狀態空間%狀態空間爆炸
정서측시%안색Petri망%강련통도%측시로경%병행결구%상태공간%상태공간폭작
program test%colored Petri net%Strongly Connected Components(SCC)graph%test path%parallel architec-ture%state space%state space explosion
采用成熟的建模仿真工具CPN tools不仅仅对程序设计语言的三种基本结构进行了建模，而且对并行程序中的并行结构也进行了建模和仿真。在不针对某些具体语言比如C语言的情况下，提出了生成测试用例的新方法，该方法对具备三种基本结构特性的所有程序都具有普遍适用性。对具有并行结构的程序通过化简寻找测试路径。最后在生成测试用例之后，又利用CPN tools对所获得的测试用例进行选择和评价，最终确定合适的测试用例，不仅能够保证获取的测试路径是完整的而且是最优的。
採用成熟的建模倣真工具CPN tools不僅僅對程序設計語言的三種基本結構進行瞭建模，而且對併行程序中的併行結構也進行瞭建模和倣真。在不針對某些具體語言比如C語言的情況下，提齣瞭生成測試用例的新方法，該方法對具備三種基本結構特性的所有程序都具有普遍適用性。對具有併行結構的程序通過化簡尋找測試路徑。最後在生成測試用例之後，又利用CPN tools對所穫得的測試用例進行選擇和評價，最終確定閤適的測試用例，不僅能夠保證穫取的測試路徑是完整的而且是最優的。
채용성숙적건모방진공구CPN tools불부부대정서설계어언적삼충기본결구진행료건모，이차대병행정서중적병행결구야진행료건모화방진。재불침대모사구체어언비여C어언적정황하，제출료생성측시용례적신방법，해방법대구비삼충기본결구특성적소유정서도구유보편괄용성。대구유병행결구적정서통과화간심조측시로경。최후재생성측시용례지후，우이용CPN tools대소획득적측시용례진행선택화평개，최종학정합괄적측시용례，불부능구보증획취적측시로경시완정적이차시최우적。
Based on the mature modeling simulation tool CPN tools for programming language not only three basic struc-ture modeling, the parallel structure of parallel program has also carried on the modeling and simulation. Not for some specific language such as C language situation, it puts forward the generating test cases of the new method, this method to have three basic structure characteristics of all program has universal applicability. It finds testing path with parallel struc-ture of the program through the reduction. After generating test cases, it uses the CPN tools for test case selection and eval-uation, finally determines the appropriate test cases, can guarantee that testing path is complete and optimal.
