MODELS AND METAMODELS FOR SOFTWARE VERIFICATION AND VALIDATION
Introduction Critical applications Classical failures Software testing Error rate Failures Test ob jectives Time consuming Methodology Solution Test methods Faults and failures Testing phases Failures Fault-failure relationship What is a failure? Validation Verification Proof of program correctness General test process Test cases 1 Test cases 2
