温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件自动测试平台，包括建模子系统用于构建列车运行控制系统基础信号模型库和具体待测功能模型；测试路径生成子系统通过图覆盖算法生成测试路径；组合覆盖子系统在测试路径基础上对边场景变量进行组合...
该专利属于中国铁路总公司;西南交通大学所有，仅供学习研究参考，未经过中国铁路总公司;西南交通大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。