Ch3-5-FSMLogic

Ch3-5-FSMLogic - 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 3.5 Logic Coverage for FSMs Paul Ammann & Jeff Offutt www introsoftwaretesting com www.introsoftwaretesting.com Covering Finite State Machines FSMs are graphs nodes represent state edges represent transitions among states Transitions often have logical expressions as guards or triggers As we said: Find a logical expression and cover it © Ammann & Offutt 2 Introduction to Software Testing (Ch 3), www.introsoftwaretesting.com
Background image of page 1

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

View Full Document Right Arrow Icon
2 Example – Subway Train All Doors Open secondPlatform = right secondPlatform= left Left Doors Open Right Doors Open ¬ emergencyStop ¬ overrideOpen doorsClear ( all three transitions ) © Ammann & Offutt 3 All Doors Closed trainSpeed = 0 platform=right (inStation (emergencyStop overrideOpen)) trainSpeed = 0 platform=left (inStation (emergencyStop overrideOpen)) Introduction to Software Testing (Ch 3), www.introsoftwaretesting.com Determination of the Predicate trainSpeed trainSpeed = 0 = 0
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.

{[ snackBarMessage ]}

Page1 / 4

Ch3-5-FSMLogic - 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