铁路信号安全关键软件自动测试理论与技术研究学术报告

来源:信息科学与技术学院  作者:张亚东  日期:2017-07-13  点击数:245

题目:铁路信号安全关键软件自动测试理论与技术研究学术报告

报告人:李楠 博士

主持人:王小敏 教授

地点:西南交通大学犀浦校区X9214

时间:2017年7月13日下午2点30-5点30

报告内容:

随着铁路信号技术的发展,软件承担了越来越多的安全关键功能,直接影响行车安全和效率。软件功能安全已成为铁路信号领域一个极其重要的问题。而先进的软件测试理论和技术,则是保证铁路信号系统软件安全性的重要手段。本报告将围绕铁路信号安全关键软件的自动测试理论和技术进行介绍,包括:基于需求的测试模型构建、测试用例自动生成、自动测试与分析等。

 

欢迎广大感兴趣的师生参加。

 

信息科学与技术学院