计算机软件新技术国家重点实验室

摘 要：

信息物理融合系统(Cyber-Physical System, CPS) 是人-机-物 三元融合模式背景下新型软件基础设施的重要一环。为了处理不断涌现的新环境、新模式和新平台, CPS 软件必须具备一定质量保障水平的可成长和可持续演化能力。然而CPS 软件在与环境交互过程中所必然面对的环境非确定性给CPS 软件的质量保障带来了新的挑战。本次报告将结合我们近年来的研究成果，面向软件测试的测试输入、测试预言和测试标准这三大要素，系统性地介绍面向环境不确定性的CPS测试方法和相关技术。在深入分析环境不确定性给软件测试研究带来的挑战之上，我们提出通过一个迭代式的软件测试框架，用于有效测试不同环境非确定性影响下的CPS软件。基于测试框架，我们将重点介绍三项测试技术，分别用于解决CPS软件测试过程中存在的输入空间巨大化、正确标准模糊化和测试结果-环境紧耦合化问题。

报告人简介:

秦逸，博士，南京大学计算机科学与技术系助理研究员。2018年12月于南京大学计算机科学与技术系获得博士学位。主要研究兴趣包括自适应系统软件测试与维护。在IEEE Transactions on Reliability, Jounral of Systems and Software, 中国科学：信息科学等期刊和会议中发表论文多篇。

时间：11月7日  12:20-13:300

地点：计算机科学技术楼111室