Name: SMAVE Requirement
Brand: SMAVE

SMAVE Requirement
让需求从文本走向可分析、可追溯的工程资产

SMAVE Requirement 面向功能需求的形式化建模与早期验证，支持使用接近自然语言的结构化表达描述逻辑、时序和约束。平台通过需求检查与仿真识别冲突、歧义和缺失，生成可执行测试用例、监测系统输出，帮助团队在设计编码前验证需求正确性。

优势

结构化建模

通过可视化语句和逻辑、时间运算符，将功能需求转换为接近自然语言的可执行模型，降低形式化表达门槛并减少理解偏差。

测试用例自动生成

基于已验证的需求模型和测试场景生成或导出测试用例，减少人工编写工作，并为后续模型测试和系统测试提供可复用输入。

仿真驱动验证

为需求模型配置输入输出、步长和运行场景，通过信号波形和活动状态观察执行结果，验证需求是否准确表达预期系统行为。

缺陷前置发现

在设计编码前检查需求一致性、完整性和不二义性，通过检查结果与仿真轨迹定位冲突、遗漏和错误约束，减少后期返工成本。

系统输出自动判定

将生成的测试输入用于系统验证，结合预期约束和实际输出判断系统设计是否满足需求规范，形成需求到测试结果的验证闭环。

全链路追溯管理

支持需求导入、追溯矩阵、快照对比和任务管理，将需求、系统对象、测试任务与验证结果关联，便于变更分析和审查复核。

功能点

需求建模

仿真验证

测试生成

追溯协同

结构化自然语言建模

平台通过图形化语句、变量、枚举和系统对象描述功能需求，支持If、Then、Else等条件结构以及逻辑、比较和时序约束。需求可维护输入输出、参数和属性，并以接近自然语言的方式形成可执行模型，在保持业务可读性的同时为检查、仿真和测试生成提供统一语义基础。

1/4

需求仿真与缺陷分析

用户可为需求模型配置输入信号、运行步长、执行次数和测试场景，通过仿真波形观察输出变化、需求活动状态和执行轨迹。平台结合完整性、一致性及语义检查识别需求冲突、未定义输出和错误约束，帮助团队在系统设计与编码前修正需求规范。

2/4

测试用例与系统验证

平台可根据需求模型或用户描述的测试场景生成并导出仿真用例，将需求中的输入条件、时序和行为约束转换为可执行测试资产。系统测试任务可加载相关模型或文件并记录运行结果，通过比较实际输出与需求预期，判断被测系统是否满足需求规范。

3/4

需求追溯与版本协同

工具支持从多种需求来源导入需求，包括 IBM DOORS、Microsoft Word、Excel、ReqIF 等常见需求管理工具或交换格式。通过与外部需求库、对象树结构和追溯矩阵结合，工具能够维护需求、形式化模型、仿真结果、测试场景和验证结果之间的上下游关系，帮助团队实现需求到验证的闭环管理。

4/4

结构化自然语言建模

平台通过图形化语句、变量、枚举和系统对象描述功能需求，支持If、Then、Else等条件结构以及逻辑、比较和时序约束。需求可维护输入输出、参数和属性，并以接近自然语言的方式形成可执行模型，在保持业务可读性的同时为检查、仿真和测试生成提供统一语义基础。

1/4

需求仿真与缺陷分析

用户可为需求模型配置输入信号、运行步长、执行次数和测试场景，通过仿真波形观察输出变化、需求活动状态和执行轨迹。平台结合完整性、一致性及语义检查识别需求冲突、未定义输出和错误约束，帮助团队在系统设计与编码前修正需求规范。

2/4

测试用例与系统验证

平台可根据需求模型或用户描述的测试场景生成并导出仿真用例，将需求中的输入条件、时序和行为约束转换为可执行测试资产。系统测试任务可加载相关模型或文件并记录运行结果，通过比较实际输出与需求预期，判断被测系统是否满足需求规范。

3/4

需求追溯与版本协同

工具支持从多种需求来源导入需求，包括 IBM DOORS、Microsoft Word、Excel、ReqIF 等常见需求管理工具或交换格式。通过与外部需求库、对象树结构和追溯矩阵结合，工具能够维护需求、形式化模型、仿真结果、测试场景和验证结果之间的上下游关系，帮助团队实现需求到验证的闭环管理。

4/4

核心能力

需求形式化表达

平台以接近自然语言的图形化结构描述条件、逻辑、比较、时序和状态约束，将文本需求转化为能够检查、仿真和执行的需求模型。变量、枚举、系统对象与关系类型可统一配置，使不同角色在保留业务语义的同时获得明确、无歧义且可计算的需求定义。

需求缺陷自动分析

平台通过静态检查与动态仿真分析需求的一致性、完整性和不二义性，识别冲突条件、重复声明、未定义输出、错误状态转换及不完整约束。检查结果可定位到具体需求或对象，仿真轨迹展示问题出现时的信号变化和路径，帮助快速修正规范。

需求驱动测试生成

平台根据需求模型和测试场景生成或导出测试用例，将输入条件、时间约束和预期行为转换为后续验证可使用的测试资产。结合需求仿真和系统测试任务，可监控实际输出是否满足需求规范，减少人工编写测试用例的工作并提升需求覆盖程度。

追溯变更闭环管理

平台通过追溯矩阵关联需求、系统对象、外部需求和验证任务，支持相关、结构化、验证、衍生和细化等关系。项目快照记录阶段基线并支持差异对比，任务与消息面板跟踪检查、仿真和测试结果，使需求变更影响、问题整改与验证证据持续可追踪。

使用场景

需求建模到系统验证闭环

需求规范早期验证

在系统设计与编码前将文本需求转换为可执行模型，通过一致性、完整性和不二义性检查及仿真轨迹，提前发现冲突、遗漏和表达错误。

需求场景仿真分析

为需求模型配置输入、时序和边界场景，通过波形与活动状态观察系统响应，验证需求在正常、异常及边界条件下是否符合设计意图。

测试用例生成验证

根据需求或测试场景生成并导出测试用例，加载至系统测试任务后监测实际输出，判断模型或系统实现是否满足需求规范。

需求变更回归审查

利用追溯矩阵和快照对比识别需求修改及上下游影响，重新执行检查、仿真和系统测试，确认变更未引入新的冲突或缺失问题。

行业应用

航空航天

核电领域

汽车电子

轨道交通

航空航天

面向飞控、航电和任务系统，可对功能、接口、模式转换及时序约束进行结构化建模，通过需求检查和仿真提前发现冲突、歧义与缺失。平台可由需求生成测试用例并监测模型或系统输出是否符合规范，结合多源需求导入、全链路追溯和快照对比，支持需求评审、适航验证和交付资料整理。

1/4

核电领域

面向核电站安全级仪控、保护和监测系统，可将关键功能、联锁、时序和异常处理需求转化为可检查、可仿真的形式化模型。平台通过一致性、完整性和不二义性分析识别规范风险，并结合测试用例生成、系统输出判定、追溯矩阵和版本快照，支撑需求审查、变更控制与验证证据留存。

2/4

汽车电子

面向ECU、域控制器、底盘及智能驾驶系统，可使用接近自然语言的方式描述状态、信号、时间和边界条件，通过仿真检查需求冲突、遗漏与未定义行为。平台可依据需求生成测试用例并监测模型或系统输出，结合外部需求导入、追溯和快照管理，支撑迭代开发、供应链协同和集成前验证。

3/4

轨道交通

面向列控、联锁、信号和车载控制系统，可将功能、时序和安全需求转换为结构化可执行模型，通过一致性、完整性和不二义性检查提前发现规范缺陷。结合需求仿真、测试用例生成、系统输出监测及追溯矩阵，支持需求评审、变更回归和系统验证，降低安全关键需求错误进入设计与实现阶段的风险。

4/4

航空航天

面向飞控、航电和任务系统，可对功能、接口、模式转换及时序约束进行结构化建模，通过需求检查和仿真提前发现冲突、歧义与缺失。平台可由需求生成测试用例并监测模型或系统输出是否符合规范，结合多源需求导入、全链路追溯和快照对比，支持需求评审、适航验证和交付资料整理。

1/4

核电领域

面向核电站安全级仪控、保护和监测系统，可将关键功能、联锁、时序和异常处理需求转化为可检查、可仿真的形式化模型。平台通过一致性、完整性和不二义性分析识别规范风险，并结合测试用例生成、系统输出判定、追溯矩阵和版本快照，支撑需求审查、变更控制与验证证据留存。

2/4

汽车电子

面向ECU、域控制器、底盘及智能驾驶系统，可使用接近自然语言的方式描述状态、信号、时间和边界条件，通过仿真检查需求冲突、遗漏与未定义行为。平台可依据需求生成测试用例并监测模型或系统输出，结合外部需求导入、追溯和快照管理，支撑迭代开发、供应链协同和集成前验证。

3/4

轨道交通

面向列控、联锁、信号和车载控制系统，可将功能、时序和安全需求转换为结构化可执行模型，通过一致性、完整性和不二义性检查提前发现规范缺陷。结合需求仿真、测试用例生成、系统输出监测及追溯矩阵，支持需求评审、变更回归和系统验证，降低安全关键需求错误进入设计与实现阶段的风险。

4/4

SMAVE Requirement

SMAVE Requirement让需求从文本走向可分析、可追溯的工程资产

优势

结构化建模

测试用例自动生成

仿真驱动验证

缺陷前置发现

系统输出自动判定

全链路追溯管理

功能点

结构化自然语言建模

需求仿真与缺陷分析

测试用例与系统验证

需求追溯与版本协同

结构化自然语言建模

需求仿真与缺陷分析

测试用例与系统验证

需求追溯与版本协同

核心能力

需求形式化表达

需求缺陷自动分析

需求驱动测试生成

追溯变更闭环管理

使用场景

需求建模到系统验证闭环

行业应用

航空航天

核电领域

汽车电子

轨道交通

航空航天

核电领域

汽车电子

轨道交通

获取专业解决方案

SMAVE Requirement
让需求从文本走向可分析、可追溯的工程资产