8月8日-11日，青岛硕索福特科技有限公司携手德国TÜV莱茵共同亮相ICVS中国智能汽车及自动驾驶博览会，推出一站式人工智能可信度解决方案。

硕索福特AI验证新成果——VERIFAI-M 

VERIFAI-M 是一款专门用于验证AI模型可靠性的工具，它能够测试模型的功能、性能、神经元覆盖率和质量指标，并通过鲁棒性验证强化模型，提供改进指南。

产品特点

通过敌对性数据生成进行变形测试评估

敌对性数据（Adversarial Data）通过微小的输入变更引发AI模型产生错误，并验证其输出的正常性。

通过变形测试（Metamorphic Testing）定义特定输入变更后的AI模型输出关系，验证模型是否始终符合这一关系。

通过白盒测试进行神经元覆盖率评估

通过特定数据集对AI模型进行测试，评估神经网络中被激活的神经元占所有神经元的比例，以确定测试的广泛性和模型对多种输入的响应能力。

通过度量标准进行性能评估

【Classification 性能指标】

AI模型在输出分类任务预测结果时，根据ISO / IEC TS 4213标准，通常会评估15个性能指标。

【Regression 性能指标】

AI模型在输出连续值形式的预测结果时，通常使用5个常见的性能度量指标进行测量。

VERIFAI-M 验证输入

Pytorch、 Keras 和 Tensorflow 等需要测定性能的目标模型格式数据。

将输入的数据，使用python预处理脚本，将模型的格式结构化并输入。

生成敌对数据与神经元覆盖率激活数据

从输入数据生成的敌对性数据，推论结果展示。

从输入数据生成神经元覆盖率激活的数据，推论结果展示。

提供度量指标测量结果

针对输入数据、对抗性数据和神经元覆盖率激活数据度量。

可视化度量标准。

提供度量标准说明和解释。

展会期间，青岛硕索福特的技术团队还在现场演示并讲解了多款系统验证工具及解决方案，包括PROV-ECU时序及资源使用量测量工具、FIT-故障注入自动化测试工具、DCAT-数据收集与自动分析工具、AUTOSIM-自动模拟验证工具等。

公司介绍

青岛硕索福特科技有限公司  

成立于2017年，是韩国Suresoft Technologies Inc. 硕索福特株式会社（韩国科斯达克上市企业）的在华全资子公司。公司在智能汽车软件验证自动化领域拥有世界领先技术，并具备强大的产品开发和研发实力。公司专注于汽车领域软件质量改进、汽车国际标准培训咨询及评估服务，并为中国汽车主机厂和零部件供应商提供专业的软件测试工具、软件测试服务及符合国标标准要求的培训、咨询、评估服务。同时，公司始终秉持与时俱进的宗旨，在自动驾驶验证测试、AI验证测试咨询及云计算大数据产业等业务板块不断探索深耕。

德国莱茵TÜV集团  

总部位于德国科隆，拥有超过150年的经验。德国莱茵TÜV大中华区员工超过4000人，共有四大事业群：工业服务与信息安全、交通服务、产品服务及人员与业务保障服务。业务涉及商业活动和日常生活的所有重要领域，不仅包括能源行业和消费品行业，还包括汽车行业、基本材料和投资产品、环保技术、贸易、建筑、航空、铁路技术、IT行业、信息安全和数据保护以及教育和医疗行业。 TÜV莱茵的安全专家，均为研发出身，凭借在安全领域的多年研发经验，对标准的精确理解，以及多年认证经验，获得了行业内的高度肯定和信任。TÜV莱茵是最早在中国开展网络安全和功能安全业务的国际第三方认证机构之一，作为核心编委会成员参与了标准制定。

德国莱茵TÜV向来以严谨高质量的测试认证服务著称，从公正独立的角度提供各项专业评估，为当地企业提供符合安全、质量以及环保的一站式解决方案。