Verification

Tags

soft-eng

[see page 5, Demonstrating], mathematically, that an implementation indeed respects the specification. This problem asks the [see page 2, question]: have we built the system right? Essentially verify an implementation truly did solve the problem the specification was needed for.

This process emphasises consistency and completeness:

• consistency: no operations produced conflicting results.
• completeness: all possible outcomes properly covered.

The goals of verification is to somehow prove that models are correct before coding and ensure their consistent and complete. Verification requires any kind of specification such as OCL.