验证、确认和测试 -凯发k8网页登录
使用基于模型的设计验证和确认嵌入式系统
系统化验证让您更有信心,确保设计准确地实现您的需求,并且测试可充分地执行那些需求。在开发的早期阶段,您可以创建一个高级系统模型并链接到系统要求。系统模型可以作为更详细模型的可执行规范和基础。
通过使用这些 mathworks® 产品来补充基于模型的设计,您可以:
从需求追溯到架构、设计、测试和代码。
确认您的设计符合需求且不存在严重的运行时错误。
检查合规性并测量模型和代码的质量。
识别死逻辑并生成测试用例来解决缺失覆盖率。
生成报告和工件,并验证您的设计是否满足合规性标准。
您还可以通过以下方式指导 matlab® 软件开发:
编写需求并将需求与测试和代码关联。
运行动态测试来监控代码功能中的回归。
使用行业标准代码覆盖率度量来标识未测试的代码路径。
适用产品:验证、确认和测试
主题
定义需求
- author requirements in matlab or simulink (requirements toolbox)
create requirements and define the requirement hierarchy with matlab or simulink®. - import requirements from third-party applications (requirements toolbox)
import requirements from external documents and requirements management tools.
将需求与设计相关联
- test model against requirements and report results (requirements toolbox)
associate your model with detailed requirements, demonstrate traceability, test against requirements. - link test cases to requirements (requirements toolbox)
associate test cases with requirements. - (requirements toolbox)
track and manage links and change issues with the traceability matrix. - validate requirements by analyzing model properties (requirements toolbox)
validate requirements that are modeled as properties for a control system.
识别并消除设计缺陷
- analyze models for design errors (simulink design verifier)
run a design error detection analysis and interpret the results. - analyze models for standards compliance and design errors (simulink check)
detect and resolve design errors, check against standards, analyze functional dependencies, and prove properties.
执行基于需求的测试
- requirements-based testing for model development (simulink test)
test an autopilot system against requirements. - use specification models for requirements-based testing (simulink design verifier)
follow a systematic approach to verify your design model against requirements. - perform functional testing and analyze test coverage (simulink coverage)
analyze functional dependencies, test model components in isolation, create suites of test cases, test models, and code to achieve coverage. - fix requirements-based testing issues (simulink check)
fix model testing quality issues by using the model testing dashboard. - (simulink check)
use the model testing dashboard to analyze the completeness and quality of requirements-based testing activities in accordance with the iso 26262 standard.
执行基于代码的模型测试和验证
- analyze code and test software-in-the-loop (simulink check)
detect code errors, generate code metrics, test code and model equivalence, test code against requirements. - (polyspace bug finder)
将 polyspace® 与 matlab 和 simulink 集成,以标识模型和代码中潜在的 bug、运行时错误以及编码标准违规。 - 对通过 embedded coder 生成的代码运行 polyspace 分析 (polyspace bug finder)
检查通过 embedded coder® 生成的代码是否存在 bug、运行时错误或编码违规情况。