Holarch

Verification

Plan tests and see what is verified.

Plan how each requirement is verified, run tests with evidence, and report coverage in an RVTM. Results roll up through the requirement hierarchy, so a failure below shows on the parent.

What you can do

Test Center

Group test cases in test suites. Each test case lists the requirements it verifies and its steps with action and expected result.

Test runs with evidence

Run tests with a configuration and test article. Record the actual result per step, attach evidence, and mark Pass, Fail, Blocked or Skip.

Issues from failures

A failed test offers Create Issue. The issue is linked to the test case and to the requirements it verifies.

RVTM

Every requirement with its verification method and level, its test cases and its rolled-up result. Cards count Verified, Failed, Not Run, Planned-only and Unverified requirements.

Traceability matrix

Rows and columns of model items with a mark where a relationship exists. Click a cell to add or remove a link, and show gaps only.

Model checks

68 rule-based checks of the whole model, for example leaf requirements that are not verified or failed tests without an issue. Each issue has a Fix.

How it works

  1. Set the method. Give each requirement its Verification Method (Analysis, Demonstration, Inspection, Test), Verification Level and Success Criteria.
  2. Build the suites. In Verification → Test Center, choose + New → Test Suite, then add test cases. AI can draft a test case from a selected requirement.
  3. Link and write steps. Add the requirements each test case verifies and its steps with the expected result.
  4. Run the tests. Click Run Tests, enter the configuration and test article, record actual results and attach evidence.
  5. Report coverage. Open Verification → RVTM and export it as Excel, CSV or Word.

Trace every requirement to a result.