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

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

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