排序方式： 共有1条查询结果，搜索用时 0 毫秒
1
1.
为了研究高覆盖已知故障集的中国列车运行控制系统三级（CTCS-3）测试案例生成方法，提出了一种基于输入输出时间自动机（TAIO）变异分析的测试案例生成方法. 结合列控系统模式转换的故障特点，设计了包含模式转换已知故障的8种变异算子（改变行为、改变目标位置、改变源位置等），形成了15 106个变异体；利用输入输出一致性关系（tioco）和k-Bounded模型检验方法生成了10 843个测试案例；应用一致性关系分数（CRS）、平均一致性关系分数（ACRS）和加权一致性关系分数（WCRS）进行了故障覆盖度的分析. 研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式，而对于约束取反和复位取反的故障模式覆盖度不高，需通过额外的观测信息来检测故障. 相似文献
1