一種二進制翻譯中間表示正確性的測試方法

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