技術總結
本發(fā)明公開了一種基于源代碼插樁的指令集模擬器驗證方法。該方法針對目前指令集模擬器驗證困難的問題，通過對測試用例增加指令使其將結果輸出到特定內存區(qū)域，模擬器將這部分內存區(qū)域映射為終端，在測試時將執(zhí)行輸出重定向到文件，并預先提供預期輸出文件，若測試時產生的輸出文件與預期輸出文件相同則測試通過，同時構建腳本使其自動對批量測試用例進行測試。該方法能夠自動對模擬器進行驗證，并幾乎覆蓋模擬的所有指令，大大簡化了指令集模擬器的驗證工作，同時能夠極大地縮減軟件的開發(fā)周期，提高開發(fā)效率，具有極大應用前景。

技術研發(fā)人員：高進;盧建鵬;蔡銘
受保護的技術使用者：浙江大學
文檔號碼：201611047479
技術研發(fā)日：2016.11.22
技術公布日：2017.05.31