OSCAR不忘科研初心，实验室取得重大成果！

“聚焦工业软件研发痛点，致力于编译系统设计、实现、优化、测试技术体系化改革，助力祖国工业制造高速、高质发展”。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等顶级期刊和会议。