基于遺傳算法的協(xié)議一致性測試序列生成研究.pdf

1、在軟件測試基礎上發(fā)展起來的協(xié)議測試是協(xié)議開發(fā)過程中的重要環(huán)節(jié)。協(xié)議測試中的協(xié)議一致性測試是最重要的協(xié)議測試。通過對協(xié)議實現(xiàn)(待測實體)的協(xié)議一致性測試，我們可以找出協(xié)議實現(xiàn)與協(xié)議描述的差異。協(xié)議一致性測試中，如何從協(xié)議描述出發(fā)生成高質量的一致性測試序列直接關系到測試的成功與否。本文在研究了遺傳算法在工程領域的應用實現(xiàn)和當前生成一致性測試測試序列主要方法的基礎上，提出了應用遺傳算法來搜索協(xié)議一致性測試序列的設計與實現(xiàn)。 本文首先介

2、紹協(xié)議測試和一致性測試的相關理論基礎以及ISO/IEC9646標準給出的協(xié)議一致性測試的指導框架，對現(xiàn)存的幾種協(xié)議一致性測試序列的生成方法作了分析。然后針對自然語言描述協(xié)議不精確的特征，介紹了協(xié)議描述的幾種形式化技術，重點是以Petri網模型描述協(xié)議。最后總結了遺傳算法的構成、相關理論、數學分析和在工程應用中需要注意的一些問題。 在前面分析了描述協(xié)議的Petri網模型特征和性質及遺傳算法基本應用原理的基礎上，借鑒遺傳算法解決其他