技術(shù)編號：40389027
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明涉及軟件蛻變測試，特別是一種數(shù)值表達(dá)式型蛻變關(guān)系的靜態(tài)迭代構(gòu)造方法及系統(tǒng)。背景技術(shù)、軟件測試兩大核心問題：測試用例集合完備性，以及程序正確性判定機制。軟件測試技術(shù)可分為傳統(tǒng)測試和非傳統(tǒng)測試，傳統(tǒng)測試技術(shù)的判定機制為程序輸出與預(yù)期結(jié)果是否一致。當(dāng)預(yù)期值構(gòu)造困難、獲取成本極高時，判定機制失效，如：核反應(yīng)堆仿真、武器爆轟流體模擬、航天飛行器太空環(huán)境仿真等場景就存在該問題。同時，傳統(tǒng)測試技術(shù)只適用于確定論程序，當(dāng)同一組輸入的多次執(zhí)行結(jié)果不相等時，判定機制也會失效，如基于概率模型的蒙特卡洛計算、深...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。