欢迎访问江苏省计算机学会网站!    设为首页  |  收藏本站
江苏省计算机学会
  •  当前位置首页 > 新闻中心 > 通知公告
    新闻中心  
    学会动态
    政策法规
    行业新闻
    图片新闻
    通知公告
    学会通讯
     
    通知公告
    青年学者学术报告《面向环境非确定性的信息物理融合系统测试》
    发布时间:2019-11-04 09:42:41

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

    要:

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

    报告人简介:

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

    时间:117  12:20-13:300

    地点:计算机科学技术楼111

    上一篇:青年学者学术报告《大数据可视化分析的挑战与机遇》
    下一篇:青年学者学术报告《Scrutinizing Security Software and Protocols with Formal Methods》
    友情链接:
    江苏省科学技术协会 中国计算机学会 南京大学 南京大学计算机科技与技术系 南京大学软件学院 东南大学计算机科学与工程学院 江苏经贸职业技术学院 南京信息职业技术学院 南京工业职业技术学院 江苏海事职业技术学院 常州信息职业技术学院 国网电力科学研究院 电子科技集团第28研究所 江南计算技术研究所 
       
     

    Copyright (c) 版权所有 江苏省计算机学会         【后台管理】    南京网站建设公司
    秘书处办公室       地址: 江苏省南京市仙林大道163号  邮编:210023   电话/传真:025-89680909   
    秘书处市内联络点   地址: 江苏省南京市汉口路22号     邮编:210093   电话/传真:025-86635622
    电子邮箱:jscs@nju.edu.cn   网址:www.jscs.org.cn    技术支持:南京成旭通信息技术有限公司  

    网站备案号:苏ICP备14049275号

    您是本站第6021485位来客!

    在线客服

    点击这里给我发消息