现代软件工程SoftwareVerification概要1.ppt

Satish Mishra Introduction to UML Morden Software Engineering Shengbing Ren rsb@ School of Software , Central South University Software Verification 1. Software Quality Ariane 5 More Software Bugs 2. Software Verification Testing (using the system itself) Simulation (using a model of the system) Deductive verification (mathematical (manual) proof of correctness, in practice done with computer aided proof assistants/proof checkers) Model Checking (≈ exhaustive testing of a model of the system) Peer Reviewing: amounts to software inspection cataches 31% ~ 93% of the defects Testing Is Hard Test