编写和验证需求
编辑需求和属性并分析 Requirements Table 模块,以验证一致性和完整性
使用需求编辑器、需求管理器或编程接口在 MATLAB® 或 Simulink® 中编写需求。使用需求属性以文本、图像和表格形式来捕获有关需求的详细信息。
通过使用 Requirements Table 模块在运行前和运行时计算逻辑,在 Simulink 模型中定义形式化需求。
通过将需求导入 Requirements Toolbox™,与第三方工具(例如 Microsoft® Word、Microsoft Excel®、IBM® DOORS® 和 IBM DOORS Next)集成。
类别
- 编写需求
在 MATLAB 和 Simulink 中以自然语言编写需求
- 对需求进行建模和验证
使用 Requirements Table 模块来对需求进行建模和分析,以验证一致性和完整性