验证、确认和测试
跟踪架构、设计、测试和代码的需求。 确认您的设计符合要求并且没有关键问题 运行时错误。 检查模型和规范的合规性并衡量其质量。 识别死逻辑并生成测试用例以解决丢失的问题 新闻报道。 生成报告和工件，并验证您的设计是否满足 合规标准。
编写需求并将其链接到测试和代码。 运行动态测试以监视代码中的回归 功能。 使用行业标准代码覆盖率识别未经测试的代码路径 韵律学。
验证、确认和测试用产品
话题
定义需求
MATLAB或Simulink中的作者要求 （需求工具箱） 使用MATLAB或Simulink创建需求并定义需求层次 ® . 第三方申请的进口要求 （需求工具箱） 从外部文件导入需求和需求管理 工具。
将需求链接到设计
根据要求测试模型并报告结果 （需求工具箱） 将您的模型与详细要求联系起来，演示 可追溯性，根据要求进行测试。 将测试用例链接到需求 （需求工具箱） 员工 Simulink公司 测试™ 带有需求的测试用例。 使用可追溯矩阵跟踪需求链接 （需求工具箱） 使用可追溯矩阵跟踪和管理链接和更改问题。 通过分析模型属性验证需求 （需求工具箱） 验证建模为控件属性的需求 系统。 将MATLAB代码与需求联系起来 （需求工具箱） 将需求与MATLAB代码和纯文本外部代码（如C代码）相关联。
识别并消除设计缺陷
分析模型的设计错误 （Simulink设计验证程序） 运行设计错误检测分析并解释结果。 分析模型的标准符合性和设计错误 （Simulink检查） 检测并解决设计错误，对照标准进行检查， 分析函数依赖性，并证明属性。
执行基于需求的测试
基于需求的模型开发测试 （Simulink测试） 根据要求测试自动驾驶系统。 用MATLAB测试验证项目中的需求 （MATLAB测试） 通过运行链接的MATLAB测试来验证项目中的需求。 使用规范模型进行基于需求的测试 （Simulink设计验证程序） 遵循系统方法，根据需求验证设计模型。 （自2022b年起） 执行功能测试并分析测试覆盖率 （Simulink覆盖范围） 分析功能依赖性，隔离测试模型组件，创建套件 测试用例、测试模型和代码以实现覆盖。 修复基于需求的测试问题 （Simulink检查） 使用模型测试仪表板修复模型测试质量问题。 评估ISO 26262基于测试的要求 （Simulink检查） 使用模型测试仪表板分析 符合ISO 26262的基于要求的测试活动 标准。
执行基于代码的测试和验证
分析代码并执行软件在环测试 （Simulink检查） 检测代码错误，生成代码度量，测试代码和模型等价性，测试 根据要求进行编码。 生成C/C++代码并测试等效性 （MATLAB测试） 从MATLAB代码生成C/C++代码，并验证生成的代码和 MATLAB代码是等效的。 将Polyspace与MATLAB和Simulink集成 （Polyspace Bug Finder） 集成多空间 ® 使用MATLAB和Simulink识别潜在的错误、运行时错误和编码标准 模型和代码中的冲突。 对使用嵌入式编码器生成的代码运行多空间分析 （Polyspace Bug Finder） 使用嵌入式编码器生成的检查代码 ® 错误、运行时错误或违反编码规则。
特色示例
运行测试套件并解决缺少的模型覆盖率
管理需求和高级模型检查
使用模型测试仪表板探索测试活动的状态和质量
验证飞机电梯控制系统中的故障检测逻辑
