计算机软件新技术国家重点实验室
摘 要:
信息物理融合系统(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室
|