重要进展

围绕如何结合软件工程方法、人工智能及系统仿真技术全面保障和提升自主系统软件可信性科学问题，研究中心在以下几个方向开展了具体研究：1）软件漏洞挖掘与分析技术，2）软件全方位测试理论与关键技术，3）软件漏洞自动修复理论与关键技术，4）自主系统建模与仿真技术。以研究院为单位发表50余篇国际期刊和会议论文，申请国家发明专利10项，团队成员获批15项国家级、省部级、市级以及企业横向项目，研发的技术在腾讯、华为、香港 PopSquare 等公司部署应用。

代表性成果

成果 1：复杂系统软件漏洞挖掘与分析技术

成果 2：软件全方位测试方法与关键技术