本文關(guān)鍵詞：基于需求模型的航天軟件測試用例生成方法　出處：《光學(xué)精密工程》2016年05期 　論文類型：期刊論文

  更多相關(guān)文章： 軟件測試 航天軟件 測試用例生成 用例約簡 測試需求 模型

【摘要】：為了提高航天軟件測試的效率和覆蓋率,增加航天軟件測試的有效性,提出了一種基于需求模型的軟件測試用例設(shè)計(jì)方法。針對航天軟件測試的特點(diǎn),該方法采用從用例層深入至步驟層的測試優(yōu)化策略。首先,基于元建模方法定義了一種測試需求模型;通過建立模型,將測試需求加以拆分,獲取了測試需求之間的先后依賴關(guān)系以及測試需求與測試步驟之間的對應(yīng)關(guān)系。然后,基于測試需求模型,構(gòu)建了測試需求的路徑圖,進(jìn)而通過對圖的遍歷獲得了測試用例。最后,將該方法用于工程實(shí)踐進(jìn)行了實(shí)驗(yàn)驗(yàn)證。驗(yàn)證結(jié)果表明,該方法有效保證了測試活動(dòng)的充分性和有效性,降低了測試用例約簡的風(fēng)險(xiǎn)。與不約簡的測試方法相比,該方法減少測試工作量達(dá)18%,減少測試用例數(shù)量為40%以上,軟件測試的執(zhí)行時(shí)間也減少了40%以上,在滿足需求覆蓋率的同時(shí),有效提高了測試效率。
【作者單位】： 吉林大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;中國科學(xué)院長春光學(xué)精密機(jī)械與物理研究所;吉林大學(xué)符號(hào)計(jì)算與知識(shí)工程教育部重點(diǎn)實(shí)驗(yàn)室;
【基金】：國家自然科學(xué)基金資助項(xiàng)目(No.61133011);國家自然科學(xué)基金面上項(xiàng)目(No.61373053;No.61472161)
【分類號(hào)】：TP311.53
【正文快照】： 1引言軟件質(zhì)量會(huì)直接影響航天型號(hào)產(chǎn)品的質(zhì)量,航天器發(fā)射、航空器試飛的失事原因60%源于軟件[1]。保障軟件質(zhì)量和可靠性的主要手段是軟件測試[2]。對于每個(gè)測試需求,都要設(shè)計(jì)一定量的測試用例以滿足測試的充分性。由此所產(chǎn)生的測試用例數(shù)量往往比較大,對于測試用例的維護(hù)需要

【相似文獻(xiàn)】

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

1 路曉麗;葛瑋;陳新麗;郝克剛;;支持共享和復(fù)用的測試用例庫系統(tǒng)的設(shè)計(jì)[J];計(jì)算機(jī)科學(xué);2006年05期

2 胡珊;楊豐玉;張曄;劉琳嵐;;基于測試項(xiàng)抽取的測試用例復(fù)用方法[J];微電子學(xué)與計(jì)算機(jī);2010年01期

3 張德平;查日軍;;劃分測試用例選擇的風(fēng)險(xiǎn)決策方法[J];計(jì)算機(jī)應(yīng)用研究;2010年12期

4 楊翊;陳挺;許崢;;證券軟件的測試用例設(shè)計(jì)充分性實(shí)踐[J];中國證券期貨;2012年07期

5 張智軼;陳振宇;徐寶文;楊瑞;;測試用例演化研究進(jìn)展[J];軟件學(xué)報(bào);2013年04期

6 楊悅;秦湘河;楊永安;郭榮;;航天測控軟件測試用例標(biāo)準(zhǔn)及應(yīng)用研究[J];無線電工程;2013年09期

7 王侃,盧慶齡,彭艷麗;測試用例自動(dòng)生成的鏈方法研究與實(shí)現(xiàn)[J];裝甲兵工程學(xué)院學(xué)報(bào);2001年03期

8 李順華;測試用例管理方法探討[J];飛航導(dǎo)彈;2001年05期

9 徐仁佐,陳斌,陳波,吳閩泉,熊忠偉;構(gòu)造面向?qū)ο筌浖蓮?fù)用測試用例的模式研究[J];武漢大學(xué)學(xué)報(bào)(理學(xué)版);2003年05期

10 陳紹英;金成姬;;性能測試用例[J];程序員;2004年11期

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

1 王道堂;林春哲;張凱;;軟件測試用例構(gòu)造方法與手段[A];計(jì)算機(jī)技術(shù)在工程建設(shè)中的應(yīng)用——第十二屆全國工程建設(shè)計(jì)算機(jī)應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2004年

2 李磊;曹先彬;;基于進(jìn)化的軟件測試用例生成方法[A];2005年“數(shù)字安徽”博士科技論壇論文集[C];2005年

3 徐李勤;王潔寧;;基于層次有色Petri網(wǎng)的軟件測試用例選取研究[A];全國第二屆信號(hào)處理與應(yīng)用學(xué)術(shù)會(huì)議�？痆C];2008年

4 林春哲;張凱;王道堂;;軟件測試用例設(shè)計(jì)分析[A];計(jì)算機(jī)技術(shù)在工程建設(shè)中的應(yīng)用——第十二屆全國工程建設(shè)計(jì)算機(jī)應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2004年

5 張俠影;李志蜀;;一種優(yōu)化的測試用例約簡方法[A];2008'中國信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（一）[C];2008年

6 張德平;聶長海;徐寶文;;劃分測試用例選擇策略研究[A];第五屆中國測試學(xué)術(shù)會(huì)議論文集[C];2008年

7 郭從穎;;場景驅(qū)動(dòng)測試用例設(shè)計(jì)及其測試自動(dòng)化技術(shù)研究[A];中國計(jì)量協(xié)會(huì)冶金分會(huì)2008年會(huì)論文集[C];2008年

8 郭從穎;;場景驅(qū)動(dòng)測試用例設(shè)計(jì)及其測試自動(dòng)化技術(shù)研究[A];2008全國第十三屆自動(dòng)化應(yīng)用技術(shù)學(xué)術(shù)交流會(huì)論文集[C];2008年

9 周曉燕;李兵;潘偉豐;覃葉宜;;基于錯(cuò)誤傳播概率網(wǎng)絡(luò)的軟件回歸測試用例選擇[A];第五屆全國復(fù)雜網(wǎng)絡(luò)學(xué)術(shù)會(huì)議論文（摘要）匯集[C];2009年

10 萬琳;張威;馬雪雁;陳曼青;;基于路徑的測試用例自動(dòng)生成技術(shù)[A];第十屆全國容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2003年

相關(guān)重要報(bào)紙文章 前6條

1 深圳市信息無障礙研究會(huì) 戴杰;“聽”軟件的IT工程師[N];人民政協(xié)報(bào);2014年

2 謝敏 沈雪芳 戴金龍;解決軟件測試的近憂和遠(yuǎn)慮[N];計(jì)算機(jī)世界;2005年

3 計(jì)算機(jī)世界實(shí)驗(yàn)室 韓勖;撥云見日[N];計(jì)算機(jī)世界;2008年

4 《網(wǎng)絡(luò)世界》記者 鄭楠;ONF測試步伐有條不紊[N];網(wǎng)絡(luò)世界;2014年

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

6 信息產(chǎn)業(yè)部軟件與集成電路促進(jìn)中心 于明邋唐仕武;駛?cè)霚y試“快車道”[N];計(jì)算機(jī)世界;2007年

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

1 羅玲;擴(kuò)展π演算的建模、驗(yàn)證與測試[D];西安電子科技大學(xué);2015年

2 王志強(qiáng);基于模糊測試的漏洞挖掘及相關(guān)攻防技術(shù)研究[D];西安電子科技大學(xué);2015年

3 李麗;航天相機(jī)主控軟件測試用例自動(dòng)生成技術(shù)的研究[D];中國科學(xué)院研究生院（長春光學(xué)精密機(jī)械與物理研究所）;2010年

4 黃如兵;組合測試用例的自適應(yīng)隨機(jī)生成與優(yōu)先級排序方法研究[D];華中科技大學(xué);2013年

5 張娟;軟件測試中測試用例復(fù)用的研究[D];上海大學(xué);2012年

6 游亮;回歸測試用例選擇技術(shù)研究[D];華中科技大學(xué);2012年

7 謝曉東;基于模型比較的軟件測試用例生成方法研究[D];華中科技大學(xué);2007年

8 李根;基于動(dòng)態(tài)測試用例生成的二進(jìn)制軟件缺陷自動(dòng)發(fā)掘技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2010年

9 邢穎;測試用例自動(dòng)生成的分支限界算法及實(shí)驗(yàn)研究[D];北京郵電大學(xué);2014年

10 錢思佑;圖形用戶界面測試中相關(guān)問題研究[D];中國科學(xué)技術(shù)大學(xué);2010年

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

1 田春艷;基于灰色關(guān)聯(lián)逼近理想解方法的測試用例評價(jià)模型研究[D];昆明理工大學(xué);2009年

2 唐海鵬;基于Additional策略回歸測試用例優(yōu)先級排序優(yōu)化研究[D];西南大學(xué);2015年

3 陳夢云;基于圈復(fù)雜度和調(diào)用次數(shù)的測試用例排序方法[D];上海師范大學(xué);2015年

4 姚瑞超;廣東電網(wǎng)測試用例自動(dòng)生成工具的研究與設(shè)計(jì)[D];華南理工大學(xué);2015年

5 張澤林;基于數(shù)據(jù)挖掘的軟件多故障定位與分析技術(shù)[D];南京理工大學(xué);2015年

6 鄒炳松;嵌入式軟件的圖形化測試用例生成系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];哈爾濱工業(yè)大學(xué);2015年

7 李錦程;基于微信平臺(tái)的醫(yī)療就診系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];哈爾濱工業(yè)大學(xué);2015年

8 趙群;軟件錯(cuò)誤定位中的巧合正確性問題研究[D];哈爾濱工業(yè)大學(xué);2015年

9 常龍輝;Web應(yīng)用的測試用例優(yōu)化生成與優(yōu)先級技術(shù)[D];上海大學(xué);2015年

10 王令賽;基于粒子群優(yōu)化算法的測試用例生成技術(shù)研究[D];中國礦業(yè)大學(xué);2015年

，

本文編號(hào)：1335539