安全攸关软件SysML智能建模数据集

本数据集旨在为高安全性软件的系统级建模提供多维度的参考基准。数据内容包含典型行为模型的需求规范文本、对应需求描述的PlantUML模型代码和可视化模型。在数据加工环节，涵盖了智能建模实验全周期的过程追踪与结果分析数据，其采集与精细化标注工作由受过专业软件工程训练的研究生团队完成，确保了需求描述和行为模型的一致性。该数据集被课题组专项用于评估安全攸关软件智能建模方法的准确性与鲁棒性，最终形成本课题核心研究成果的有力支撑结论

搜集汇总

背景与挑战

背景概述

本数据集为安全攸关软件的系统级建模提供多维参考基准，内容包括典型行为模型的需求规范文本、对应的PlantUML模型代码及可视化模型，并涵盖智能建模实验全周期的过程追踪与结果分析数据。数据由受过专业训练的研究生团队完成精细化标注，保证了需求描述与行为模型的一致性，专门用于评估智能建模方法的准确性与鲁棒性。