肖前贵 彭晓红 杨振兴 孙德敏 杨柳庆 孙琳

嵌入式软件 飞控软件 软件仿真 模型检测 抗干扰 场景 不变量 覆盖率 软件插装 Petri网 自修复 软件质量 测试用例 嵌入式系统 无人机 软件测试 自诊断 覆盖测试 错误预测 需求规约 支持向量机

南京航空航天大学自动化学院