本發(fā)明公開了一種基于強化學(xué)習(xí)的Simulink軟件測試方法,分為兩個部分:用例生成部分和用例測試部分;用例生成部分:①在測試用例庫中選擇一個初始模型,②將其狀態(tài)特征輸入至強化學(xué)習(xí)代理,③代理根據(jù)輸入在動作庫中選擇模型下一步要執(zhí)行的動作,④并將動作索引輸出給模型,模型執(zhí)行該動作。用例測試部分:⑤MATLAB對執(zhí)行動作后的模型進行編譯測試,⑥若編譯不通過,則對編譯錯誤進行修復(fù),⑦對編譯通過后的模型進行差分測試,⑧判斷測試結(jié)果在功能上是否等價,若等價則認為沒有發(fā)現(xiàn)bug,若存在差異,認為發(fā)現(xiàn)了bug,⑨基于測試結(jié)果,更新強化學(xué)習(xí)代理,使強化學(xué)習(xí)代理趨向于生成易觸發(fā)bug的模型。
聲明:
“基于強化學(xué)習(xí)的Simulink軟件測試方法” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)