Page 6 - 《软件学报》2026年第7期
P. 6

软件学报 ISSN 1000-9825, CODEN RUXUEW                                        E-mail: jos@iscas.ac.cn
                 2026,37(7):2691−2693 [doi: 10.13328/j.cnki.jos.007591] [CSTR: 32375.14.jos.007591]  http://www.jos.org.cn
                 ©中国科学院软件研究所版权所有.                                                          Tel: +86-10-62562563



                                                                            *
                 智能化基础软件可信构造和供应链安全专题前言

                 王林章  1 ,    司徒凌云  2 ,    钟    浩  3 ,    向剑文  4 ,    张    路  5


                 1
                  (南京大学 计算机学院, 江苏 南京 210046)
                 2
                  (南京大学 信息管理学院, 江苏 南京 210046)
                 3
                  (上海交通大学 计算机学院, 上海 200240)
                 4
                  (武汉理工大学 计算机与人工智能学院, 湖北 武汉 430070)
                 5
                  (北京大学 计算机学院, 北京 100871)
                 通信作者: 王林章, E-mail: lzwang@nju.edu.cn; 司徒凌云, E-mail: stly@nju.edu.cn; 钟浩, E-mail: zhonghao@sjtu.edu.cn;
                        向剑文, E-mail: jwxiang@whut.edu.cn; 张路, E-mail: zhanglucs@pku.edu.cn

                 中文引用格式: 王林章, 司徒凌云, 钟浩, 向剑文, 张路. 智能化基础软件可信构造和供应链安全专题前言. 软件学报, 2026, 37(7):
                 2691–2693. http://www.jos.org.cn/1000-9825/7591.htm

                    在“人机物”三元融合的万物智能互联时代, 以系统软件、人工智能框架系统、关键基础设施控制软件、嵌入
                 智能模型的领域软件系统为代表的智能化基础软件将成为软件定义之本、信息技术之魂、数字社会之基. 智能化
                 基础软件可信构造和供应链安全对于支撑经济社会发展、提升国家安全保障能力具有重要意义. 本专题主要致力
                 于融合软件工程、计算机科学与技术、网络空间安全、人工智能、信息资源管理、国家安全学等多学科交叉创
                 新能力, 汇聚多领域方向专家力量, 探索基于开源/AIGC               的智能化基础软件可信构造、智能化基础软件供应链成
                 分分析与异常检测、智能化基础软件供应链缺陷/漏洞检测与预测等关键技术, 突破智能化基础软件可信构造和
                 供应链安全关键技术瓶颈, 实现自主可控, 保障关键信息基础设施安全.
                    本专题公开征文, 第      1  轮  ChinaSoft 2025  专题论坛征稿共收到  25  篇投稿, 第  2  轮《软件学报》专题征稿共收
                 到  29  篇投稿. 论文通过形式审查, 内容涉及智能化基础软件可信构造和供应链安全相关议题. 特约编辑先后邀请
                 了国内外近    40 位专家参与两轮审稿工作, 每篇投稿邀请不少于              2 位专家进行评审. 稿件经过第         1 轮  ChinaSoft 2025
                 专题论坛的初审及复审、第          2  轮《软件学报》专题的初审及复审、ChinaSoft 2025         会议现场汇报与专家质询、特
                 约编辑终审阶段, 历时      5  月有余, 最终有   10  篇论文入选本专题. 根据从软件可信构造到供应链安全的主题顺序, 这
                 些论文可以分为      3  组.
                    (1) 基于开源/AIGC  的智能化基础软件可信构造
                    《基于大语言模型的        Java 新特性测试程序生成》针对现有工作难以对语言新特性进行有效测试的问题, 提
                 出一种基于大语言模型 (large language model, LLM) 的   Java 新特性测试程序生成方法         LimiX. 该方法利用   LLM
                 的文本理解能力生成语言新特性的使用描述, 基于程序分析从种子程序中识别可复用的程序元素, 并将新特性使
                 用描述与可复用程序元素相结合, 借助            LLM  的代码生成能力生成能够覆盖语言新特性的测试程序. 在对最新发布
                 的  Java 编译器及虚拟机的测试中, 累计发现         16  个未知缺陷, 其中   12  个已被开发人员确认或修复.
                    《Python  软件包库中   C/C++外部语言调用的安全性分析》构建了             Python-C/C++互操作程序的漏洞基准套件,
                 评估了已有的先进       Python-C/C++互操作漏洞检查工具, 对比分析了现有研究和工具的可靠性、完备性和可扩展
                 性, 在  Python 软件供应链高下载量的项目中发现了多个漏洞, 总结了               Python-C/C++互操作安全分析的现状和不足.
                    《面向   Discord  平台的开源软件实践者沟通实证研究》围绕             Discord  平台上开源软件实践者的沟通开展了大
                 规模实证研究. 基于构建的两个数据集, 从消息层面与对话层面两个维度, 系统刻画了开源软件实践者的沟通特


                 *    收稿时间: 2025-12-26; jos 在线出版时间: 2025-12-26
   1   2   3   4   5   6   7   8   9   10   11