（本文转自智能算法研究中心官方网站

http://www2.scut.edu.cn/huanghan/2023/0412/c9791a497589/page.htm）

报告时间：2023年4月25日（星期二）下午15:00-17:00

报告地点：华南理工大学南校区B8报告厅

会议主持：向毅副教授

报告题目：智能化软件漏洞分析

报告摘要：

信息技术的快速发展给我们生活带来许多便利的同时，也带来了极大的安全隐患，网络安全事故频频发生。软件是信息化、智能化发展的灵魂，软件安全是各行各业信息化安全性的基础。本次报告从软件安全漏洞特征分析、检测、漏洞重现，以及面向漏洞分析的知识图谱构建等方面，介绍基于大数据挖掘、自然语言处理、以及机器学习算法的软件安全测试相关研究和最新进展。本次报告将涵盖以下几个方面：利用安全领域知识构建知识图谱，通过实体和边的关系和短语来识别和预测安全缺陷报告（SBR）；将交互式机器学习和主动学习相结合，通过不确定性采样来提高训练样本的多样性和泛化能力，从而提高高影响力缺陷报告（HBR）预测的效果；使用自然语言处理、深度学习和动态GUI探索相结合，从缺陷报告中自动合成事件序列，从而实现Android应用崩溃的自动重现；通过人工分析每个缺陷报告，改进公开数据集的标签正确性，并评估数据质量对SBR预测模型性能的影响。除了这些研究工作，我们希望展示软件安全测试技术在实际应用中的价值和效果，因此本报告还将介绍这些技术在涉及虚拟仪器、操作系统、飞控软件等场景和项目中的应用。

报告人：郑炜副教授

个人简介：

郑炜，西北工业大学，软件学院，博士（博士后），副教授，博士生导师，发表学术论文80余篇，包括TSE、TOSEM、ICES、FSE、TR、KBS、IST、JSS、软件学报等高水平期刊和会议30余篇，其中高被引论文5篇，热点论文2篇；主持、参与国自然重大仪器项目，国自然重点基金，国家重点研发计划，国家预研项目，陕西省重点研发计划等项目10项；主持12项研究所横向课题（合作研究所航天504所、航空601所，中电20所、航空618所、兵器203所），申请专利20余项，3项专利已经成功转化。主要涉及自动化测试平台，智能软件评估，国产软件漏洞检测平台等。主要研究领域为智能化软件测试、软件安全、大数据分析。编写教材，专著11部，其中软件测试教材获得工信部十四五规划教材，陕西省优秀教材，销售超过2万册，被超过50所学校选为教材。主讲课程在爱课程，学堂在线平台上线，选课总人数超过5万，获批陕西省精品在线课程。获得国家教学成果奖二等奖1项。

报告题目：约束求解技术在关键软件系统可靠性保障中的应用

报告摘要：

随着工业界对定制化软件和服务的需求不断增加，高度可配置软件在众多重要的实际应用中发挥着关键作用。为了适应快速多变的应用需求，高度可配置软件提供了大量的选项，软件从业者可以通过配置这些选项轻松地定制系统，以满足上层应用的不同定制化需求。当前，很多关键软件系统（如操作系统、编译器、求解器等）都呈现了高度可配置性。例如，通用操作系统Linux、开源编译器GCC[17]、商业求解器CPLEX提供了大量选项用于服务不同实际应用的定制化需求。但是，测试高度可配置软件是非常具有挑战性的。在实践中，可能的配置数量随着选项数量的增加呈指数级别增长，并且只有某些特定的配置会导致软件运行故障，因此迫切需要实用的测试方法。本报告将探讨如何使用约束求解技术设计高覆盖率的测试套件，以保障关键软件系统的可靠性。

报告人：罗川副教授

个人简介：

罗川，北京航空航天大学软件学院副教授、博导，主要研究方向是约束求解、智能运维、软件测试。截至2023年3月，总计发表CCF-A类国际顶级期刊和会议论文30余篇，其中以第一作者和通讯作者身份发表CCF-A类论文10余篇。作为项目负责人主持多项科研项目，包括国家自然科学基金项目、校企合作项目等；作为项目骨干参与国家重点研发计划项目。近年来，担任或即将担任CCF-A类国际顶级会议ISSTA、NeurIPS、AAAI、IJCAI的（资深）程序委员会成员。设计的约束求解器于国际求解器竞赛（如SAT Challenge、MaxSAT Evaluation）多次获得冠军。研究成果被诺贝尔奖得主、美国工程院院士、麻省理工学院、加州大学伯克利分校、微软、美团等用于实际应用和产品转化。

总编：黄翰

责任编辑：袁中锦

时间：2023年4月12日