基于SysML的机载软件状态图扩展及测试用例生成数据集数据集

本数据集面向作战飞机机载软件安全性分析、状态建模优化与智能测试用例生成研究需求构建，是基于SysML标准建模体系研发的专业化机载系统状态建模与智能测试基准数据集，全程严格遵循GJB900A、GJB/Z102A、GJB/Z1391等军用安全准则规范，保证数据合规性、工程性与权威性。数据集深度整合航空工程一线正版设计资料、航电与机电全品类机载系统原生状态图、机载典型故障案例库以及行业合规设计经验，依托SysML状态机建模规范完成标准化扩展标注、模型结构化拆解、安全准则关联匹配、冗余数据清洗与统一格式规整，形成规范化、可直接适配智能模型的结构化样本数据。数据集全面覆盖飞行控制、导航通信、燃油、液压、环控、电力等机载主流子系统，精细化收录各系统完整的功能定义、分级安全状态、时序运行约束、带参状态迁移逻辑，并完成多维度安全风险准则关联标注，完整沉淀真实航空工程场景中系统正常工况运行、低容阈值告警、故障应急切换、超时异常处置等核心业务与安全运行逻辑。数据集总体量共计3219条结构化SysML状态图样本，每条样本均配备唯一标识，完整包含标准化状态节点、合规迁移规则、变量参数类型、安全等级划分、时序约束参数等核心建模字段，精准契合机载软件SysML建模、逻辑验证与智能测试场景需求。本数据集可有效支撑大模型复杂系统逻辑推理验证、机载软件自动化测试用例智能生成、系统安全合规性自动化校验以及软件潜在缺陷溯源分析，能够为军用机载嵌入式软件智能测试技术研究、系统安全性仿真推演、智能建模算法性能评测提供高质量、高合规度、工程化的标准化基础数据支撑。