Software Verification and Validation

ICT3101

Software verification and validation uses both static and dynamic techniques of system checking to ensure that the resulting program satisfies its specification, and that the implemented program meets the expectations of the stakeholders. Static techniques are concerned with the analysis and checking of system representations throughout all stages of the software life cycle, while dynamic techniques involve only the implemented system.