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

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

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