安全攸关软件智能开发验证集成平台运行与示范数据集

该数据集主要面向安全攸关软件智能开发验证集成平台建设、运行验证和工具规范化接入需求形成，来源于项目实施期间平台实际运行过程及工具接入实践。数据集包含平台运行类数据和工具规范化接入文档及示例数据两部分：运行类数据主要记录平台公共服务功能、开发验证工具服务功能的运行状态与执行过程，包括运行截图59张、工具服务运行日志25份；工具接入数据主要涵盖工具接入说明、接口定义、数据交互要求、接入流程及示例数据等。数据内容能够反映集成平台的功能运行情况、持续服务能力以及对异构开发验证工具规范化接入的支撑能力。