Click in the left frame of ViVaWeb on "ViVa Toolset", NOW!
Select the "Family relationships" KBS in version 4, NOW!
Click on The code in order to see the code of the Kappa application.
Perform those V&V steps of the V&V plan, which are supported by tools, by clicking on the tools indicated in the table below under "Tool activity". Also, look at the V&V management tools to see anomaly reports, V&V knowledge and V&V reporting.
The V&V plan execution is finished, when all anomaly reports are closed, and all the V&V steps have been performed without creating new anomaly reports.
| V&V phase | V&V task | V&V step | V&V technique | Tool activity | V&V finding |
|---|---|---|---|---|---|
| UR V&V | UR.T1 | UR.S1.1 | Technical review | ||
| SR V&V | SR.T1 | SR.S1.1 | Technical review | ||
| SR.T2 | SR.S2.1 | Forward tracing | |||
| AD V&V | AD.T1 | AD.S1.1 | Technical review | ||
| AD.T2 | AD.S2.1 | Forward tracing | |||
| DD V&V | DD.T1 | DD.S1.1 | Forward tracing | ||
| Unit V&V | UT.T1 | UT.S1.1 | Static consistency checking of rule base | "Consistency checking" | -V&V knowledge -Anomaly reports |
| UT.T2 | UT.S2.1 | Static completeness checking of rule base | "Completeness checking" | -V&V knowledge -Anomaly reports | |
| UT.T3 | UT.S3.1 | Test construction | "Test case construction"
"Test group definition" "Code instrumentation" | -Test cases -Test groups - Instrumented code | |
| UT.S3.2 | Test execution | "Test case selection"
"Perform test case runs" | -Selected test cases -Executed test cases | ||
| UT.S3.3 | Test analysis | "Test case output analysis"
"Test execution analysis" "Completion testing" | -Anomaly reports | ||
| Integration V&V | IT.T1 | IT.S1.1 | Test execution analysis | "Test execution analysis"
"Coverage value check" | -Rule coverage |
| IT.T2 | IT.S2.1 | Testing | Testing tools ... | ||
| System V&V | ST.T1 | ST.S1.1 | Metric calculation | "Metric calculation" | -KBS statistics
-HFS metrics |
| ST.T2 | ST.S2.1 | Testing | Testing tools ... | ||
| Acceptance V&V | AT.T1 | AT.S1.1 | Testing | Testing tools ... | -V&V report |