一种基于时间自动机模型的区域控制器测试序列生成方法

轨道交通区域控制器对行车安全至关重要,设备投入使用前需进行严格的测试,针对目前区域控制器测试序列人工生成,测试效率低的问题,提出一种基于时间自动机模型的测试序列自动生成方法。首先分析区域控制器的功能建立时间自动机模型,用UPPAAL对模型的正确性进行验证;编写MFC应用程序,利用Tiny XML解析库解析模型文件,提取状态信息和变迁条件,生成测试案例集;由测试功能划分测试序列的初始状态和结束状态,并根据测试案例的串接条件,利用深度优先搜索设计最小重复度算法将测试案例串接成测试序列;最后,利用该方法生成了区域控制器切换功能的测试序列,通过分析可知生成的测试序列符合区域控制器的工作流程和测试环境,结果证明该方法能有效提高测试序列的生成效率。     

CREO关系和参数在自卸车设计中的应用

正针对三维设计在日常设计中效率较低的问题,介绍了通过建立CREO三维模型,运用CREO关系和参数,使CREO软件在日常设计中得到应用。此方法可提高产品设计的质量和效率,提高产品更新换代的速度,缩短产品开发周期并便于协同设计。自卸车上装日常设计通常采用二维设计,二维设计具有简便好用、上手快、设计效率高等优点,因此在专用汽车非标设计中得到了广泛地的应用。