Arunkumar Khannur's Software Testing Knowledge Center

12.5. The Role of State Transition Diagrams in Software Testing

STDs provide framework for model testing, where an STD is executed or simulated with event sequences as test cases, before starting the actual implementation phase. STDs specify system specification and support for testing the system implementation against the system specification.

With the help of STDs we can generate test cases as follows:
  • Explicit mapping shall be done between the elements of the state machine (states, events, actions, transitions, guards) and the elements of the implementation (e.g., classes, objects, attributes, messages, methods, expressions)
  • Ensure that the current state of the state machine underlying the implementation must be checkable, either by the runtime environment or by the implementation itself (built-in tests with, e.g., assertions and class invariants)
Khannur's Book
Arunkumar Khannur, Software Testing - Techniques and Applications, Published by Pearson Publications, 2011 (ISBN:978-81-317-5836-6; Pages:341 + xxii)
Follow Khannur
Khannur's Company
ISQT Process & Consulting Services Pvt. Ltd., Bangalore, INDIA
Khannur's Software Testing Forum
 Contact Khannur
ISQT Process & Consulting Services Pvt. Ltd.
#732, 1st Floor, 12th Main,
3rd Block, Rajajinagar,
Bangalore - 560010, INDIA
Phone: +91 80 23012511
Skype: arun.isqt