本文關鍵詞：基于遺傳算法的覆蓋率驅(qū)動測試產(chǎn)生器

  更多相關文章： 覆蓋率 測試產(chǎn)生器 遺傳算法(GA) 覆蓋率驅(qū)動測試產(chǎn)生器 適應度函數(shù)

【摘要】：為了更好地建立覆蓋率和測試產(chǎn)生器之間的聯(lián)系,產(chǎn)生高質(zhì)量的測試,提出基于遺傳算法的覆蓋率驅(qū)動測試產(chǎn)生器.該測試產(chǎn)生器利用一種簡單、準確的測試編碼方法對測試進行編碼,并利用基于功能覆蓋率的適應度函數(shù)評估測試的優(yōu)劣.通過遺傳算法(GA)建立覆蓋率與測試產(chǎn)生器之間的聯(lián)系,分析覆蓋率和測試之間的關系,根據(jù)分析結(jié)果改變測試產(chǎn)生器的約束和限制,驅(qū)動測試產(chǎn)生器生成新一代的測試,新一代的測試可以覆蓋到上一代的測試無法覆蓋的功能點.實驗結(jié)果表明:在2個高性能的32位多核處理器的驗證環(huán)境中,該測試產(chǎn)生器可以明顯減少仿真時間,提高驗證效率.
【作者單位】： 浙江大學信息與電子工程學系;浙江大學超大規(guī)模集成電路研究所;
【關鍵詞】： 覆蓋率 測試產(chǎn)生器 遺傳算法(GA) 覆蓋率驅(qū)動測試產(chǎn)生器 適應度函數(shù)
【基金】：國家自然科學基金資助項目(61100074) 核高基國家科技重大專項資助項目(2012ZX01039-004) 中央高校基礎研究基金資助項目(2013QNA5008)
【分類號】：TP18;TP368.1
【正文快照】： 隨著嵌入式系統(tǒng)的規(guī)模越來越龐大,功能驗證已經(jīng)成為嵌入式系統(tǒng)設計周期中最主要的挑戰(zhàn),功能驗證的方法直接決定了嵌入式系統(tǒng)的面市時間.目前主要使用基于仿真的驗證方法驗證嵌入式系統(tǒng)的功能,這種方法是通過仿真大量的測試得到期望的覆蓋率,其效果和所使用的測試的質(zhì)量息息相

【共引文獻】

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

1 劉陽秋;基于依賴結(jié)構的測試用例優(yōu)先級技術研究[D];浙江理工大學;2015年

【相似文獻】

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

1 苑進,孫忠林,劉雪美;改進遺傳算法在齒輪減速器優(yōu)化中的應用[J];山東科技大學學報(自然科學版);2001年04期

2 劉雅琴,遲洪欽;最優(yōu)合并構成的有序遺傳算法[J];上海師范大學學報(自然科學版);2001年04期

3 程錦松;求多項式全部根的遺傳算法[J];微機發(fā)展;2001年01期

4 程錦松,劉鋒;基于分布理論和遺傳算法的多項式求根算法[J];微機發(fā)展;2001年06期

5 周林,婁壽春,趙杰;基于遺傳算法的目標優(yōu)化分配模型[J];系統(tǒng)仿真學報;2001年03期

6 趙勝利;李書全;劉燕;劉永建;田偉;;用遺傳算法確定鮑羅米公式中的系數(shù)A、B值[J];河北農(nóng)業(yè)大學學報;2002年03期

7 許世剛,高新陵;分流機制遺傳算法研究[J];系統(tǒng)工程與電子技術;2002年07期

8 孫進平 ,吳瑞明 ,翟瑞紅 ,劉忠武;基于遺傳算法的工藝決策模式的探索[J];現(xiàn)代制造工程;2002年01期

9 胡靜,陳恩紅,王上飛,王熙法;交互式遺傳算法中收斂性及用戶評估質(zhì)量的提高[J];中國科學技術大學學報;2002年02期

10 吳青萍;一種新的優(yōu)化方法——遺傳算法原理及其應用[J];常州信息職業(yè)技術學院學報;2002年02期

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

1 韓娟;;遺傳算法概述[A];第三屆河南省汽車工程科技學術研討會論文集[C];2006年

2 龐國仲;王元西;;基于遺傳算法控制步長的定性仿真方法[A];'2000系統(tǒng)仿真技術及其應用學術交流會論文集[C];2000年

3 林家恒;李國鋒;田國會;劉長有;;遺傳算法在旋轉(zhuǎn)貨架揀選優(yōu)化中的應用[A];1996中國控制與決策學術年會論文集[C];1996年

4 史駿;裘聿皇;;遺傳算法中基因排列方式對運行的影響[A];1996年中國控制會議論文集[C];1996年

5 韓戰(zhàn)鋼;;遺傳算法及在經(jīng)濟中的應用[A];Optimization Method, Econophysics and Risk Management--Proceedings of CCAST (World Laboratory) Workshop[C];2001年

6 唐毅;葛運建;王定成;江建舉;;遺傳算法在運動員技術動作優(yōu)化中的應用研究[A];2003年中國智能自動化會議論文集（下冊）[C];2003年

7 文涇;朱玉文;;用遺傳算法進行航線規(guī)劃[A];全國第16屆計算機科學與技術應用（CACIS）學術會議論文集[C];2004年

8 于春梅;黃玉清;楊勝波;;遺傳算法在參數(shù)辨識中的應用進展[A];中國自動化學會、中國儀器儀表學會2004年西南三省一市自動化與儀器儀表學術年會論文集[C];2004年

9 王志宏;王斌;;基于遺傳算法的非確定性目標優(yōu)化[A];中國自動化學會全國第九屆自動化新技術學術交流會論文集[C];2004年

10 王曉東;劉全利;金吉凌;王偉;;基于序次優(yōu)化策略的改進遺傳算法[A];第二十三屆中國控制會議論文集（下冊）[C];2004年

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

1 林京;《神經(jīng)網(wǎng)絡和遺傳算法在水科學領域的應用》將面市[N];中國水利報;2002年

2 高雪娟;協(xié)同設計的平臺策略[N];中國計算機報;2006年

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

1 周輝仁;遞階遺傳算法理論及其應用研究[D];天津大學;2008年

2 郝國生;交互式遺傳算法中用戶的認知規(guī)律及其應用[D];中國礦業(yè)大學;2009年

3 侯格賢;遺傳算法及其在跟蹤系統(tǒng)中的應用研究[D];西安電子科技大學;1998年

4 馬國田;遺傳算法及其在電磁工程中的應用[D];西安電子科技大學;1998年

5 唐文艷;結(jié)構優(yōu)化中的遺傳算法研究和應用[D];大連理工大學;2002年

6 周激流;遺傳算法理論及其在水問題中應用的研究[D];四川大學;2000年

7 劉冀成;基于改進遺傳算法的生物電磁成像與磁場聚焦應用研究[D];四川大學;2005年

8 袁麗華;基于物種進化的遺傳算法研究[D];南京航空航天大學;2009年

9 李航;遺傳算法求解多模態(tài)優(yōu)化問題的研究[D];天津大學;2007年

10 石玉;提高實數(shù)遺傳算法數(shù)值優(yōu)化效率的研究[D];南京航空航天大學;2002年

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

1 谷克;遺傳算法在公路路線智能決策系統(tǒng)中的應用研究[D];長安大學;2008年

2 李艷嬌;基于改進遺傳算法的剛架結(jié)構截面力學特性參數(shù)優(yōu)化的研究[D];吉林大學;2009年

3 任巍;求解極小碰集的遺傳算法的研究與改進[D];吉林大學;2009年

4 王赫;混沌遺傳算法在模式識別中的應用[D];東北電力大學;2009年

5 于蕾蕾;雙種群遺傳算法的改進及其應用研究[D];合肥工業(yè)大學;2009年

6 王婧;遺傳算法及其在聚類分析中的應用[D];華中師范大學;2009年

7 胡文斯;基于遺傳算法的車間作業(yè)調(diào)度問題的研究[D];中國海洋大學;2009年

8 吳明華;基于遺傳算法的養(yǎng)護機械生產(chǎn)車間作業(yè)調(diào)度問題的研究[D];長安大學;2007年

9 尉鈺;基于改進遺傳算法的橋梁模型動力優(yōu)化[D];長安大學;2007年

10 王銀年;遺傳算法的研究與應用[D];江南大學;2009年

，

本文編號：565980