Ch5-4-modelBased

Ch5-4-modelBased - Introduction to Software Testing Chapter...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
1 Introduction to Software Testing Chapter 5.4 Model-Based Grammars http://www cs gmu edu/ offutt/softwaretest http://www.cs.gmu.edu/~offutt/softwaretest/ Model-based Grammars Model Model-based based Languages that describe software in abstract terms Formal specification languages Z, SMV, OCL, … Informal specification languages Design notations 2 Statecharts, FSMs, UML notations Model-based languages are becoming more widely used Introduction to Software Testing (Ch 5)
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 Instantiating Grammar-Based Testing Grammar-Based Testing 5.4 Program-based Integration Model-Based Input-Based Grammar String mutation Program mutation Valid strings Mutants are not tests Must kill mutants String mutation FSMs Model checking Valid strings Traces are tests String mutation Input validation testing XML and others String mutation 3 Compiler testing Valid and invalid strings Input validation testing XML and others Valid strings Grammar Test how classes interact Valid strings Mutants are not tests Must kill mutants Includes OO Invalid strings No ground strings Mutants are tests Introduction to Software Testing (Ch 5) BNF Grammar Testing (5.4.1) Terminal symbol coverage and production coverage have only been applied to algebrai specification been applied to algebraic specifications Algebraic specifications are not widely used This is essentially research-only, so not covered in this book 4 Introduction to Software Testing (Ch 5)
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 6

Ch5-4-modelBased - Introduction to Software Testing Chapter...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online