主要内容

本页翻译不是最新的。点击此处可查看最新英文版本。

编写和验证需求

编辑需求和属性并分析 Requirements Table 模块,以验证一致性和完整性

使用需求编辑器需求管理器或编程接口在 MATLAB® 或 Simulink® 中编写需求。使用需求属性以文本、图像和表格形式来捕获有关需求的详细信息。

通过使用 Requirements Table 模块在运行前和运行时计算逻辑,在 Simulink 模型中定义形式化需求。

通过将需求导入 Requirements Toolbox™,与第三方工具(例如 Microsoft® WordMicrosoft Excel®、IBM® DOORS® 和 IBM DOORS Next)集成。

类别

精选示例