1、AI 软件系统工程化技术与规范专题前言*张贺1,2,夏鑫3,蒋振鸣4,祝立明5,李宣东1,21(南京大学软件学院,江苏南京210093)2(计算机软件新技术国家重点实验室(南京大学),江苏南京210023)3(华为技术有限公司,浙江杭州310007)4(ElectricalEngineering&ComputerScience,YorkUniversity,TorontoM3J1P3,Canada)5(ComputerScienceandEngineering,UniversityofNewSouthWales,SydneyNSW2015,Australia)通信作者:张贺,E-mail:中文
2、引用格式:张贺,夏鑫,蒋振鸣,祝立明,李宣东.AI软件系统工程化技术与规范专题前言.软件学报,2023,34(9):39393940.http:/ 14 篇投稿并通过了形式审查.特约编辑邀请了 20 余位领域专家参与审稿,每篇稿件至少邀请 2 位评审专家,历时近 6 个月并经过两轮审稿.共计 9 篇稿件通过第 1 轮评审,并在 CCF 中国软件大会上进行了报告.经过第 2 轮终审,最终有 8 篇论文入选本专题.可信人工智能系统的质量属性与实现:三级研究关注于人工智能系统的可信性相关质量属性和实践的研究现状开展三级研究,通过对 2012 年至 2022 年间发表的相关 34 项二级研究进行筛选、
3、抽取、评价和整合,提出一个全面系统的可信人工智能系统质量属性框架元模型,识别了 21 种与可信性相关的质量属性及可信性度量方法和保障实践,对未来可信 AI 系统领域的研究提供重要参考.面向智能计算框架的即时缺陷预测基于通用的14个基本度量元建立智能计算框架的即时缺陷预测数据集,增加了 LDA 主题模型来提取隐藏的语义特征,通过SHAP对于模型的预测结果进行解释,从而提高缺陷预测方法的透明性和可解释性.嵌入路网图模型的自动驾驶场景描述语言面向自动驾驶这一人工智能重要应用领域,提出一种能简洁描述场景路网结构的语言 SceneRoad 来扩展 Scenic 场景描述语言使其能够描述场景道路结构.通过
4、优化场景生成机制来生成多样化的静态场景,并利用不同的模型分别在真实和仿真数据集上进行测试,以验证其生成仿真数据的有效性.基于稀疏扰动的对抗样本生成方法针对深度神经网络提出一种基于稀疏扰动的对抗样本生成方法,能够依据重要性程度对扰动进行改进以跳出局部最优,并对梯度值进行迭代排序以选择新增扰动,最终实现稀疏且小幅扰动并成功进行对抗攻击.*收稿时间:2023-01-19;jos 在线出版时间:2023-01-19软件学报ISSN1000-9825,CODENRUXUEWE-mail:Journal of Software,2023,34(9):39393940doi:10.13328/ki.jos.
5、006880http:/中国科学院软件研究所版权所有.Tel:+86-10-62562563源码处理场景下人工智能系统鲁棒性验证方法提出一种验证 AI模型鲁棒性的方法 RVMHM,针对以源码为输入的 AI模型,以漏洞预测为场景,通过提取抽象语法树中的变量名,并应用 MHM源码攻击,计算性能指标下降程度以评估模型鲁棒性.深度学习模型中的公平性研究定义了基于输出标签和基于输出分布的两种个体公平率计算方法,进一步提出一个提高模型个体公平性的算法,通过余弦相似度计算样本之间的差异程度,利用相似临界值筛选出满足条件的相似训练样本对,并在真实数据集上进行了验证.TensorFlow 开源软件社区中贡献修订
6、的实证研究从 TensorFlow 开源软件社区中收集了拉请求(pull-request,PR)信息进行人工分析归类,发现不同类型修正的关系,并基于人工标注的修订数据集定量分析了不同修订类型的频率分布、次序分布以及关联关系,以帮助 AI 开源实践者和研究者更好地理解修订过程,并引导 PR 的审查和修订行为.智能运维的实践:现状与标准化对业界的智能化运维现状,包括运用能力、评估标准等方面开展问卷调研,在此基础上结合对国内外现行人工智能标准和智能运维标准的梳理,提出智能运维的能力建设标准框架AIOps-OSA,对企业落地智能化运维系统提供指导.本专题主要面向软件工程、人工智能、数据科学等多领域的研
7、究人员和工程人员,反映了我国学者在人工智能系统的软件工程领域的最新研究和实践进展.感谢软件学报编委会、CCF 软件工程专委会与系统软件专委会对专题工作的指导和帮助,感谢专题全体评审专家及时、耐心、细致的评审工作,感谢踊跃投稿的所有作者.希望本专题能够对国内面向人工智能系统的软件工程领域的科研工作有所促进.张贺(1971),男,博士,南京大学教授,博士生导师,CCF 高级会员.主要研究领域为软件工程,开发运维一体化,软件研发效能,软件安全,经验及循证软件工程,区块链.夏鑫(1986),男,博士,华为软件工程应用技术实验室主任,软件工程应用技术科学家和首席专家,CCF 专业会员.主要研究领域为智能
8、化软件工程,软件仓库挖掘,经验软件工程.蒋振鸣(1981),男,博士,加拿大约克大学副教授.研究兴趣在于软件工程和计算机系统,特别是对性能工程、AI 工程、软件分析以及分布式系统的调试和监控方面有深入的研究.祝立明(1975),男,博士,澳大利亚联邦科学与工业研究组织(CSIRO)软件与计算系统研究所所长,新南威尔士大学教授.研究领域包括:软件工程,软件架构,DevOps,区块链,人工智能系统,分布式系统,信息安全与隐私.李宣东(1963),男,博士,南京大学教授,博士生导师,智能软件与工程学院院长,CCF 会士,CCF 软件工程专业委员会主任,国家自然科学基金委员会信息科学部专家咨询委员会委员,国务院学位委员会学科评议组成员(软件工程).主要教学与科研工作集中于复杂软件建模与分析、软件测试与验证.3940软件学报2023 年第 34 卷第 9 期