基于基本路径集算法生成最小长度测试序列的方法

在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节。文章基于基本路径集的生成算法,获得不相交路径,并利用测试子序列的一个重要特征—“重叠”来获得连接正收敛边和不相交路径的最小费用迁移路径,从而减少了测试序列的长度。

简谈CTCS-3级列控车载设备测试序列的生成方法和原则

随着国内对CTCS-3级列控系统的深入研究,对相关的安全产品的测试方法提出更高的要求。探讨适用于CTCS-3级列控车载设备功能测试的测试序列的生成方法和原则,为提高测试效率和实现自动化测试奠定基础。

一种提高一致性测试错误检测能力的方法

在协议工程中，一致性测试已成为非常活跃的领域，而测试序列的产生是一致 性测试非常关键的环节。文章在“Old”方法的基础上，通过补充协议规范的定义，获得了 一种提高一致性测试检测能力的“New”方法。两种方法相结合，可以获得具有几乎完美的 错误检测能力的测试序列。