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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1 ;找錯(cuò)[N];計(jì)算機(jī)世界;2002年

2 ;再上新臺(tái)階[N];計(jì)算機(jī)世界;2002年

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

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

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

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

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

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

2 陳錦富;基于錯(cuò)誤注入的構(gòu)件安全性測試?yán)碚撆c技術(shù)研究[D];華中科技大學(xué);2009年

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

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

5 柯堯;協(xié)議分布式測試?yán)碚摷跋到y(tǒng)可靠性研究[D];中國科學(xué)技術(shù)大學(xué);2006年

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

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

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

9 林華輝;協(xié)議互操作性測試?yán)碚撆c方法研究[D];中國科學(xué)技術(shù)大學(xué);2007年

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：528404