资讯类数据库
  文摘类数据库
  专题类全文数据库
  外文全文类数据库
  成果及专利类数据库
  产品商情类数据库
  铁路科技词典
铁科数据库集团用户服务说明
铁科数据库个人用户服务说明
Adobe Arobat Reader 9.0
您所在的位置首页> 铁路科技数据库> 铁路通信信号专题
《基于模型的进路建立过程测试用例自动生成》
[外文标题] Model-based Automatic Generation of Test Case of Route Establishment Process 
[作者] 谢林;杨扬 
[作者单位]  
[刊名]
铁道标准设计 
[出版单位] 中铁工程设计咨询集团有限公司 
[年] 2017 
[卷] 61 
[期]
[关键词] 铁路信号;联锁系统;测试案例;状态机;图论;反射机制 
[摘要] 为了生成进路建立过程完备的测试案例,分析设备故障和人环因素的影响并结合对应的逻辑过程,建立了进路建立过程的状态机模型,并对模型解析得到状态与边的关系,将状态和边的关系抽象成图论中边和节点的关系进行存储。通过讨论3种覆盖准则的优劣,设计深度优先搜索算法遍历模型,得到抽象测试案例,采用Java反射机制对抽象案例进行反推,结果生成8 种类型的测试片段,每种类型的片段进行组合生成所有的测试案例。最后分析进路正常建立所需的输入案例和引入的故障案例对建立过程的影响。 
[原文] 查看原文(下载PDF文件请点击右键选择“目标另存为…”) 
版权所有©中国铁道科学研究院科学技术信息研究所
京ICP备05020493号  
(建议使用IE浏览器及1024*768分辨率显示模式)