基于CPN和TTCn-3的軟件并發(fā)行為的測(cè)試.pdf

1、在軟件生命周期過(guò)程中，軟件測(cè)試是保證軟件質(zhì)量的關(guān)鍵環(huán)節(jié)之一。隨著分布式系統(tǒng)的不斷發(fā)展，網(wǎng)絡(luò)并發(fā)軟件的測(cè)試方法受到了廣泛關(guān)注與討論。由于并發(fā)實(shí)體之間存在著復(fù)雜的交互行為，使得并發(fā)軟件具有不確定性和不可重復(fù)性，這給測(cè)試工作帶來(lái)了很大困難。針對(duì)該問(wèn)題，本文提出了一種方法，可以較好地解決并發(fā)軟件的測(cè)試問(wèn)題。本文主要做了以下幾方面工作:
　　(1)開發(fā)了一個(gè)具有并發(fā)特性的軟件，然后基于CPN對(duì)該軟件進(jìn)行了層次化建模。
　　(2)使用一

2、種化簡(jiǎn)算法對(duì)模型進(jìn)行了化簡(jiǎn)，該方法有效地縮減了模型的狀態(tài)空間，有利于測(cè)試生成。通過(guò)對(duì)化簡(jiǎn)前后狀態(tài)空間分析報(bào)告的對(duì)比，驗(yàn)證了該算法對(duì)模型中并發(fā)行為的化簡(jiǎn)具有很好的效果。
　　(3)提出了一種測(cè)試序列生成算法，該算法首先確定被測(cè)并發(fā)行為在狀態(tài)空間中的初始結(jié)點(diǎn)和終端結(jié)點(diǎn)的位置，根據(jù)結(jié)點(diǎn)之間是否具有前驅(qū)和后繼關(guān)系縮減結(jié)點(diǎn)數(shù)目，將初始結(jié)點(diǎn)和終端結(jié)點(diǎn)兩兩配對(duì)，生成了兩個(gè)結(jié)點(diǎn)之間的測(cè)試序列。
　　(4)根據(jù)生成的測(cè)試序列，編寫TTCN-3