【摘要】：在以擴(kuò)展有限狀態(tài)機(jī)(EFSM)為模型描述的協(xié)議一致性測(cè)試系統(tǒng)中,為了提高可執(zhí)行狀態(tài)驗(yàn)證序列(ESIS)的計(jì)算效率,提出一種ESIS序列自適應(yīng)生成算法.新算法采用基于可執(zhí)行分析樹(EAT)的可執(zhí)行分析方法確保生成的ESIS序列的可執(zhí)行性.引入變遷區(qū)分度因子和節(jié)點(diǎn)收斂度因子,計(jì)算EAT搜索樹節(jié)點(diǎn)權(quán)重來(lái)評(píng)價(jià)當(dāng)前搜索方向的正確性.利用EAT搜索樹節(jié)點(diǎn)權(quán)重函數(shù)作為節(jié)點(diǎn)搜索引擎,根據(jù)當(dāng)前已經(jīng)搜索節(jié)點(diǎn)的權(quán)重自適應(yīng)選擇下一步搜索的目標(biāo)節(jié)點(diǎn),把ESIS序列自動(dòng)生成問(wèn)題轉(zhuǎn)化為自適應(yīng)搜索權(quán)重最大的EAT節(jié)點(diǎn)問(wèn)題來(lái)解決.實(shí)驗(yàn)數(shù)據(jù)表明,與寬度優(yōu)先可執(zhí)行性分析方法相比,自適應(yīng)算法具有更小的狀態(tài)格局搜索空間.
[Abstract]:In a protocol conformance testing system based on extended finite state machine (EFSM) model, in order to improve the computational efficiency of executable state verification sequence (ESIS), an adaptive ESIS sequence generation algorithm is proposed. The new algorithm uses executable analysis method based on executable analysis tree (EAT) to ensure the executable of generated ESIS sequences. By introducing the transition differentiation factor and the node convergence factor, the EAT search tree node weights are calculated to evaluate the correctness of the current search direction. The weight function of EAT search tree node is used as the node search engine. According to the weight of the search node, the target node is selected according to the weight of the search node. The problem of automatic generation of ESIS sequences is transformed into the problem of EAT nodes with the largest adaptive search weight. Experimental data show that the adaptive algorithm has a smaller state pattern search space than the width first executable analysis method.
【作者單位】： 浙江大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;浙江理工大學(xué)信息電子學(xué)院;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(60702081) 浙江省科技廳重大專項(xiàng)資助項(xiàng)目(2006c11235)
【分類號(hào)】：TN915.06

【參考文獻(xiàn)】

相關(guān)期刊論文 前1條

1 舒挺;魏仰蘇;吳柏青;孟兆航;;EFSM可執(zhí)行狀態(tài)驗(yàn)證序列的生成[J];北京郵電大學(xué)學(xué)報(bào);2007年02期

【共引文獻(xiàn)】

相關(guān)期刊論文 前6條

1 舒挺;孫守遷;王海寧;徐偉強(qiáng);李文書;;啟發(fā)式探索的協(xié)議測(cè)試序列生成[J];北京郵電大學(xué)學(xué)報(bào);2009年06期

2 徐俊;舒挺;賈宇波;宋瑾鈺;;EFSM模型動(dòng)態(tài)解釋技術(shù)的研究[J];工業(yè)控制計(jì)算機(jī);2012年02期

3 舒挺;劉良桂;徐偉強(qiáng);李文書;;自適應(yīng)EFSM可執(zhí)行測(cè)試序列生成[J];計(jì)算機(jī)研究與發(fā)展;2012年06期

4 任君;趙瑞蓮;李征;;基于禁忌搜索算法的可擴(kuò)展有限狀態(tài)機(jī)模型測(cè)試數(shù)據(jù)自動(dòng)生成[J];計(jì)算機(jī)應(yīng)用;2011年09期

5 李永亮;李蕊;李仁發(fā);張焱;;基于EFSM用戶自定義故障模型的測(cè)試集生成[J];計(jì)算機(jī)應(yīng)用研究;2009年09期

6 劉輝;李蕊;李浪;汪新文;;面向軟件設(shè)計(jì)階段的故障檢測(cè)研究:模型、算法和例證[J];科學(xué)技術(shù)與工程;2011年29期

相關(guān)博士學(xué)位論文 前1條

1 舒挺;EFSM模型協(xié)議一致性測(cè)試序列自動(dòng)生成研究[D];浙江大學(xué);2010年

相關(guān)碩士學(xué)位論文 前3條

1 滕竹;基于EFSM的CBTC通信協(xié)議一致性測(cè)試的研究[D];北京交通大學(xué);2008年

2 李永亮;基于EFSM模型的軟件故障檢測(cè)與一致性測(cè)試生成研究[D];湖南大學(xué);2009年

3 何立春;面向接口協(xié)議驗(yàn)證的激勵(lì)生成技術(shù)的研究[D];哈爾濱工程大學(xué);2012年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 舒挺;魏仰蘇;吳柏青;孟兆航;;EFSM可執(zhí)行狀態(tài)驗(yàn)證序列的生成[J];北京郵電大學(xué)學(xué)報(bào);2007年02期

2 倪群,蘇彤,程時(shí)端;用于協(xié)議一致性測(cè)試序列生成的狀態(tài)規(guī)范化算法[J];通信學(xué)報(bào);1997年02期

3 陳濤;潘雪增;陳健;陳小平;陸魁軍;;基于FSM的協(xié)議一致性測(cè)試序列生成算法研究[J];計(jì)算機(jī)工程與應(yīng)用;2010年06期

4 李建,周顥,趙保華;路由協(xié)議一致性測(cè)試系統(tǒng)研究及實(shí)現(xiàn)[J];計(jì)算機(jī)工程與應(yīng)用;2005年16期

5 柳祖秋;網(wǎng)絡(luò)協(xié)議一致性測(cè)試及其在FDDI—MAC中的應(yīng)用[J];電信科學(xué);1992年05期

6 韓博,姬雷生,尹霞;基于形式化技術(shù)的幀中繼信令協(xié)議一致性測(cè)試研究[J];小型微型計(jì)算機(jī)系統(tǒng);2002年12期

7 都軍，劉積仁;一種高效的網(wǎng)絡(luò)協(xié)議一致性測(cè)試生成方法[J];計(jì)算機(jī)學(xué)報(bào);1994年11期

8 夏啟志;綦科;謝高崗;;BGP4+協(xié)議一致性測(cè)試系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)工程;2006年03期

9 田野;劉興偉;郭闖;;協(xié)議一致性測(cè)試系統(tǒng)中執(zhí)行器的設(shè)計(jì)與實(shí)現(xiàn)[J];西華大學(xué)學(xué)報(bào)(自然科學(xué)版);2006年06期

10 丁雪蓮;陳銀鳳;王彪;;移動(dòng)IPv6協(xié)議一致性測(cè)試研究[J];內(nèi)蒙古農(nóng)業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年02期

相關(guān)會(huì)議論文 前10條

1 趙會(huì)群;趙潔;王恩雷;;基于TTCN-3的SIP協(xié)議一致性測(cè)試方法研究[A];第五屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2008年

2 楊焱;高菲;;TTCN測(cè)試技術(shù)在GSM-R協(xié)議一致性測(cè)試中的應(yīng)用研究[A];GSM-R移動(dòng)通信及無(wú)線電管理學(xué)術(shù)會(huì)議論文集[C];2006年

3 韓穎;高翔;王國(guó)仁;于戈;鄭懷遠(yuǎn);;OQL預(yù)處理器代碼生成算法的設(shè)計(jì)[A];第十六屆全國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集[C];1999年

4 馬春光;武朋;楊義先;顧國(guó)昌;;無(wú)狀態(tài)可傳遞簽名[A];2005通信理論與技術(shù)新進(jìn)展——第十屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集[C];2005年

5 耿則勛;;影像匹配中核線影像的快速生成算法[A];新世紀(jì) 新機(jī)遇 新挑戰(zhàn)——知識(shí)創(chuàng)新和高新技術(shù)產(chǎn)業(yè)發(fā)展（上冊(cè)）[C];2001年

6 黎中文;張來(lái)順;肖健鵬;;改進(jìn)的UIO序列生成算法[A];計(jì)算機(jī)研究新進(jìn)展（2010）——河南省計(jì)算機(jī)學(xué)會(huì)2010年學(xué)術(shù)年會(huì)論文集[C];2010年

7 李秀華;桑楠;雷航;吳曉華;;EFSM模型的實(shí)時(shí)測(cè)試序列生成方法[A];第四屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2006年

8 李占偉;楊俊強(qiáng);;IPv6協(xié)議一致性測(cè)試技術(shù)[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（上）[C];2006年

9 王婭;許凱華;劉玉華;;WSN中一種基于能量的層次型拓?fù)渖伤惴╗A];2006全國(guó)復(fù)雜網(wǎng)絡(luò)學(xué)術(shù)會(huì)議論文集[C];2006年

10 張新鵬;王朔中;;嵌入位置自適應(yīng)的信息隱藏方案[A];第十二屆全國(guó)圖象圖形學(xué)學(xué)術(shù)會(huì)議論文集[C];2005年

相關(guān)重要報(bào)紙文章 前10條

1 納川;將流媒體放上“檢測(cè)線”[N];計(jì)算機(jī)世界;2007年

2 王世良 孫靖;加快TD－SCDMA終端產(chǎn)業(yè)化進(jìn)程[N];人民郵電;2006年

3 李博;誰(shuí)是FTTH的測(cè)試伴侶[N];通信產(chǎn)業(yè)報(bào);2008年

4 實(shí)習(xí)記者 李博;TD終端期待標(biāo)準(zhǔn)測(cè)試環(huán)境[N];通信產(chǎn)業(yè)報(bào);2007年

5 王輝;思辨成熟應(yīng)用[N];通信產(chǎn)業(yè)報(bào);2006年

6 吳綿;讓未來(lái)通信更加精彩[N];中國(guó)質(zhì)量報(bào);2008年

7 本報(bào)記者 秦鋼;耕耘在網(wǎng)絡(luò)和通信的身后[N];計(jì)算機(jī)世界;2005年

8 伊佳;IPv6自亂陣腳？[N];通信產(chǎn)業(yè)報(bào);2006年

9 孟祥初;TD-LTE增速國(guó)際融合[N];通信產(chǎn)業(yè)報(bào);2008年

10 中科院自動(dòng)化所RFID研究中心 劉禹邋譚杰 趙健;RFID系統(tǒng)測(cè)試探秘[N];計(jì)算機(jī)世界;2007年

相關(guān)博士學(xué)位論文 前10條

1 舒挺;EFSM模型協(xié)議一致性測(cè)試序列自動(dòng)生成研究[D];浙江大學(xué);2010年

2 錢蘭;協(xié)議一致性測(cè)試的錯(cuò)誤診斷研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2006年

3 鄧琦皓;分布式主動(dòng)協(xié)同入侵檢測(cè)系統(tǒng)研究與實(shí)踐[D];中國(guó)人民解放軍信息工程大學(xué);2005年

4 許寧云;漢語(yǔ)篇章零回指的解析與生成：一項(xiàng)基于語(yǔ)料的向心研究[D];復(fù)旦大學(xué);2006年

5 繆力;依賴性分析及其在軟件測(cè)試中的應(yīng)用[D];湖南大學(xué);2006年

6 吳作順;基于免疫學(xué)的入侵檢測(cè)系統(tǒng)研究[D];中國(guó)人民解放軍國(guó)防科學(xué)技術(shù)大學(xué);2003年

7 鄭永斌;物體檢測(cè)技術(shù)和半定規(guī)劃松弛的聚類算法研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

8 李重;常用自由曲線中的一些問(wèn)題研究[D];浙江大學(xué);2003年

9 楊國(guó)強(qiáng);因特網(wǎng)拓?fù)涮卣鞯南到y(tǒng)化分析技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2010年

10 陳(日午);關(guān)于真實(shí)感服裝生成算法的研究[D];西北工業(yè)大學(xué);2000年

相關(guān)碩士學(xué)位論文 前10條

1 滕竹;基于EFSM的CBTC通信協(xié)議一致性測(cè)試的研究[D];北京交通大學(xué);2008年

2 尹建平;基于通信的列車控制系統(tǒng)的協(xié)議一致性測(cè)試研究[D];西安科技大學(xué);2011年

3 亓澤超;協(xié)議一致性測(cè)試序列生成及錯(cuò)誤診斷算法設(shè)計(jì)[D];西安電子科技大學(xué);2011年

4 汪志賓;模型驅(qū)動(dòng)的協(xié)議一致性測(cè)試系統(tǒng)的研究與實(shí)現(xiàn)[D];中國(guó)科學(xué)技術(shù)大學(xué);2011年

5 林洪;IPv6協(xié)議一致性測(cè)試的研究與實(shí)現(xiàn)[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

6 張玉寶;基于FSM的IPv6鄰居發(fā)現(xiàn)協(xié)議一致性測(cè)試研究[D];西安電子科技大學(xué);2008年

7 徐輝;基于LLDP的協(xié)議一致性測(cè)試系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];重慶大學(xué);2012年

8 思仲華;WLAN快速切換協(xié)議一致性測(cè)試系統(tǒng)的研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2010年

9 吳濤;TD-LTE終端協(xié)議一致性測(cè)試規(guī)范研究及測(cè)試集開發(fā)[D];北京郵電大學(xué);2010年

10 李昱璇;TD-LTE終端協(xié)議一致性測(cè)試設(shè)計(jì)與開發(fā)[D];北京郵電大學(xué);2011年

，

本文編號(hào)：2254857