search

christofferholmstedt / dva501-master-thesis-report

3 stars 0 forks source link

Verification and validation, how should it be done? #7

Closed christofferholmstedt closed 10 years ago

christofferholmstedt commented 10 years ago

The choice of verification and validation method(s) will impact the design choices made and influence which parts of the Ada language that can be used.

christofferholmstedt commented 10 years ago

For "extra" testing (dynamic analysis) such as Requirements-based Testing and Structure based testing, Jenkins should be set up.

Testing techniques to look into are equivalence class, boundary value, statement coverage, branch coverage and Modified Condition/Decision Coverage testing. This should all be possible with Jenkins if proper testing functionality exists in AUnit or Ahven. Pages 7-8 in "Guide for the use of the Ada programming language in high integrity systems".

christofferholmstedt commented 10 years ago

Some unit testing might be undertaken but is only done if time permits.