【摘 要】
：
针对列控系统测试,为克服基于固定测试序列集的静态测试方法存在的问题,研究建立列控系统动态测试方法。将测试序列集中的上一个测试序列的执行结果作为执行下一个测试序列的
【机 构】
：
北京全路通信信号研究设计院,铁道部运输局,清华大学信息科学与技术国家重点实验室,铁道部C3技术攻关组
论文部分内容阅读
针对列控系统测试,为克服基于固定测试序列集的静态测试方法存在的问题,研究建立列控系统动态测试方法。将测试序列集中的上一个测试序列的执行结果作为执行下一个测试序列的输入,从而形成测试闭环;测试执行器执行完一个测试序列后,如果未检测出错误,则继续顺序执行下一个测试序列,如果检测出错误,则测试执行器更新系统的测试模型,并根据新的测试模型和测试目标集生成测试代价最小的新的测试序列集,然后按照新的测试序列集继续进行测试。仿真结果表明,动态测试方法能有效提高测试效率和测试的实际覆盖率,在测试过程中未给出虚假的测试判断。
其他文献
滨水游憩机会谱(WROS)是从游憩活动本身、综合环境的特性、游客自身体验3个角度考察滨水旅游产品的开发所产生的对个人、社区、经济、环境等方面有益的影响,是分析滨水旅游产
基于二乘二取二的铁路车站全电子计算机联锁系统由人机接口、二乘二取二联锁计算机、全电子执行系统3部分组成。人机接口由监控机、维修监测机组成。二乘二取二联锁计算机由2
自从20世纪60年代IPO抑价问题被各国学者发现之后,IPO (Initial Public Offerings)上市后市场的异常表现一直是金融学研究的热点问题,并成为金融学领域的一个谜团。IPO上市后
近年来,网络课程在高等教育中扮演着越来越重要的角色,如何加强教师之间跨时空的、基于网络的合作和学习成为对高校教学的重大挑战。本研究从前人理论、国内外案例和自我实践
<正> 事件背景这是2001年下半年北京市公安局出入境管理处处理的一起违法中介事件。2001年8月,北京的张女士想让自己的儿子出国,就跟同事聊起这事儿,她的一位同事非常热心地
尤瑟纳尔被选为法兰西学士院中的第一位女性院士,成为三百五十年来"绿袍加身"的第一个女性"不朽者"。她的作品中几乎没什么特别的女性意识,有的只是对人类普遍命运的思考与表
根据解剖学发现的人体小腿骨间膜血管和胶原纤维有序排列的特点,建立三维组织间隙液渗流模型,控制方程用Brinkman方程和连续性方程,使用Fluent软件进行数值模拟.计算结果显示
游憩机会谱(RO S)理论是从影响游客体验的角度将游憩地的自然、社会和管理要素相结合,来提供一系列的游憩机会,以确保游客能够得到满意的游憩体验。游憩机会谱理论形成于20世
从城市的形成与发展,离不开安全与利益这两条根本的主线。但是近年来,我国城市洪涝灾害频发,同时触动了安全与利益这两条主线,极大地降低了城市居民生活的舒适度与安全感。韧
<正>上饶市是江西省下辖的一个地级市,位于江西省东北部,是江西的东大门,管辖着从江西最东部到江西中部的广阔地域,是江西省旅游资源最丰富的市,也是江西省对接长三角的最前