为保证高炮动态射击诸元标准值程序能够在动飞试验前保证正确性,应用开放-封闭原则建立算法和适用于此算法的测试流程.算法基于所建立的中介坐标系,通过抽象出不同射表的通用接口,区分开程序中变化部分与不变部分,将算法复杂度从动态解题难度简化到静态解题难度;通过在不同试验间共享测试过程,使依此算法编写的程序不变部分和变化部分都可以在动飞试验前经过实际试验的检验.在多种高炮武器系统定型试验中的应用表明,此种方法可以在动飞试验前保证程序的正确性.
高炮 动态射击诸元标准值算法 正确性验证 程序设计