2024年9月11日下午，“CCF系统软件专委走进上海第二工业大学”报告活动“人工智能时代的系统软件”在上海第二工业大学计算机与信息工程学院举办。本次活动作为上海第二工业大学64周年校庆系列活动、师德师风建设月系列活动之教师赋能提升主题活动等的重要安排之一，取得圆满成功。

活动期间，CCF系统软件专委副主任、南京大学计算机学院教授许畅老师，CCF系统软件专委常委、上海交通大学计算机科学与工程系副系主任陈雨亭老师，CCF系统软件专委委员、华东师范大学软件工程学院教授苏亭老师分别做了精彩的讲座，为与会师生带来了丰富的学术盛宴。

许畅老师首先介绍了CCF走进高校的初衷与历史活动，并鼓励同学们通过专业学会多了解中国计算机技术的发展，接着做主题报告“约束检测：迈向万物互联的一致性”。报告首先介绍一致性、约束检测和软件测试的模型、思想和应用等，分析其中的发展历程和新的挑战，然后介绍如何对约束检测自身的一致性进行保障。该工作基于蜕变测试的思想，分析并提出了一系列针对约束检测实现进行有效测试的蜕变关系，通过细粒度控制和输入转换，遵循敏感性原则和多样性原则，在无需手动标注结果的前提下，实现了约束检测实现的自动化测试。最后介绍和展望可靠约束检测在各方面的应用场景。

陈雨亭老师的报告题目为“面向低内存的AI编译优化编排技术”。报告首先介绍科研界和工业界在开发优化技术方面的大量工作及如何编排这些优化技术存在的挑战——大多数编译器仍然在采用一个固定优化序列。接着介绍介绍陈老师团队近期在面向低内存的AI编译优化编排方面的突破性工作。一方面，研发针对计算图的静态内存计算技术HMCOS。另一方面，研发了用于TVM 优化序列的编排技术OPass，以降低计算图内存使用，并允许计算图在内存受限的设备上运行。最后用实验结果说明HMCOS提供了告诉的计算图调度方式，OPass大大减少计算图的内存使用。

苏亭老师的报告题目为“基于性质测试的移动应用软件功能正确性验证”。移动应用软件是一类基于图形界面、事件驱动的软件，广泛服务于我们的日常生活。然而，由于其人机交互方式多样、运行环境复杂、版本更新频繁，如何保障其质量一直是工业界和学术界关心的研究问题。在过去的十余年，自动化UI测试技术作为一种有效的软件错误检测方法被不断完善，并逐步应用于业界实践中，取得了不错的效果。然而此类测试技术局限于崩溃错误，由于缺乏测试预言，很难用于测试软件功能正确性。本报告将介绍苏老师团队提出的一种基于性质测试理论的软件功能正确性验证方法和对应的工具；并探讨大模型在该研究问题上的可能应用和思考。该系列研究工作已经在一些商业应用中找到了百余个核心软件功能错误。

在提问交流环节，在场师生结合自己的研究工作，有针对性地与三位专家进行了交流。

本次CCF走进高校活动，是CCF第一次走进上海第二工业大学，不仅扩大了CCF在上海市属高校的影响力，而且有效提升学校学术报告的能级，助力学校相关活动的开展。