论文部分内容阅读
CBTC车载系统作为安全苛求系统,对其进行完备的硬软件测试具有很高的学术意义和社会价值,然而目前国内相关的测试规范非常稀缺,安全评估也有着很大的空白,所以在进入工程应用之前对其进行严苛的安全性测试就更为重要。本文提出一种自动化的测试框架,引入故障注入的测试方法,加强系统的揭错、纠错能力,具有很高的应用价值。