IEEE ICST2019 中国工业论坛演讲材料发布(上)

软件质量报道 2019-04-30


四月的西安,气候宜人,迎来了IEEE ICST 2019。


4月24日,由IEEE、IEEE Computer Society、CCF(中国计算机学会)主办,西安交通大学、西安邮电大学承办的12th IEEE International Conference on Software Testing, Verification and Validation在西安威斯汀酒店隆重开幕。今年是ICST首次来到中国,来自美国、英国、德国、瑞士等26个国家和地区的高校、科研机构及Apple、Google 、Facebook、华为等企业的软件测试学者及业界专家共230多人参加了此次会议。会议开幕式由美国西密西根大学杨子江教授主持,西安交通大学副校长郑庆华教授致开幕词。


在开幕之前,举办了一系列的workshop,而在主会期间(4月24-27日),除了常规的Research Track, Industry Track, Testing Tool Track, Doctoral Symposium, Tools Demo Track之外,特地增加了一天“中国工业论坛(Chinese Industry Forum)”,这也是本届ICST最有特色的节目,其目的为了架起学术界和工业界的桥梁,促进学术界和工业界的交流与合作,让软件测试研究更好地解决软件工程实际问题,也让工业界人士了解学术成果从而将其落地应用。论坛邀请了来自华为、百度、Thoughtworks、中国核动力设计研究院、北京控制工程研究所、新加坡南洋理工大学、源伞科技、慕测科技等组织的13名专家学者进行了主题报告,吸引了来自互联网、通信、金融、航空航天等行业的120余名参会者,现场座无虚席,就软件测试(V&V;)的技术、平台建设、AI应用及工具开发等,展开了深入研讨和交流。


大会伊始,由本届IEEE ICST2019大会主席美国西密歇根大学杨子江老师致辞,向来宾介绍了本届大会。


接着,IEEE ICST2019 中国工业论坛主席朱少民老师介绍本次工业论坛的内容,强调:软件测试属于软件工程,具有工程特性,实践性很强,学术研究要解决软件工程中实际问题。虽然 ICST 是学术会议,但考虑到计算机领域学术界和工业界越来越融合,所以学术会议必须考虑如何让更多的工业界人士参 与进来。在 Industry Track 基础之上大胆尝试,大力度促进学 术界和工业界的融合,增设工业论坛和工业圆桌会议。


然后,本届中国工业论坛联合主席、华为首席测试专家 Tony Chang用宝贵的几分钟时间介绍当今哪些最佳实践、研究成果值得我们学习:


上午第一个报告“航天嵌入式软件一体化可信测试云平台”来自北京控制工程研究所高可信嵌入式软件实验室陈睿博士,不仅介绍了可信测试云平台的架构与构成,而且介绍了基于模式的静态分析、分层的静态测试实践、实时运行错误和数据冲突检测方法、多项具体工具等,内容丰富,先进又实用。


接下来的四个报告(本文最后说明如何得到上午五个PPT),分别是:


  • 刘杨(新加坡南洋理工):数据驱动的安全漏洞分析与管理


  • 刘冉(Thoughtworks),敏捷威胁模型的建立与实践


  • 肖枭(源伞):基于静态分析的金融系统错误码误用检查


  • 曾辉(中国核动力研究设计院):核安全级DCS平台“龙鳞”软件验证与确认过程


IEEE ICST中国工业论坛 下午场 共有8个分享,同样精彩,内容更丰富,侧重Test by AI,for AI,明天同一时间发布,敬请关注。


关于 IEEE ICST:

International Conference of Software Testing Verification and Validation,即软件测试、验证和确认的国际会议,由IEEE主办,属于软件测试领域国际领先的专业会议,已经是第12届。ICST是第一次来到中国,来到古城西安。之前在加拿大、美国、卢森堡、奥地利、瑞典、日本等国举办过,获得良好的反响。


获取上午五个演讲PPT,关注本公众号,请输入“ICST工业论坛上”。

    已同步到看一看

    发送中

    本站仅按申请收录文章,版权归原作者所有
    如若侵权,请联系本站删除
    觉得不错,分享给更多人看到