2022 CCF中国软件大会（CCF ChinaSoft）“高可信嵌入式软件工程技术”论坛成功召开…

2022年11月27日，2022年度CCF中国软件大会高可信嵌入式软件工程论坛成功召开。论坛由航天502所高可信嵌入式软件工程专业实验室和北京轩宇信息技术有限公司共同发起，此次是第三届。

本次论坛由北京轩宇信息技术有限公司技术总监郭向英研究员主持，聚焦高可信嵌入式软件工程理论最新研究进展和工业紧迫现实问题，加强学术界与工业界合作，研讨目前学术界的研究趋势、工业界的应用成果、主要问题和挑战等。论坛邀请了来自航天、中电等工业界和南大、北航、浙大等学术界的6位学者，吸引了来自产业界和学术界相关领域专家、师生和一线从业人员的广泛参与，展开了热烈的交流和讨论，获得了较高的认可度和好评。论坛腾讯会议同时在线人数达到218人，论坛视频在线直播和B站在线直播累积观看人数达1590人。

第二场报告由中国电科十四所软件测评中心的柳溪主任带来，题为“自动化数字化智能化相结合的电子装备软件质量管控探索”。电子装备中软件已成为影响效能的关键因素。软件测试验证作为装备质量提升的重要手段，已从自动化逐步转向数字化，并进一步向智能化方向迈进。报告汇报了中电十四所在电子装备软件测试验证方面，从自动化到数字化并进一步向智能化方向发展路径中的一些探索，特别是贯穿其中的电子装备软件质量数据工程建设和实施。此外，还就相关研究和工程问题展开探讨，以持续提升电子装备软件质量。

中国航天科工集团第九总体设计部软件评测中心的原野主任带来第四场报告，题为“装备软件数字化测试的探索与实践”。装备软件测试工作长期受到测试手段受限、故障注入不便、测试效率低下等因素困扰。数字化测试技术能够在完全脱离实装环境的情况下开展装备软件测试工作，为测试人员提供全方位的测试解决方案。报告分享了九部软件评测中心近年来围绕航天装备嵌入式软件数字化测试所作的工作，给出工程实践成果案例，对相关工作经验进行总结，并探讨了未来数字化测试技术的发展方向和应用前景。

最后，航天502所轩宇信息的陈睿研究员带来第六场报告，题为“航天嵌入式软件并发缺陷特征”。中断并发缺陷是航天嵌入式软件研制中最具有挑战的可信问题，如何自动化检测、避免和修复该类缺陷长期受到学术界和工业界的关注。报告分享了航天502所可信软件研究团队近期开展的一项大规模并发缺陷实证研究的结果，这一研究分析了132个来自真实航天嵌入式软件的并发缺陷，系统全面地从缺陷模式、缺陷表现、根因和修复策略等多个维度揭示了航天嵌入式软件并发缺陷的特征，并发现了多个与常规并发缺陷截然不同的特征。这些结果对未来学术界和工业界共同解决这一航天重要可信需求提供指引。