刘彦斌 王小魏 周红 王辉 冯静 王毅刚 刘冰

软件故障 战备完好性 最大共同子序列 OOI ARM 嵌入式系统 软件估算 软件监控 工作非工作状态 OOA ADS 预测模型 轨迹 运行监控 装备 图形模型 CodeTEST 软件测试 OOD 故障定位 形式化方法 插桩 编辑距离 军用软件 功能点方法

军械工程学院装备指挥与管理系 石家庄军械工程学院管理工程系维修工程研究... 军械工程学院维修工程研究所