计算机软件新技术国家重点实验室
摘 要：
信息物理融合系统(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室
|
当前位置：j9登录网址 > 新闻中心 > j9登录网址的公告