本文關(guān)鍵詞：有限狀態(tài)機(jī)模型測(cè)試序列生成算法研究，由筆耕文化傳播整理發(fā)布。

【摘要】：在測(cè)試工程學(xué)中,應(yīng)用測(cè)試生成樹(shù)構(gòu)建測(cè)試序列是相關(guān)測(cè)試方法的基礎(chǔ)步驟,在傳統(tǒng)測(cè)試生成樹(shù)的基礎(chǔ)上加入約束集的概念,使產(chǎn)生的測(cè)試生成樹(shù)符合生產(chǎn)實(shí)際。同時(shí)在面向狀態(tài)識(shí)別的測(cè)試方法中,考慮約束集對(duì)所生成狀態(tài)區(qū)分序列的影響,基于帶約束的測(cè)試生成樹(shù)產(chǎn)生相應(yīng)的特征集、狀態(tài)識(shí)別集和UIO序列,提出或者改進(jìn)了相應(yīng)的算法。同時(shí)將測(cè)試方法擴(kuò)展到了NFSM的情形下,提出了NFSM模型中前綴序列的生成算法和狀態(tài)識(shí)別集的構(gòu)建算法;結(jié)合狀態(tài)識(shí)別矩陣與有限狀態(tài)機(jī)同步乘積,提出在NFSM模型中的適應(yīng)性測(cè)試方法,擴(kuò)展了FSM應(yīng)用于測(cè)試?yán)碚摰耐陚湫浴＝⒘讼鄳?yīng)的測(cè)試方法工具集,實(shí)現(xiàn)了上述算法,驗(yàn)證了其可行性。最后給出了下一步的工作。
【作者單位】： 內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院;內(nèi)蒙古財(cái)經(jīng)大學(xué)網(wǎng)絡(luò)中心;內(nèi)蒙古大學(xué)網(wǎng)絡(luò)中心;
【關(guān)鍵詞】： DFSM NFSM 約束集 適應(yīng)性測(cè)試
【基金】：國(guó)家自然基金項(xiàng)目資助項(xiàng)目:面向?qū)傩缘腃PN建模及On the Fly輔助的測(cè)試生成方法研究(61163011) 賽爾網(wǎng)絡(luò)下一代互聯(lián)網(wǎng)技術(shù)創(chuàng)新項(xiàng)目:SDN環(huán)境下IPv6網(wǎng)絡(luò)測(cè)試研究(CERNET IPv6 Innovation Project)(NGII20150112)資助
【分類(lèi)號(hào)】：TP301.6;TP311.53
【正文快照】： 1引言隨著軟件規(guī)模的不斷增長(zhǎng)及分布式軟件與大數(shù)據(jù)的興起,人們對(duì)軟件質(zhì)量的要求在不斷增強(qiáng)。當(dāng)前開(kāi)源組件的蓬勃發(fā)展,軟件集成的門(mén)檻在降低,同時(shí)人們對(duì)質(zhì)量的保障提出了更高的要求。軟件測(cè)試是提高軟件可靠性、保證軟件質(zhì)量的重要手段。傳統(tǒng)的軟件測(cè)試依賴(lài)于手工進(jìn)行,測(cè)試的

【相似文獻(xiàn)】

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

1 張涌,錢(qián)樂(lè)秋,王淵峰;基于確定有限狀態(tài)機(jī)的測(cè)試輸入序列選取[J];計(jì)算機(jī)研究與發(fā)展;2002年09期

2 劉霞;年小玲;游霞;;消除EFSM中狀態(tài)遷移不確定的方法[J];攀枝花學(xué)院學(xué)報(bào);2006年04期

3 夏銀水;王倫耀;葉錫恩;;劃分有限狀態(tài)機(jī)的低功耗實(shí)現(xiàn)模型[J];計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào);2007年05期

4 向培素;田珂;田野;;非確定部分有限狀態(tài)機(jī)的一種新的一致性關(guān)系及其測(cè)試[J];西南民族大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年06期

5 李煒;吳建國(guó);劉政怡;;非完全確定有限狀態(tài)機(jī)最小閉覆蓋的有效算法[J];四川大學(xué)學(xué)報(bào)(工程科學(xué)版);2007年S1期

6 李曉鋒;宋銳;曾小寶;;有限狀態(tài)機(jī)在嵌入式系統(tǒng)中的實(shí)現(xiàn)及應(yīng)用[J];廣西輕工業(yè);2008年04期

7 周先存;聶堯;;有限狀態(tài)機(jī)在數(shù)字調(diào)度系統(tǒng)中的建模及應(yīng)用[J];洛陽(yáng)理工學(xué)院學(xué)報(bào)(自然科學(xué)版);2010年03期

8 楊京開(kāi);;模糊有限狀態(tài)機(jī)笛卡爾合成的一些結(jié)果[J];模糊系統(tǒng)與數(shù)學(xué);2012年06期

9 張博倫;王寧;馬慧敏;;有限狀態(tài)機(jī)在模擬演練系統(tǒng)中的應(yīng)用[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2013年02期

10 王巍,高德遠(yuǎn);有限狀態(tài)機(jī)設(shè)計(jì)策略[J];計(jì)算機(jī)工程與應(yīng)用;1999年07期

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

1 李煒;吳建國(guó);劉政怡;;非完全確定有限狀態(tài)機(jī)最小閉覆蓋的有效算法[A];第四屆中國(guó)軟件工程大會(huì)論文集[C];2007年

2 李煒;劉政怡;吳建國(guó);;基于完全確定有限狀態(tài)機(jī)的控制器綜合的驗(yàn)證[A];全國(guó)第19屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2008年

3 李煒;許中衛(wèi);劉政怡;劉露露;;非完全確定有限狀態(tài)機(jī)最小化有效算法的研究[A];2005年“數(shù)字安徽”博士科技論壇論文集[C];2005年

4 鄒循進(jìn);葉云青;陳孝威;;C++游戲開(kāi)發(fā)中可重用動(dòng)態(tài)有限狀態(tài)機(jī)設(shè)計(jì)與實(shí)現(xiàn)[A];第三屆和諧人機(jī)環(huán)境聯(lián)合學(xué)術(shù)會(huì)議（HHME2007）論文集[C];2007年

5 方敏;;基于分層有限狀態(tài)機(jī)的計(jì)算機(jī)取證推理方法[A];2008年計(jì)算機(jī)應(yīng)用技術(shù)交流會(huì)論文集[C];2008年

6 劉曉明;賴(lài)祥;黃松;;一種基于鄰接矩陣的有限狀態(tài)機(jī)路徑產(chǎn)生方法[A];全國(guó)第19屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2008年

7 王宗義;;有限狀態(tài)機(jī)原理在OA系統(tǒng)中的運(yùn)用[A];廣西計(jì)算機(jī)學(xué)會(huì)25周年紀(jì)念會(huì)暨2011年學(xué)術(shù)年會(huì)論文集[C];2011年

8 張劍鳴;楊正球;;基于Struts架構(gòu)的考核系統(tǒng)軟件的設(shè)計(jì)[A];2007北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)通信與信息技術(shù)會(huì)議論文集（上冊(cè)）[C];2008年

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

1 張粟;大型多人在線(xiàn)角色扮演類(lèi)游戲中有限狀態(tài)機(jī)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京交通大學(xué);2010年

2 譚同超;有限狀態(tài)機(jī)及其應(yīng)用[D];華南理工大學(xué);2013年

3 許固鎮(zhèn);關(guān)于直覺(jué)模糊有限狀態(tài)機(jī)若干問(wèn)題的討論[D];廣西師范大學(xué);2011年

4 常珂;基于有限狀態(tài)機(jī)的建模技術(shù)在備品備件管理系統(tǒng)中的實(shí)現(xiàn)[D];北京郵電大學(xué);2010年

5 董煥珍;基于EFSM的UIO序列的生成研究[D];青島大學(xué);2009年

6 明小娜;基于擴(kuò)展有限狀態(tài)機(jī)模型的GIS人機(jī)對(duì)話(huà)模式設(shè)計(jì)與應(yīng)用[D];南京師范大學(xué);2011年

7 年曉玲;基于擴(kuò)展有限狀態(tài)機(jī)軟件測(cè)試用例自動(dòng)生成的研究[D];西南交通大學(xué);2005年

8 朱志偉;基于有限狀態(tài)機(jī)的體育視頻比賽類(lèi)型識(shí)別[D];吉林大學(xué);2006年

9 張兵全;基于擴(kuò)展有限狀態(tài)機(jī)的LTE一致性測(cè)試系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2013年

10 李維巖;基于HFSM模型的測(cè)試方案生成研究[D];北京工業(yè)大學(xué);2014年

  本文關(guān)鍵詞：有限狀態(tài)機(jī)模型測(cè)試序列生成算法研究，由筆耕文化傳播整理發(fā)布。

，

本文編號(hào)：449072