Validating application design against specifications

It will also validate that the general approach to testing, the test configurations and the individual test methods implied by the Test Purposes are all valid.

Test Suites, however, cannot easily be validated by means of a design review as they are written in TTCN-3 or some other programming language.

Static techniques include program inspections, analysis and formal verification.

validating application design against specifications-47

This 'functionality' refers to services, tasks or functions the user performs using the system in question.

In product development, it is important to understand the difference between the baseline functionality necessary for any system to compete in that product domain, and features that make the system different from their competitor's products. A technical specification describes the internal implementation of the software.

However, flaws and deficiencies in the requirements can sometimes be discovered only when the system implementation is complete.

To satisfy the objectives of the verification and validation process, both static and dynamic techniques of system checking and analysis should be used.

Verification and validation are sometimes confused, but they are different activities.

The difference between the two can be summarised as follows: Verification involves checking that the program conforms to its specification.Optionally, a design review of the test suite is performed.Level 2: The tests are executed on one test platform against at least one System Under Test (SUT). Optionally, a back-to-back validation (mirror test cases) and/or a data-driven codec validation are performed.The system should be verified and validated at each stage of the software development process using documents produced in earlier stages.Verification and validation thus starts with requirements reviews and continues through design and code reviews to product testing.The existence of program defects or inadequacies is inferred from unexpected system outputs.