【摘要】：針對(duì)EFSM中狀態(tài)遷移不確定導(dǎo)致的協(xié)議一致性測(cè)試序列生成困難的問(wèn)題,提出了一種協(xié)議一致性測(cè)試序列生成算法。該算法基于互異代表系理論為每個(gè)協(xié)議狀態(tài)變遷賦權(quán)值,再基于分支界限法搜索生成的協(xié)議測(cè)試序列,將協(xié)議一致性測(cè)試序列的生成轉(zhuǎn)換為尋找最小權(quán)值狀態(tài)變遷路徑的問(wèn)題。該算法克服了無(wú)賦權(quán)要求的寬度優(yōu)先搜索的缺陷,降低了測(cè)試序列的搜索與生成時(shí)間復(fù)雜度,提高了測(cè)試序列生成的效率。
[Abstract]:A protocol conformance test sequence generation algorithm is proposed to solve the problem of protocol conformance test sequence generation due to the uncertainty of state migration in EFSM. The algorithm is based on the theory of different representative system for each protocol state transition weighted value, and then based on the branch bound method to search the generated protocol test sequence, the protocol conformance test sequence generation is transformed into the problem of finding the minimum weight state transition path. The algorithm overcomes the limitation of width first search without weight requirement, reduces the complexity of test sequence search and generation time, and improves the efficiency of test sequence generation.
【作者單位】： 解放軍信息工程大學(xué);解放軍電子工程學(xué)院;
【分類號(hào)】：TP393.04

【參考文獻(xiàn)】

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

1 趙保華;陳波;屈玉貴;;一種改進(jìn)的轉(zhuǎn)換可執(zhí)行分析測(cè)試序列生成算法[J];中國(guó)科學(xué)技術(shù)大學(xué)學(xué)報(bào);2007年09期

【共引文獻(xiàn)】

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

1 張喜平,馮乃勤;計(jì)算機(jī)人工智能中模糊度分析研究[J];安陽(yáng)師范學(xué)院學(xué)報(bào);2003年02期

2 涂承媛，涂承宇;知識(shí)模型的拓?fù)渥儞Q[J];北京工業(yè)大學(xué)學(xué)報(bào);1994年03期

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

4 何險(xiǎn)峰;神經(jīng)網(wǎng)絡(luò)專家系統(tǒng)外殼[J];成都?xì)庀髮W(xué)院學(xué)報(bào);1993年04期

5 方群,張靜;電腦之路在何方?——對(duì)計(jì)算機(jī)可持續(xù)發(fā)展的思考[J];電腦;1996年12期

6 沈濤;宋建社;;光電武器裝備故障智能測(cè)試系統(tǒng)研究[J];彈箭與制導(dǎo)學(xué)報(bào);2006年03期

7 戚海英,黃明,宋存利;人工智能的搜索策略在物料管理系統(tǒng)中的應(yīng)用[J];大連鐵道學(xué)院學(xué)報(bào);2001年01期

8 李偉,曹曉東;從知識(shí)表示到算法的研究——三枚錢(qián)幣問(wèn)題的狀態(tài)空間表示和算法實(shí)現(xiàn)[J];電腦開(kāi)發(fā)與應(yīng)用;2002年11期

9 曹曉東，趙廣利;對(duì)CAI建設(shè)過(guò)程中的核心問(wèn)題探討[J];電腦開(kāi)發(fā)與應(yīng)用;1998年01期

10 唐勇敏;鄭軍婷;于雪梅;郭宗智;;基于人工智能的HICAI[J];電腦知識(shí)與技術(shù);2006年29期

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

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

2 陳佳林;柔性邏輯的健全性研究與應(yīng)用[D];北京郵電大學(xué);2011年

3 吳限德;快速響應(yīng)小衛(wèi)星測(cè)試?yán)碚撆c方法研究[D];哈爾濱工業(yè)大學(xué);2010年

4 馬恒太;基于Agent分布式入侵檢測(cè)系統(tǒng)模型的建模及實(shí)踐[D];中國(guó)科學(xué)院軟件研究所;2001年

5 王擁軍;需求工程中的不確定性研究[D];西北工業(yè)大學(xué);2002年

6 李蓉;基于質(zhì)量評(píng)價(jià)的矢量化工程圖后處理技術(shù)研究[D];西北工業(yè)大學(xué);2003年

7 楊宏宇;網(wǎng)絡(luò)入侵檢測(cè)技術(shù)的研究[D];天津大學(xué);2003年

8 蘇財(cái)茂;基于網(wǎng)絡(luò)的產(chǎn)品協(xié)同設(shè)計(jì)系統(tǒng)若干關(guān)鍵技術(shù)研究[D];浙江大學(xué);2004年

9 馬盈倉(cāng);命題泛邏輯的演算理論及推理研究[D];西北工業(yè)大學(xué);2006年

10 許亮;基于核函數(shù)和知識(shí)的化工過(guò)程安全運(yùn)行智能支持系統(tǒng)研究[D];華南理工大學(xué);2007年

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

1 王大衛(wèi);高速網(wǎng)絡(luò)入侵檢測(cè)若干關(guān)鍵技術(shù)的研究[D];長(zhǎng)沙理工大學(xué);2010年

2 左洪艷;僵尸網(wǎng)絡(luò)檢測(cè)系統(tǒng)的研究與設(shè)計(jì)[D];北京郵電大學(xué);2011年

3 朱廣彬;基于數(shù)據(jù)挖掘的入侵檢測(cè)技術(shù)研究[D];北京交通大學(xué);2011年

4 童翔威;RBF神經(jīng)網(wǎng)絡(luò)在數(shù)據(jù)挖掘中的應(yīng)用研究[D];中南林業(yè)科技大學(xué);2009年

5 劉本倉(cāng);基于采樣數(shù)據(jù)流挖掘的網(wǎng)絡(luò)行為分析研究[D];西安電子科技大學(xué);2009年

6 汪尚兵;基于PDA模式的電站新機(jī)組調(diào)試專家系統(tǒng)研究[D];西安工業(yè)大學(xué);2011年

7 張春節(jié);基于規(guī)則的隱私本體推理研究[D];云南大學(xué);2011年

8 譚偉卓;牛群改良輔助系統(tǒng)的設(shè)計(jì)及大慶地區(qū)DHI數(shù)據(jù)的分析[D];東北農(nóng)業(yè)大學(xué);2011年

9 馬進(jìn);基于知識(shí)的集成電路光刻工藝設(shè)計(jì)系統(tǒng)研究[D];上海交通大學(xué);2011年

10 李灝荃;遺傳算法及神經(jīng)網(wǎng)絡(luò)在數(shù)據(jù)融合中的應(yīng)用[D];西安電子科技大學(xué);2001年

【二級(jí)參考文獻(xiàn)】

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

1 郭雄輝,趙保華,周顥,屈玉貴;基于構(gòu)造類別代數(shù)的數(shù)據(jù)流和控制流相結(jié)合的協(xié)議測(cè)試[J];北京郵電大學(xué)學(xué)報(bào);2003年S2期

2 趙保華;柯堯;;一致性測(cè)試中的時(shí)間約束及測(cè)試用例生成算法[J];西安交通大學(xué)學(xué)報(bào);2006年04期

3 呂欣巖,趙保華,周顥;一種動(dòng)態(tài)協(xié)議一致性測(cè)試方法[J];中國(guó)科學(xué)技術(shù)大學(xué)學(xué)報(bào);2005年03期

4 趙保華;錢(qián)蘭;屈玉貴;郭雄輝;;基于Markov鏈模型的被動(dòng)測(cè)試錯(cuò)誤檢測(cè)算法[J];中國(guó)科學(xué)技術(shù)大學(xué)學(xué)報(bào);2006年02期

【相似文獻(xiàn)】

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

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

2 畢軍,楊家海,吳建平;3X協(xié)議一致性測(cè)試組織研究與設(shè)計(jì)[J];計(jì)算機(jī)工程與應(yīng)用;1997年04期

3 郝瑞兵,張文鋮,吳建平;協(xié)議集成測(cè)試系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J];小型微型計(jì)算機(jī)系統(tǒng);1997年10期

4 葛猛,趙保華;BGP-4協(xié)議一致性測(cè)試序列生成[J];計(jì)算機(jī)工程與應(yīng)用;2005年22期

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

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

7 杜寧;鄭紅霞;謝高崗;;NEMO協(xié)議一致性測(cè)試集的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)工程;2007年24期

8 馬軍鋒;郭建勛;;BGP4+協(xié)議一致性測(cè)試系統(tǒng)的設(shè)計(jì)[J];電信網(wǎng)技術(shù);2008年09期

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

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

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

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

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

3 朱尊;;第二代互聯(lián)網(wǎng)主要技術(shù)與發(fā)展[A];四川省通信學(xué)會(huì)2007年學(xué)術(shù)年會(huì)論文集[C];2007年

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

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

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

3 田軍;IPv6協(xié)議一致性測(cè)試研究及測(cè)試系統(tǒng)實(shí)現(xiàn)[D];中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2001年

4 張煒;基于狀態(tài)機(jī)模型的協(xié)議被動(dòng)測(cè)試研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2007年

5 王W

本文編號(hào)：2211811