天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當(dāng)前位置:主頁(yè) > 科技論文 > 軟件論文 >

基于場(chǎng)景模型的DDS分布式構(gòu)件化系統(tǒng)測(cè)試方法研究

發(fā)布時(shí)間:2021-07-21 05:19
  隨著互聯(lián)網(wǎng)技術(shù)的廣泛應(yīng)用,越來(lái)越多的應(yīng)用系統(tǒng)以動(dòng)態(tài)開(kāi)放性網(wǎng)絡(luò)環(huán)境作為計(jì)算與運(yùn)行的平臺(tái),系統(tǒng)的功能需求也越來(lái)越復(fù)雜。DDS分布式構(gòu)件化系統(tǒng)因其較強(qiáng)的實(shí)時(shí)性、開(kāi)放性、可擴(kuò)展性以及松散耦合特性,在民用工業(yè)系統(tǒng)、艦船裝備等眾多領(lǐng)域中得到了廣泛應(yīng)用,國(guó)內(nèi)外許多艦船就采用DDS中間件來(lái)構(gòu)建軟硬件綜合集成的任務(wù)關(guān)鍵系統(tǒng)。這些基于DDS的任務(wù)關(guān)鍵系統(tǒng)有著極高的質(zhì)量要求,但是系統(tǒng)在研發(fā)模式、系統(tǒng)結(jié)構(gòu)與應(yīng)用需求方面存在與一般軟件系統(tǒng)相異的特征,同時(shí)系統(tǒng)也出現(xiàn)了新的失效場(chǎng)景,這些給包括測(cè)試用例生成等在內(nèi)的測(cè)試方法與技術(shù)帶來(lái)了新的挑戰(zhàn)。針對(duì)DDS分布式構(gòu)件化系統(tǒng)測(cè)試過(guò)程中的測(cè)試用例生成問(wèn)題,本文提出了一種面向DDS分布式構(gòu)件化系統(tǒng)的場(chǎng)景建模方法,對(duì)被測(cè)系統(tǒng)中存在失效風(fēng)險(xiǎn)的場(chǎng)景進(jìn)行建模。在此基礎(chǔ)上,提出一種基于場(chǎng)景模型的測(cè)試用例生成方法,通過(guò)測(cè)試事件的數(shù)據(jù)序列生成與故障注入,構(gòu)造易于發(fā)現(xiàn)系統(tǒng)缺陷的測(cè)試用例集。具體研究?jī)?nèi)容如下:(1)提出一種基于擴(kuò)展正則表達(dá)式的場(chǎng)景建模方法。使用擴(kuò)展正則表達(dá)式,對(duì)被測(cè)系統(tǒng)中存在失效風(fēng)險(xiǎn)的場(chǎng)景構(gòu)建事件序列模式,表達(dá)場(chǎng)景中交互事件的時(shí)序關(guān)系。然后對(duì)事件序列中的事件參數(shù)進(jìn)行數(shù)據(jù)建模,描... 

【文章來(lái)源】:南京航空航天大學(xué)江蘇省 211工程院校

【文章頁(yè)數(shù)】:85 頁(yè)

【學(xué)位級(jí)別】:碩士

【部分圖文】:

基于場(chǎng)景模型的DDS分布式構(gòu)件化系統(tǒng)測(cè)試方法研究


DDS消息發(fā)布程序獲取之后,發(fā)布過(guò)程結(jié)束,最后需要調(diào)用清理實(shí)體的操作,以刪除該域內(nèi)的所有實(shí)體

一階邏輯,求解器,不等式,等式


南京航空航天大學(xué)碩士學(xué)位論文 關(guān)聯(lián)限制(Correlation Restrictions):主要用于表達(dá)在業(yè)務(wù)邏輯或物理規(guī)則的影響下,數(shù)據(jù)域之間隱含存在的關(guān)聯(lián)關(guān)系。例如,某設(shè)備的長(zhǎng)度和寬度之間要滿足length > width 計(jì)算限制(Calculation Restrictions):主要用于表達(dá)約束公式難以描述的業(yè)務(wù)數(shù)據(jù)取值,往往需要使用仿真函數(shù)計(jì)算才能獲得。數(shù)據(jù)范圍限制、枚舉限制以及字符串模式限制與 XML Schema 相應(yīng)限制的含義相同,因此可用 XSD 文件進(jìn)行描述。例如,圖 3.5 所示的 XSD 文件規(guī)定了 width 數(shù)據(jù)的范圍在 100 到 200之間,工作模式 mode 只能取 0 或 1。本文擴(kuò)展了 XSD 文件的內(nèi)容,用于表達(dá)單個(gè) DDS 消息中數(shù)據(jù)的關(guān)聯(lián)限制和計(jì)算限制。

界面圖,原型系統(tǒng),界面,視圖


南京航空航天大學(xué)碩士學(xué)位論文om.systest.failure 中主要包含描述場(chǎng)景模型信息以及測(cè)試用例生成算法的類,包 com.systest.t要包含實(shí)現(xiàn)測(cè)試執(zhí)行功能相關(guān)的類。.3 系統(tǒng)功能實(shí)現(xiàn)測(cè)試原型系統(tǒng)的主界面如圖 6.3 所示,界面包括四個(gè)主要區(qū)域,分別是菜單欄、工具欄目瀏覽器與主工作區(qū),項(xiàng)目瀏覽器則是對(duì) SUT 基本信息的展示,主工作區(qū)用于展示各類包要信息的視圖,包括控制臺(tái)視圖、場(chǎng)景模型視圖、測(cè)試用例視圖、測(cè)試結(jié)果視圖等。

【參考文獻(xiàn)】:
期刊論文
[1]程序分析研究進(jìn)展[J]. 張健,張超,玄躋峰,熊英飛,王千祥,梁彬,李煉,竇文生,陳振邦,陳立前,蔡彥.  軟件學(xué)報(bào). 2019(01)
[2]DDS在艦載裝備系統(tǒng)中的應(yīng)用研究[J]. 李海浩,顧斌兵.  計(jì)算機(jī)與數(shù)字工程. 2015(09)
[3]基于DDS規(guī)范的戰(zhàn)場(chǎng)信息分發(fā)中間件平臺(tái)研究[J]. 楊震,陽(yáng)洋.  通信技術(shù). 2009(12)
[4]飛控中心仿真系統(tǒng)的分布式構(gòu)件化設(shè)計(jì)[J]. 崔凱云.  飛行器測(cè)控學(xué)報(bào). 2006 (04)
[5]分布式WebGIS構(gòu)件化研究[J]. 羅英偉,汪小林,許卓群.  計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào). 2002(08)

碩士論文
[1]基于DDS的分布式系統(tǒng)的性能評(píng)估模型研究與實(shí)現(xiàn)[D]. 冒佳明.東南大學(xué) 2015



本文編號(hào):3294396

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/kejilunwen/ruanjiangongchenglunwen/3294396.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶f8237***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com