“聚焦工業軟件研發痛點，致力于編譯系統設計、實現、優化、測試技術體系化改革，助力祖國工業制造高速、高質發展”。OSCAR圍繞我國工業軟件核心，針對內嵌式編譯器存在故障機理認識不清、故障檢測手段落后、全工具鏈測試平臺缺乏等質量問題展開分析與測試。
OSCAR在有關工業軟件（內嵌式編譯器）代碼故障檢測方面取得重大成果，相關研究成果以“Partition Based Differential Testing for Finding Embedded Code Generation Bugs in Simulink”為題成功發表于期刊IEEE Transactions on Reliability。IEEE Transactions on Reliability是國際公認的可靠性領域頂級期刊，所發表的論文主要聚焦現實系統的可維護性、故障診斷、壽命預測、可靠性設計和制造，以及系統可靠性、可用性、安全性和有效性度量。本次錄用的論文是由江賀教授、郭世凱副教授、李曉晨副教授以及成烘儀碩士共同完成，研究工作得到了國家自然科學基金重點項目等項目的支持。
經過實驗團隊的努力，僅在三個月內，實驗成果RECORD就報告了一批新的Simulink編譯器錯誤，該效果顯著優于現存其他最先進的配置多樣化方法。不僅如此，RECORD還可以促進不同的測試策略來發現更多的錯誤。
據了解，OSCAR （基礎軟件實驗室）是由大連理工大學江賀教授組織的基礎軟件研發團隊，成員來自大連理工大學和大連海事大學。OSCAR 主要圍繞編譯系統和操作系統開展研究工作，團隊全面分析FPGA、PCB等電子設計自動化（EDA）核心工具鏈內嵌式編譯器故障根因，建立工業軟件測試理論基礎；并提出工業軟件智能測試系列方法，結合工業場景規約、軟件測試與人工智能技術，實現多種類、多場景工業軟件的高效測試；OSCAR研發國內首款FPGA設計工具鏈自動化智能測試平臺，解決工業軟件全工具鏈測試平臺缺乏難題。
OSCAR研究成果廣泛落地應用于航空航天、軍事偵察、能源電力等重大領域，已實現多款業界FPGA開源/閉源設計工具的測試，如Vitis、Yosys、Iverilog等。發現工具鏈故障70余個，包括高級綜合故障30+，邏輯綜合故障5個，仿真驗證故障20+，調試器故障10+。相關技術成果發表在TSE、FSE、DAC等頂級期刊和會議。
