MODELS AND METAMODELS FOR SOFTWARE VERIFICATION AND VALIDATION
Who will test? Models Demonstration model Destructive testing model Evaluation oriented model Prevention model Testing… Needs specification Criteria for testing needs specification Consistency Feasibility Testability Errors Format suggested: IEEE 830 Format suggested: IEEE 830 2 Format suggested: IEEE 1016/1028 Implementation phase Tools Test strategy Maintenance 1 Maintenance 2 Verification and validation 1 Verification and validation 2 Verification and validation 3 Verification and validation 4 Verification and validation 5 Testing techniques 1 Testing techniques 2 Walkthroughs and inspections Faults Model based evaluation Formal proofs
