学术报告:软件测试发展及安全关键软件测试方向

来源:信息科学与技术学院  作者:张亚东  日期:2019-04-18  点击数:437

报告题目:《软件测试发展及安全关键软件测试方向》

内容简介:本次报告主要介绍软件测试的研究领域和发展方向,同时兼顾测试技术在工业界的应用,进一步指出学界与工业界研究方向的不同之处。最后着重强调一下安全关键软件测试的技术和方向。

报告时间:2019年4月22日下午2点30

报告地点:西南交通大学犀浦校区X9322会议室

主持人:王小敏教授

报告人:李楠博士

Nan Li is a lead software engineer at Medidata Solutions, where he is leading the research on software testing and developing test automation tools. He is also collaborating with Southwest Jiaotong University for testing safety-critical signal software used on Chinese high-speed rails. In addition, his research areas also include test generation, test automation, test oracle, model-based testing, mutation testing, combinatorial testing, and fault localization, and automatic repair. He has published 27 journal and conference papers. He has been chairing the International Workshop on Mutation Analysis since 2017. He has been serving on program committees for a few conferences including International Conference on Software Testing, Verification and Validation (ICST) from 2016 - 2018. He has been serving as reviewers for many journal and conferences including IEEE Transactions on Software Engineering (TSE), IEEE Transactions on Reliability (TR), and Journal of Systems and Software (JSS). He has given talks on many conferences including an invited talk at Google Test Automation Conference (GTAC) in 2014. He was a 2015 Medidata Innovator Award Winner and holds one patent. His Google h-index is 10.