面向非确定性的软件质量保障方法与技术
NASAC
随着互联网、物联网、云计算等新计算平台、新应用模式、及智能化等新软件模式的广泛运用，软件系统内外各种来源的非确定性（Uncertainty）不断增强。如何面向非确定性保障相关软件系统质量成为了国内外学界关注的挑战。
从软件系统内部的不确定性看，并发程序是一类典型的非确定性软件系统。并发程序由于其随机性高的特点，容易导致并发缺陷且难以调试。同时，针对并发缺陷的修复方法应保证尽量减少修复开销和保持原有并发程序的运行效率，修复补丁也应保持高可读性以维持并发程序的开发质量。从软件系统外部的不确定性看，软件所处的网络环境和所服务的用户需求变得更加动态多变，这就要求软件系统能够主动应对这些动态变化。具有自适应和持续演化能力的软件系统需要在环境和需求的自动感知与理解、适应行为的自主决策、以及适应行为的精准实施等环节处理各种不确定性，以保障系统能够持续稳定地提供服务。从软件构造途径的不确定性看，包含深度神经网络部件的数据驱动智能化软件系统是另一类非确定性软件系统。其非确定性来自于机器学习模型的归纳本质。此类系统日益应用于一些安全相关的领域，这就对其软件质量提出了更高的要求。
本论坛主要关注软件质量保障中非确定性问题所面临的挑战，包括并发、多核、分布式、软件环境感知、软件自适应、智能化、随机化、大数据等各种非确定性相关领域的软件质量保障技术。
论坛组织委员会：
陈俊洁（天津大学）
汤恩义（南京大学）
何 啸（北京科技大学）
马晓星（南京大学）
论坛主持人：
陈俊洁（天津大学）
汤恩义（南京大学）
何 啸（北京科技大学）
日程安排：
时间：2020年11月20日（星期五）09:00-12:30
2020年11月21日（星期六）11:00-12:30
地点：重庆富力假日酒店 会议室5
论坛议程：
每个报告17分钟，包括15分钟报告和2分钟提问
时 间 |
主 题 |
讲 者 |
|
分论坛1 主持人：陈俊洁 11月20日（星期五）09:00-10:42 |
|||
09:00-09:17 |
GUARD：上下文敏感的大规模程序低误报数据竞争检测方法 |
高凤娟，王豫，周金果，徐安孜，王林章，吴荣鑫，张川，苏振东 |
|
09:17-09:34 |
操作系统内核并发错误检测研究进展 |
石剑君，计卫星，石峰 |
|
09:34-09:51 |
面向数据驱动智能系统的基于偶然正确性概率的回归测试选择方法 |
周小莉，赵建华 |
|
09:51-10:08 |
一种基于变分自编码器的异构缺陷预测特征表示方法 |
贾修一，张文舟，李伟湋，黄志球 |
|
10:08-10:25 |
基于相似哈希的大规模代码相似性检测改进方法 |
李玫，高庆，马森，李海洋，马骁，刘德欣，张世琨，张兴明 |
|
10:25-10:42 |
基于代码自然性的切片粒度缺陷预测方法 |
张献，贲可荣，曾杰 |
|
分论坛2主持人：何啸11月20日（星期五）11:00-12:25 |
|||
11:00-11:17 |
复杂软件系统的不确定性 |
檀超，张静宣，王铁鑫，岳涛 |
|
11:17-11:34 |
自动驾驶智能系统测试研究综述 |
朱向雷，王海弛，尤翰墨，张蔚珩，张颖异，刘爽，陈俊洁，王赞，李克秋 |
|
11:34-11:51 |
基于指针生成网络的代码注释自动生成模型 |
牛长安，葛季栋，唐泽，李传艺，周宇，骆斌 |
|
11:51-12:08 |
基于路径分析和信息熵的错误定位方法 |
姜淑娟，张旭，王荣存，黄颖，张艳梅，薛猛 |
|
12:08-12:25 |
代码注释自动生成方法综述 |
陈翔，杨光，崔展齐，孟国柱，王赞 |
|
分论坛3主持人：汤恩义11月21日（星期六）11:00-12:25 |
|||
11:00-11:17 |
不确定环境下人机物融合系统的建模与验证 |
安冬冬，刘静，陈小红，孙海英 |
|
11:17-11:34 |
针对复杂用户评论的代码质量属性判断 |
徐海燕，姜瑛 |
|
11:34-11:51 |
面向分布式图计算作业的容错技术研究综述 |
张程博，李影，贾统 |
|
11:51-12:08 |
一种基于分层适应逻辑的自适应系统实现框架 |
李念语，陈正胤，刘坤，焦文品 |
|
12:08-12:25 |
SAFER：基于事件关系保障识别质量的自适应分析方法 |
王璐，李青山，吕文琪，张河，李昊 |
|