摘要

针对列控系统测试,为克服基于固定测试序列集的静态测试方法存在的问题,研究建立列控系统动态测试方法。将测试序列集中的上一个测试序列的执行结果作为执行下一个测试序列的输入,从而形成测试闭环;测试执行器执行完一个测试序列后,如果未检测出错误,则继续顺序执行下一个测试序列,如果检测出错误,则测试执行器更新系统的测试模型,并根据新的测试模型和测试目标集生成测试代价最小的新的测试序列集,然后按照新的测试序列集继续进行测试。仿真结果表明,动态测试方法能有效提高测试效率和测试的实际覆盖率,在测试过程中未给出虚假的测试判断。