Best Practices for Requirements-Driven Software Development in MATLAB

Overview

This repository contains examples of best practices for requirements-driven software development in MATLAB®.

Topics include:

• Authoring, linking, and validating requirements for designs and tests
• Validating code quality within the MATLAB integrated development environment (IDE)
• Writing unit tests and using code coverage reports
• Verifying equivalence of autogenerated C code
• Automating code analysis, testing, code generation, and reporting within a CI pipeline
• Detecting bugs, enforcing code guidelines, and proving the absence of runtime errors

Installation and Getting Started

1. Clone or fork the repository to get started. You may also download the repository content as a MATLAB project archive (Requirements.mlproj).
2. If you downloaded the MATLAB project, double-click the Requirements.mlproj archive to extract the project.
3. Open the project by double-clicking on Requirements.prj.

MathWorks Product Requirements

These examples were developed for MATLAB release R2024b or later.

• MATLAB®
• Requirements Toolbox™
• Signal Processing Toolbox™
• MATLAB Test™
• MATLAB Coder™
• Polyspace Bug Finder™
• Polyspace Code Prover™

License

The license is available in the license.txt file in this GitHub repository.

Community Support

MATLAB Central

Copyright 2025 The MathWorks, Inc.