【摘要】：在以擴展有限狀態(tài)機(EFSM)為模型描述的協(xié)議一致性測試系統(tǒng)中,為了提高可執(zhí)行狀態(tài)驗證序列(ESIS)的計算效率,提出一種ESIS序列自適應(yīng)生成算法.新算法采用基于可執(zhí)行分析樹(EAT)的可執(zhí)行分析方法確保生成的ESIS序列的可執(zhí)行性.引入變遷區(qū)分度因子和節(jié)點收斂度因子,計算EAT搜索樹節(jié)點權(quán)重來評價當(dāng)前搜索方向的正確性.利用EAT搜索樹節(jié)點權(quán)重函數(shù)作為節(jié)點搜索引擎,根據(jù)當(dāng)前已經(jīng)搜索節(jié)點的權(quán)重自適應(yīng)選擇下一步搜索的目標(biāo)節(jié)點,把ESIS序列自動生成問題轉(zhuǎn)化為自適應(yīng)搜索權(quán)重最大的EAT節(jié)點問題來解決.實驗數(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é)計算機科學(xué)與技術(shù)學(xué)院;浙江理工大學(xué)信息電子學(xué)院;
【基金】：國家自然科學(xué)基金資助項目(60702081) 浙江省科技廳重大專項資助項目(2006c11235)
【分類號】：TN915.06

【參考文獻(xiàn)】

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1 納川;將流媒體放上“檢測線”[N];計算機世界;2007年

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

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

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

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

6 吳綿;讓未來通信更加精彩[N];中國質(zhì)量報;2008年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：2254857