本發(fā)明公開(kāi)了一種基于強(qiáng)化學(xué)習(xí)的Simulink軟件測(cè)試方法，分為兩個(gè)部分：用例生成部分和用例測(cè)試部分；用例生成部分：①在測(cè)試用例庫(kù)中選擇一個(gè)初始模型，②將其狀態(tài)特征輸入至強(qiáng)化學(xué)習(xí)代理，③代理根據(jù)輸入在動(dòng)作庫(kù)中選擇模型下一步要執(zhí)行的動(dòng)作，④并將動(dòng)作索引輸出給模型，模型執(zhí)行該動(dòng)作。用例測(cè)試部分：⑤MATLAB對(duì)執(zhí)行動(dòng)作后的模型進(jìn)行編譯測(cè)試，⑥若編譯不通過(guò)，則對(duì)編譯錯(cuò)誤進(jìn)行修復(fù)，⑦對(duì)編譯通過(guò)后的模型進(jìn)行差分測(cè)試，⑧判斷測(cè)試結(jié)果在功能上是否等價(jià)，若等價(jià)則認(rèn)為沒(méi)有發(fā)現(xiàn)bug，若存在差異，認(rèn)為發(fā)現(xiàn)了bug，⑨基于測(cè)試結(jié)果，更新強(qiáng)化學(xué)習(xí)代理，使強(qiáng)化學(xué)習(xí)代理趨向于生成易觸發(fā)bug的模型。