摘要：為實現軟件多源多目標的跨平臺無源移植和優化,中間表示被二進制翻譯系統普遍使用。基于翻譯中中間表示的作用,提出基于語義等價驗證的翻譯正確性測試方法。通過先建立源平臺指令與中間表示的對應關系,再對中間表示進行狀態初始化構造測試用例,最后分別對源平臺指令和中間表示執行并比較結果,可以將錯誤的原因具體到語義解析和本地實現兩個子過程。應用文章提出的方法,通過測試發現二進制翻譯系統中間表示語義解析時存在的3處錯誤并證明了該方法的有效性。