Model-BasedTesting.pptVIP

Model-Based Testing Model Based TestingContents Model Based TestingContents Towards Model Based Testing Increase in complexity, and quest for higher quality software testing effort grows exponentially with complexity testing cannot keep pace with development More abstraction less detail model based development Checking quality practice: testing - ad hoc, too late, expensive, lot of time research: formal verification - proofs, model checking, . . . . with disappointing practical impact Towards Model Based Testing Model based testing has potential to combine practice - testing theor