技術(shù)編號(hào):6631054
提示:您尚未登錄,請(qǐng)點(diǎn) 登 陸 后下載,如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊(cè) ,登陸完成后,請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。本發(fā)明涉及一種基于迭代的區(qū)間運(yùn)算的軟件測(cè)試用例自動(dòng)生成方法及系統(tǒng),包括S1、讀取待測(cè)程序中的預(yù)定路徑,通過(guò)遍歷所述待測(cè)程序的控制流圖得到所述預(yù)定路徑的各個(gè)變量的變量取值區(qū)間;S2、將所述變量取值區(qū)間通過(guò)迭代的區(qū)間運(yùn)算遍歷所述控制流圖,得到各個(gè)所述變量的初始穩(wěn)定變量取值區(qū)間;S3、對(duì)所述初始穩(wěn)定變量取值區(qū)間中的無(wú)窮變量取值區(qū)間進(jìn)行初始化處理,通過(guò)迭代的區(qū)間運(yùn)算遍歷所述控制流圖,并將運(yùn)算結(jié)果保存到所述初始穩(wěn)定變量取值區(qū)間;S4、根據(jù)預(yù)設(shè)的機(jī)制對(duì)變量進(jìn)行排序,并...
注意:該技術(shù)已申請(qǐng)專利,請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出,在未取得專利權(quán)人授權(quán)前,僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán),增加技術(shù)思路,做技術(shù)知識(shí)儲(chǔ)備,不適合論文引用。
請(qǐng)注意,此類技術(shù)沒有源代碼,用于學(xué)習(xí)研究技術(shù)思路。