面向领域的软件系统构造与质量保障论坛
NASAC
软件是推动新一代信息技术发展的驱动力。随着物联网、云计算、人工智能等技术的快速发展，软件与工控、制造、装备、机器人等众多领域的融合进一步加强，正引领并促进这些领域向数字化、智能化发展，为社会、经济的加速演进和创新发展带来了新的契机。因此，面向领域的软件技术不仅是软件领域，也是众多其他领域国内外学者的关注焦点和研究重点。与传统的软件系统相比，面向领域的软件系统（简称领域软件）带来了研究与应用上的新挑战。面对领域软件的特点和需求，如何有效地构造领域软件，实现领域应用的软件定义与智能化，如何通过验证、分析、测试及监控等多种手段严格保障系统控制行为的正确性、实时性、协同性等重要质量特性，是一个重大挑战。
面向领域的软件系统构造与质量保障论坛将报告一批我国学者与从业人员在面向领域的软件系统构造与质量保障方面的最新成果，探讨有助于提高开发效率、改善质量的面向领域的软件系统的开发方法、需求与设计方法、测试与验证、维护与演化等技术，以及软件与领域知识的交叉技术。
论坛组织委员会：
潘敏学（南京大学）
魏 峻（中国科学院大学）
崔展齐（北京信息科技大学）
论坛主持人：
潘敏学（南京大学）
魏 峻（中国科学院大学）
崔展齐（北京信息科技大学）
汤恩义（南京大学）
日程安排：
时 间：2020年11月20日（星期五）09:00-12:30
2020年11月21日（星期六）11:00-12:30
地 点：重庆富力假日酒店 宴会厅2
重庆富力假日酒店 会议室1、6
论坛议程：
每个报告18分钟，包含报告15分钟和提问3分钟
时 间 |
主 题 |
讲 者 |
11月20日（星期五）上午重庆富力假日酒店 宴会厅2 |
||
主持人：潘敏学 |
||
09:00-09:18 |
论坛开幕 |
|
09:18-09:36 |
基于区块链的高效物联网数据激励共享方案 |
蔡婷，林晖，陈武辉，郑子彬，余阳 |
09:36-09:54 |
一种基于环境建模的物联网系统IFTTT规则生成方法 |
边寒，陈小红，金芝，张民 |
09:54-10:12 |
安全关键CPS系统多范式建模及安全性分析方法 |
李书铭，杨志斌，周勇，陈静，岳涛，BODEVEIX Jean-Paul，FILALI Mamoun |
10:12-10:30 |
基于反例确认的CPS不确定性模型校准 |
杨文华，周宇，黄志球 |
10:30-11:00 |
茶 歇 |
|
主持人：崔展齐 |
||
11:00-11:18 |
基于偶然正确性概率的错误定位技术 |
周小莉，赵建华 |
11:18-11:36 |
一种结构信息增强的代码修改自动转换方法 |
曹英魁，孙泽宇，邹艳珍，谢冰 |
11:36-11:54 |
一种经验库制导的浮点程序优化加速策略 |
肖安祥，汤恩义，陈鑫，王林章 |
11:54-12:12 |
SmartFuSE：基于深度学习的符号执行与模糊测试的混合测试方法 |
高凤娟，王豫，司徒凌云， 王林章 |
12:12-12:30 |
软件缺陷自动修复技术综述 |
姜佳君，陈俊洁，熊英飞 |
11月21日（星期六）上午 会议室6 |
||
主持人：魏峻 |
||
11:00-11:18 |
支持移动APP开发的兼容Web APIs个性化推荐 |
齐连永，窦万春，许小龙， 何强，张旭云，张以文 |
11:18-11:36 |
面向神经机器翻译系统的多粒度蜕变测试 |
钟文康，葛季栋，陈翔， 李传艺，唐泽，骆斌 |
11:36-11:54 |
融合代码与文档的软件功能特征挖掘方法 |
沈琦，钱莹，邹艳珍， 伍仕骏，谢冰 |
11:54-12:12 |
安全关键异构软件的AADL和SDL混合建模及代码生成方法 |
宗喆，杨志斌，袁胜浩， 周勇，BODELEIX Jean-Paul，FILALI Mamoun |
12:12-12:30 |
用户评论驱动的开源移动应用代码演化综述 |
鞠伟嘉，李斌，孙小兵， 薄莉莉，张涛 |
11月21日（星期六）上午 会议室1 |
||
主持人：潘敏学 |
||
11:00-11:18 |
自主机器人的伴随行为模型及二阶段自适应行为决策算法研究 |
杨硕，毛新军，白颜滔 |
11:18-11:36 |
时空轨迹数据驱动的自动驾驶安全场景元建模方法 |
张梦寒，杜德慧，王耀， 周文韬，张雷 |
11:36-11:54 |
蜃景蜜网：一种增值的安全蜜网 |
吴伟楠，陈鸣，邓理 |
11:54-12:12 |
安卓移动应用兼容性测试研究综述 |
郑炜，唐辉，陈翔， 张满青，夏鑫 |