電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
針對(duì)約束系統(tǒng)中非線性謂詞函數(shù)、指針、數(shù)組等復(fù)雜運(yùn)算的求解問題，運(yùn)用約束滿足搜索算法，通過減少約束方程組中參數(shù)變量的個(gè)數(shù)，逐步縮小參數(shù)變量的取值范圍，提出基于符號(hào)法求解約束的改進(jìn)算法。對(duì)含有非線性謂詞、數(shù)組的程序?qū)嵗M(jìn)行實(shí)驗(yàn)，結(jié)果表明改進(jìn)算法能有效生成測(cè)試用例。
關(guān)鍵詞：測(cè)試用例生成；約束滿足搜索；軟件測(cè)試；路徑覆蓋測(cè)試
關(guān)鍵詞：測(cè)試用例生成；約束滿足搜索；軟件測(cè)試；路徑覆蓋測(cè)試
約束滿足
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 圖染色局部搜索算法python 1次下載
- 基于啟發(fā)式搜索算法的無人機(jī)航跡規(guī)劃 24次下載
- 基于改進(jìn)和聲搜索算法的深度置信網(wǎng)絡(luò)模型 5次下載
- 基于遺傳算法的測(cè)試用例生成方法 2次下載
- 基于滑動(dòng)窗口的寬度優(yōu)先搜索算法 4次下載
- 以進(jìn)化算法為搜索策略實(shí)現(xiàn)神經(jīng)架構(gòu)搜索的方法 15次下載
- 基于布谷鳥搜索算法的PID擁塞控制模型 14次下載
- 粒子群優(yōu)化測(cè)試用例生成方法 0次下載
- 基于碰撞域檢測(cè)優(yōu)化的測(cè)試用例自動(dòng)生成方法 2次下載
- 改進(jìn)引力搜索算法的交換機(jī)遷移策略 0次下載
- 基于DSEA的弱變異測(cè)試用例集生成方法 0次下載
- 多準(zhǔn)則優(yōu)化的規(guī)模約束型測(cè)試用例選擇 4次下載
- 一種改進(jìn)的鄰近粒子搜索算法 0次下載
- 一種改進(jìn)的兩兩組合測(cè)試用例生成方法
- 基于UML的生成場(chǎng)景測(cè)試用例研究
- 如何讓大模型生成你想要的測(cè)試用例？ 742次閱讀
- 芯片硬件測(cè)試用例 617次閱讀
- 端到端測(cè)試用例怎么寫 1.4k次閱讀
- TSMaster 測(cè)試報(bào)告生成器操作指南 1.7k次閱讀
- Rust如何實(shí)現(xiàn)A*算法 1.4k次閱讀
- 四足機(jī)器人走著走著突然斷了一條腿，還能繼續(xù)前進(jìn)嗎？ 1.3k次閱讀
- 一種完全由LLM + 啟發(fā)式搜索算法結(jié)合的TOT算法 2.8k次閱讀
- 創(chuàng)建約束隨機(jī)測(cè)試目標(biāo) 1.2k次閱讀
- 從跨平臺(tái)測(cè)試用例復(fù)用想到IP測(cè)試意圖交付 1.5k次閱讀
- 介紹當(dāng)前比較常見的幾種近鄰搜索算法 3.2k次閱讀
- 基于WindowCE的雙向啟發(fā)式搜索算法的改進(jìn)設(shè)計(jì)及應(yīng)用方案 2.8k次閱讀
- 數(shù)據(jù)測(cè)試：代替測(cè)試用例的檢查表 3.2k次閱讀
- 數(shù)據(jù)測(cè)試用例設(shè)計(jì)：因果圖方法 3.5k次閱讀
- 分支限界法與回溯法算法的詳細(xì)資料概述 8.4k次閱讀
- 計(jì)算機(jī)科學(xué)中最重要的32個(gè)算法 1.1w次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊(cè)
- 2.33 MB | 次下載 | 免費(fèi)
- 2MDD品牌三極管S9012數(shù)據(jù)手冊(cè)
- 2.62 MB | 次下載 | 免費(fèi)
- 3聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費(fèi)
- 4收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊(cè)
- 2.50 MB | 次下載 | 免費(fèi)
- 524Pin Type-C連接器設(shè)計(jì)報(bào)告
- 1.06 MB | 次下載 | 免費(fèi)
- 6新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費(fèi)
- 7MS1000TA 超聲波測(cè)量模擬前端芯片技術(shù)手冊(cè)
- 0.60 MB | 次下載 | 免費(fèi)
- 8MS1022高精度時(shí)間測(cè)量(TDC)電路數(shù)據(jù)手冊(cè)
- 1.81 MB | 次下載 | 免費(fèi)
本月
- 1愛華AIWA HS-J202維修手冊(cè)
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊(cè)
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測(cè)距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論