本文關(guān)鍵詞：基于行為樹的協(xié)議建模方法及其應(yīng)用研究

  更多相關(guān)文章： 行為樹 協(xié)議建模 測試序列 協(xié)議驗證 通信順序進程

【摘要】：為解決現(xiàn)有協(xié)議建模方法驗證困難及測試序列生成算法復(fù)雜度高和測試序列長的問題,提出了一種基于行為樹(BT)的協(xié)議描述新方法。采用行為樹模型對協(xié)議的控制流程進行建模,提出了基于行為樹描述的協(xié)議驗證方法,并給出了基于行為樹的測試序列生成方法。以某監(jiān)控協(xié)議為例給出了基于行為樹的建模過程,將所建模型轉(zhuǎn)換為通信順序進程(CSP)后采用過程分析工具(PAT)完成了協(xié)議驗證,并完成了測試序列的計算與對比分析,結(jié)果表明提出的方法能方便地完成對協(xié)議的描述與驗證,能降低測試序列計算復(fù)雜度并減少生成的測試序列長度。
【作者單位】： 華北電力大學控制與計算機工程學院;國網(wǎng)河北省電力公司電力科學研究院;中國電力科學研究院;
【關(guān)鍵詞】： 行為樹 協(xié)議建模 測試序列 協(xié)議驗證 通信順序進程
【基金】：國家自然科學基金資助項目(61074078) 中央高�；究蒲袠I(yè)務(wù)費專項資金(2014MS126) 國家電網(wǎng)公司科技項目(GY17201200047)
【分類號】：TP393.04
【正文快照】： 0引言隨著計算機技術(shù)及網(wǎng)絡(luò)技術(shù)的發(fā)展,分布式應(yīng)用系統(tǒng)間的網(wǎng)絡(luò)通信協(xié)議越來越復(fù)雜,復(fù)雜系統(tǒng)投入使用前的協(xié)議描述、驗證與測試工作也越來越重要。協(xié)議驗證與測試的目的是評估協(xié)議實現(xiàn)與協(xié)議標準之間的符合程度,是協(xié)議裝置投入使用前需要做的重要工作[1]。研究簡單易用的描述

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 尹霞,吳建平;基于TTCN的測試序列選擇技術(shù)研究[J];小型微型計算機系統(tǒng);2000年05期

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

3 姬忠鶴;蔣凡;黃傳動;;基于模型檢查的協(xié)議一致性測試套自動生成[J];計算機工程;2006年11期

4 林華輝;周顥;潘全科;趙保華;;基于局部錯誤診斷的動態(tài)協(xié)議一致性測試方法[J];北京郵電大學學報;2007年01期

5 高翔;王欣;;一種新的測試序列生成方法研究[J];電子測量與儀器學報;2007年02期

6 胡雷剛;肖明清;王磊;;并行測試任務(wù)可并行性分析與應(yīng)用[J];計算機測量與控制;2008年10期

7 汪洋;黃建國;;多線程測試序列在USB/UCB半自動檢測與維護系統(tǒng)中的應(yīng)用[J];電子質(zhì)量;2008年12期

8 戴春翟;李曉靜;張侃諭;;集成電路測試系統(tǒng)通用測試軟件的研究與設(shè)計[J];電子測量技術(shù);2010年01期

9 周清雷;張文寧;趙東明;李喜艷;;基于UML狀態(tài)圖的類測試技術(shù)[J];計算機工程;2010年02期

10 趙建光;胡永鋒;;通信協(xié)議一致性測試序列自動生成算法與仿真的研究[J];煤炭技術(shù);2011年01期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 陳昱松;聶劍平;景博;崔楠;;一種改進的基于EFSM變遷依賴圖的協(xié)議測試序列生成算法[A];第六屆中國測試學術(shù)會議論文集[C];2010年

2 李勇;吳國鳳;;軟件測試中基于概率的測試用例選擇[A];全國第16屆計算機科學與技術(shù)應(yīng)用（CACIS）學術(shù)會議論文集[C];2004年

3 趙秀才;李春靈;;基于COM的通用自動測試系統(tǒng)軟件的設(shè)計[A];2007'中國儀器儀表與測控技術(shù)交流大會論文集（二）[C];2007年

4 唐樂;雷航;吳曉華;;基于時間Petri網(wǎng)產(chǎn)生測試序列的方法[A];第四屆中國測試學術(shù)會議論文集[C];2006年

5 李華;葉新銘;吳承勇;王龍;王玲玲;;一種互操作測試的建模及測試選擇方法[A];第五屆中國測試學術(shù)會議論文集[C];2008年

6 陳思成;魏道政;王仲;;時序電路測試中時間及測試序列識別問題研究[A];中國圖象圖形科學技術(shù)新進展——第九屆全國圖象圖形科技大會論文集[C];1998年

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

8 武茂春;李華;王龍;;一種互操作場景中策略路由的建模與測試[A];第三屆全國軟件測試會議與移動計算、柵格、智能化高級論壇論文集[C];2009年

9 嚴德志;于鳳芹;;基于Matching Pursuit的音像信號的分析[A];第十二屆全國信號處理學術(shù)年會（CCSP-2005）論文集[C];2005年

10 方葛豐;劉毅;韓敬偉;宋斌;何怡剛;;自動測試系統(tǒng)軟件平臺技術(shù)[A];2009全國虛擬儀器大會論文集（一）[C];2009年

中國重要報紙全文數(shù)據(jù)庫 前6條

1 ;找錯[N];計算機世界;2002年

2 ;再上新臺階[N];計算機世界;2002年

3 記者 易凡;吉時利單一系統(tǒng)實現(xiàn)C-V/I-V/脈沖測試[N];電子資訊時報;2007年

4 ;安立：攜十大終級武器亮相通信展[N];通信產(chǎn)業(yè)報;2004年

5 馬文;吉時利儀器公司推出兩款數(shù)字源表新產(chǎn)品[N];中國質(zhì)量報;2007年

6 楊浩;簡約之美[N];中國電腦教育報;2003年

中國博士學位論文全文數(shù)據(jù)庫 前10條

1 孫濤;基于CP-nets模型的并行軟件測試方法研究[D];內(nèi)蒙古大學;2012年

2 陳錦富;基于錯誤注入的構(gòu)件安全性測試理論與技術(shù)研究[D];華中科技大學;2009年

3 吳限德;快速響應(yīng)空間小衛(wèi)星測試理論與方法研究[D];哈爾濱工業(yè)大學;2010年

4 吳限德;快速響應(yīng)小衛(wèi)星測試理論與方法研究[D];哈爾濱工業(yè)大學;2010年

5 柯堯;協(xié)議分布式測試理論及系統(tǒng)可靠性研究[D];中國科學技術(shù)大學;2006年

6 張巖;列車運行控制系統(tǒng)軟件故障相關(guān)形式化測試方法[D];北京交通大學;2012年

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

8 黃傳動;通信協(xié)議的分布式測試方法研究和測試系統(tǒng)實現(xiàn)[D];中國科學技術(shù)大學;2006年

9 林華輝;協(xié)議互操作性測試理論與方法研究[D];中國科學技術(shù)大學;2007年

10 劉攀;基于FSM的測試用例生成和測試優(yōu)化[D];上海大學;2011年

中國碩士學位論文全文數(shù)據(jù)庫 前10條

1 孫偉亮;軌道電路讀取器測試序列生成方法的研究[D];北京交通大學;2012年

2 金丹;安全計算機平臺測試序列的生成及應(yīng)用[D];北京交通大學;2013年

3 顧娟;基于FSM的啟發(fā)式測試序列生成方法研究及其應(yīng)用[D];北京郵電大學;2013年

4 柳偉;基于形式化UML測試序列生成方法研究[D];哈爾濱工程大學;2011年

5 王超琦;CTCS-3級列控系統(tǒng)車載設(shè)備測試序列的生成方法及工具研究[D];北京交通大學;2011年

6 黎中文;基于狀態(tài)的類測試技術(shù)研究[D];解放軍信息工程大學;2011年

7 王書;CTCS-3級列控系統(tǒng)測試序列生成專家系統(tǒng)的研究[D];北京交通大學;2012年

8 陳雷;基于UML協(xié)作圖的測試序列生成方法研究[D];河北工程大學;2011年

9 陳佳佳;基于UML協(xié)作圖的測試序列生成方法研究[D];浙江師范大學;2009年

10 楊帆;可用帶寬主動測量算法的研究[D];北京郵電大學;2008年

，

本文編號：528405