北京航空航天大学软件学院智能机载软件测试工具

A****9900其他航空航天工业设备

实现对空天安全关键软件智能算法的测试验证 一、智能算法测试 1）支持空天关键安全智能算法基础性能测试 针对空天任务的特性，建立多维度指标体系，支持对可见光图像、红外图像的图像分类、目标检测等智能算法的基础性能进行测试。 2）支持智能算法安全性测试 运用多种对抗性攻击手段，对空天任务图像分类、目标检测等智能算法进行全面的安全测试。 3）支持智能算法鲁棒性测试 运用多种鲁棒性测试手段，对空天任务的图像分类、目标检测等智能算法的对鲁棒性进行测试。 4）支持智能算法覆盖率测试 通过多种覆盖率分析方法，实现智能算法测试的充分程度进行评估。 5）支持智能算法可解释性测试 通过采用多种可解释性分析手段，对智能算法的可解释性进行体系化验证。 6）支持智能算法效率测试 运用多种智能算法效率测试方法，对智能算法的推理效率、**使用效率等进行测试。 二、数据集质量测试 1）支持数据集质量评估 建立体系化的数据集分析框架，对数据集的质量进行多维度评估。 2）支持数据集非对抗增广 通过非对抗攻击手段对数据集进行操作，生成具有一定扰动但不针对特定模型欺骗性的新数据样本，实现对数据集的扩展和增强。 3）支持数据集白盒对抗增广 运用白盒对抗攻击技术对原始数据集进行白盒对抗处理，生成具有对抗性的新数据样本，从而实现对数据集的有效扩充与增强。 4）支持数据集黑盒对抗增广 运用黑盒对抗攻击技术对原始数据集进行黑盒对抗处理，生成具有对抗性的新数据样本，从而实现对数据集的有效扩充与增强。