NASAC2020 面向非确定性的软件质量保障方法与技术Track 征稿通知
随着互联网、物联网、云计算等新计算平台、新应用模式、及智能化等新软件模式的广泛运用，软件系统内外各种来源的非确定性（Uncertainty）不断增强。如何面向非确定性保障相关软件系统质量成为了国内外学界关注的挑战。
从软件系统内部的不确定性看，并发程序是一类典型的非确定性软件系统。并发程序由于其随机性高的特点，容易导致并发缺陷且难以调试。同时，针对并发缺陷的修复方法应保证尽量减少修复开销和保持原有并发程序的运行效率，修复补丁也应保持高可读性以维持并发程序的开发质量。因此，针对并发程序的缺陷检测、错误重放，缺陷预测、缺陷定位、自动程序修复、缺陷规避等方法与技术将会持续成为并发相关的研究热点。
从软件系统外部的不确定性看，软件所处的网络环境和所服务的用户需求变得更加动态多变，这就要求软件系统能够主动应对这些动态变化。具有自适应和持续演化能力的软件系统需要在环境和需求的自动感知与理解、适应行为的自主决策、以及适应行为的精准实施等环节处理各种不确定性，以保障系统能够持续稳定地提供服务。对不确定性的系统应对是软件自适应领域的核心研究问题之一。
从软件构造途径的不确定性看，包含深度神经网络部件的数据驱动智能化软件系统是另一类非确定性软件系统。其非确定性来自于机器学习模型的归纳本质。此类系统日益应用于一些安全相关的领域，这就对其软件质量提出了更高的要求。因此，如何对数据驱动的智能化软件系统进行有效的质量保障，使其在实际应用场景下仍能保持稳定的性能和安全性，如何判断对此类系统的测试是否足够充分，以及如何衡量智能化软件系统的鲁棒性等研究内容也得到了越来越多的研究者的重视。
NASAC 2020面向非确定性的软件质量保障方法与技术Track特向关注该主题的研究人员公开征集稿件。本Track主要关注软件质量保障中非确定性问题所面临的挑战，包括并发、多核、分布式、软件环境感知、软件自适应、智能化、随机化、大数据等各种非确定性相关领域的软件质量保障技术。
具有创新性和突破性的高水平研究成果将被邀请到NASAC 2020报告。通过两轮评审、一次口头质询并达到《软件学报》发表要求的投稿论文，将在《软件学报》“面向非确定性的软件质量保障方法与技术”专刊发表。
一、征文范围
包括但不限于以下主题：
（1）面向并发非确定性的软件质量保障方法；
（2）面向环境非确定性的自适应软件系统质量保障方法；
（3）面向构造途径不确定性的智能化系统的质量保障方法；
（4）面向新计算平台的软件质量保障技术；
（5）面向新软件形态与应用模式的质量保障技术；
（6）非确定性软件质量保障相关综述；
（7）非确定性软件质量保障的方法理论研究；
（8）非确定性软件质量保障的实证研究；
（9）其它非确定性软件质量保障的相关研究。
二、投稿要求和流程
1.稿件格式：参照《软件学报》论文格式（网站上提供了论文模版，可下载）。
2.投稿要求：投稿文章未在正式出版物上发表过，也不在其他刊物或会议的审稿过程中，不存在一稿多投现象；保证投稿文章的合法性(无抄袭、剽窃、侵权等不良行为)。
3.投稿和评审方式：本track投稿论文需经过两轮投稿和评审、一次口头报告和质询。
a)第一轮：投稿使用NASAC 2020会议系统（投稿链接https://easychair.org/conferences/?conf=chinasoft2020，选择“NASAC 2020面向非确定性的软件质量保障方法与技术Track”， PC审稿，由会议通知评审结果，所有通过第一轮评审的稿件，进入第二轮；
b)第二轮：按照第一轮评审专家的意见进行修改，修改稿采用“软件学报在线投稿系统”(http://www.jos.org.cn)进行投稿。投稿时请在备注栏中注明“面向非确定性的软件质量保障方法与技术”字样。第二轮投稿论文由期刊组织审稿，审稿意见由期刊通知，所有通过第二轮评审的稿件，进入第三轮；
c)第三轮：要求稿件根据期刊评审意见修改论文，在NASAC 2020会议进行口头报告，接受责任编辑的口头质询，责任编辑根据期刊评审结果、质询结果给出稿件处理建议，由期刊给出最终意见。
4.投稿被录用后，由《软件学报》“面向非确定性的软件质量保障方法与技术”专刊发表。
三、重要日期
第一轮论文投稿截稿时间：2020年7月20日
第一轮审稿结果通知日期：2020年9月1日
第二轮论文修改稿提交日期：2020年9月15日
第二轮论文评审意见通知时间：2020年10月25日
第三轮论文报告时间：NASAC 2020（2020年11月，重庆）
第三轮论文修改稿提交日期：2020年12月10日
终审结果发出日期：2020年12月20日
最终稿提交日期：2020年12月31日
出版日期：2021年第7期