Skip to main content

Test Cases and Breakdown

CodeValid automatically maps your specifications to code implementation and provides a detailed breakdown of:

  • How your specifications are implemented
  • What parts are missing or incomplete
  • Different types of test cases that CodeValid constructs to validate your specifications (positive, negative, and edge cases)
  • Automatic updates: All mappings are refreshed whenever your code or specification changes, ensuring the breakdown is always up to date

This helps you ensure full coverage of your requirements, improves code quality, and serves as a living documentation for your repository—automatically reflecting changes in both code and specifications.

Steps to View the Breakdown​

1. Navigate to Breakdown​

  1. Select Breakdowns from the side navigation bar.
  2. In the main window, select Specification Breakdown.

2. Understanding the Flow Panel​

The Flow Panel represents the implementation details of your specification:

  • Implementation:

    • Shows how the function is implemented.
    • Provides a list of files where the implementation occurs.
    • Clicking on an implementation displays details such as where it is implemented and how it connects to the specification.

  • Missing Implementation:

    • Highlights parts of the specification that aren’t yet implemented.

3. Viewing Test Cases​

At the top of the Details Panel, you can access Test Cases:

  • CodeValid constructs positive, negative, and edge test cases automatically to validate your specification.
  • Clicking on a test case shows how CodeValid will validate it.

Tip: Regularly reviewing the Flow Panel and Test Cases ensures that your code stays aligned with your specifications, identifies gaps early, and reflects changes in real-time.