CCF@U1132：CCF系统软件专委走进哈尔滨学院

CCF走进高校第1132场

敬请关注

由中国计算机学会（CCF）主办，CCF系统软件专委、哈尔滨学院承办的CCF走进高校活动，将于2024年9月25日在哈尔滨学院召开，敬请关注。

活动时间：2024年9月25日 13:30 - 16:30

活动地点：哈尔滨学院崇德楼1401

报告信息：

报告题目：约束检测：迈向万物互联的一致性

报告摘要：这是一个关于用约束检测实现一致性的科普报告。首先我们介绍一致性、约束检测和软件测试的一般知识（模型、思想和应用等），分析其中的发展历程和新的挑战，然后汇报我们的SANER’24工作。该工作着眼于各类约束检测技术，其在保障运行在动态变化环境中的智能适应软件的可靠性上扮演着重要作用，也可被广泛用于保障软件构件在开发和演化过程中的一致性。当前，虽然研究界已经提出并实现了各种高效和可扩展的约束检测技术，但由于其固有的测试预言问题，即无法有效确认在给定任意数据和一致性约束情况下的检测结果应该是什么，这些实现远未经过充分测试。对此，我们基于蜕变测试的思想，分析并提出了一组针对约束检测实现进行测试的蜕变关系，通过细粒度控制和输入转换，以敏感性原则和多样性原则，在无需任何手动标注的前提下，实现了约束检测实现的系统测试。实验表明，该方法可有效发现约束检测实现的深层软件缺陷，揭示了80％的变异错误和多个隐藏多年的真实缺陷。最后，我们介绍和展望可靠约束检测在各方面的应用场景。

嘉宾简介：

许畅，南京大学计算机学院教授、博士生导师，国家级人才计划入选者，ACM杰出会员、CCF系统软件专委副主任。从事开放环境软件质量保障理论、方法与技术研究，在TOSEM、TSE、ICSE、ESEC/FSE和《中国科学》等国内外重要期刊和会议上发表论文多篇，曾获ACM SIGSOFT杰出论文奖四次、国际会议最佳论文奖三次、国家科技进步二等奖、CCF青年科学家奖和中创软件人才奖等。

报告题目：开放不确定场景下软件可信构造与保障

报告摘要：信息物理系统广泛出现在列控、航天、航空、智能驾驶等安全攸关领域，其行为正确性至关重要。然而，系统内部行为中离散、连续行为交织，极其复杂；而外界动态不确定环境更近一步加剧了相关系统行为复杂度，使得相关系统的可信构造与保障难以进行。针对此问题，提出了一种基于形式化建模与验证的可信构造与保障方法。首先提出了一种面向可重构系统的基于场景的层次化建模语言，来对系统动态行为进行快速建模。基于此建模语言，在运行时对系统短期内行为进行快速建模与验证，从而对潜在不安全行为进行发现与预警。在此基础上，进行运行时细粒度控制参数自动生成，在发现潜在危险时，接管系统控制，保障安全。部分成果已在列控、工控等领域进行应用验证，取得广泛关注。

嘉宾简介：

卜磊，教授，博士生导师，现任南京大学软件学院副院长，兼任 CCF 系统软件专委秘书长；2010年获得南京大学计算机与科学技术系博士学位；曾在CMU、MSRA等科研机构进行访学与合作研究；主要研究领域涉及软件工程、可信软件、形式化方法等方面，部分创新性研究成果已发表于计算机科学与技术领域内的权威期刊与知名会议，包括《中国科学》、TCAD、TC、TDSC、CAV、RTSS、ICSE、ISSTA、ASE、DAC等；入选国家级青年人才计划、高校计算机专业优秀教师奖励计划、CCF-IEEE CS青年科学家奖、中创软件人才奖、NASAC青年软件创新奖、CCF青年人才发展计划、MSRA铸星计划等。

CCF微信公众号，欢迎关注