電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
在對復(fù)雜的軟件系統(tǒng)進(jìn)行測試時(shí)，生成的系統(tǒng)狀態(tài)空間可能會非常龐大．為了避免對整個(gè)狀態(tài)空間進(jìn)行遍歷，提出將on-the-fly方法與CPN形式化建模方法結(jié)合起來，用于生成測試?yán)谶@種方法中，無需對整個(gè)狀態(tài)空間進(jìn)行遍歷，只是僅對測試人員感興趣的部分狀態(tài)空間進(jìn)行針對性的測試．首先，給出CPN和擴(kuò)展可達(dá)圖的定義，介紹了on-the-fly測試方法中涉及的相關(guān)概念，包括系統(tǒng)規(guī)約、測試目的、同步乘積和測試?yán)龋缓螅瑢?shí)現(xiàn)了同步乘積算法，并設(shè)計(jì)相關(guān)測試?yán)龑ζ溥M(jìn)行了測試，最后，選定一個(gè)被測系統(tǒng)示例CPN建模與on-the-fly結(jié)合的方法，并通過適配器實(shí)現(xiàn)與被測系統(tǒng)的交互，生成和執(zhí)行測試?yán)纱蓑?yàn)證了方法的可行性和有效性．
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于關(guān)聯(lián)規(guī)則的Web應(yīng)用統(tǒng)計(jì)測試生成方法 3次下載
- 基于遺傳算法的測試用例生成方法 2次下載
- 面向Java的Randoop自動(dòng)化單元測試生成工具 8次下載
- 一種基于運(yùn)行剖面的測試用例與選擇方法 10次下載
- 結(jié)合混合符號執(zhí)行的導(dǎo)向式灰盒模糊測試方法 14次下載
- 繼電保護(hù)裝置測試用例智能生成 2次下載
- 粒子群優(yōu)化測試用例生成方法 0次下載
- 基于碰撞域檢測優(yōu)化的測試用例自動(dòng)生成方法 2次下載
- 基于UML圖依權(quán)限有序的Web鏈接測試用例生成方法 0次下載
- 基于DSEA的弱變異測試用例集生成方法 0次下載
- 手機(jī)硬件測試用例 56次下載
- 一種改進(jìn)的兩兩組合測試用例生成方法
- 面向路徑覆蓋的演化測試用例生成技術(shù)
- 基于CPN的業(yè)務(wù)流程執(zhí)行語言建模
- 基于UML的生成場景測試用例研究
- 端到端測試用例怎么寫 529次閱讀
- TSMaster 測試報(bào)告生成器操作指南 552次閱讀
- 創(chuàng)建約束隨機(jī)測試目標(biāo) 664次閱讀
- 從跨平臺測試用例復(fù)用想到IP測試意圖交付 881次閱讀
- 何時(shí)使用 Fly-Buck 解決方案更好 2002次閱讀
- 圍繞拓?fù)浣Y(jié)構(gòu)與端接展開，淺談對fly-by結(jié)構(gòu) 6299次閱讀
- 數(shù)據(jù)測試：代替測試用例的檢查表 2746次閱讀
- 詳談黑盒測試用例設(shè)計(jì) 2936次閱讀
- 網(wǎng)站測試的8大方面和常用工具 3813次閱讀
- 數(shù)據(jù)測試用例設(shè)計(jì)：因果圖方法 3100次閱讀
- 常用模塊的數(shù)據(jù)測試：登錄添加查詢刪除 1985次閱讀
- Python自動(dòng)化測試框架有哪些？ 4686次閱讀
- 一種基于仿真測試平臺的實(shí)物自動(dòng)化測試環(huán)境 6292次閱讀
- UMTS測試背后的射頻測試原理 9263次閱讀
- 基于LDO的音頻功放測試技術(shù)(LM4990為例) 6553次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費(fèi)
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評論