移動(dòng)IP協(xié)議的仿真及其測(cè)試序列的優(yōu)化.pdf

1、協(xié)議測(cè)試?yán)碚撌菑能浖y(cè)試的基礎(chǔ)上發(fā)展起來的,協(xié)議測(cè)試包括:協(xié)議一致性測(cè)試、互操作性測(cè)試和性能測(cè)試.協(xié)議一致性測(cè)試是協(xié)議測(cè)試的基礎(chǔ),它依據(jù)協(xié)議規(guī)范對(duì)協(xié)議的實(shí)現(xiàn)進(jìn)行測(cè)試,以提高協(xié)議實(shí)現(xiàn)之間互通的概率,ISO制定的ISO/IEC9646標(biāo)準(zhǔn)是最為成熟的協(xié)議一致性測(cè)試?yán)碚?該文主要研究的是一致性測(cè)試的序列優(yōu)化問題,它能夠大大的提高測(cè)試效率和執(zhí)行時(shí)間.該文采用移動(dòng)IP協(xié)議作為協(xié)議仿真和測(cè)試的基礎(chǔ).如今,我們有很多接入因特網(wǎng)的方法,這些接入方法適合

2、在一些固定的場(chǎng)合(家里,辦公室和學(xué)校等).但是,現(xiàn)在使用IP協(xié)議進(jìn)行移動(dòng)通信的設(shè)備卻越來越多,譬如:PDA,手持設(shè)備和數(shù)字蜂窩電話等等.人們自然希望這些設(shè)備能夠在不間斷的情況下通信.移動(dòng)IP就是一種支持IPv4和Ipv6的IP節(jié)點(diǎn)在不改變IP地址的情況下持續(xù)通信的技術(shù).在該文的開始,我們首先用SDL語言實(shí)現(xiàn)移動(dòng)IP協(xié)議的仿真,然后采用ISO/IEC9646標(biāo)準(zhǔn)所采用的樹表結(jié)合表示法TTCN來描述移動(dòng)IP協(xié)議的一致性測(cè)試套,并采用UIO理