Arunkumar Khannur's Software Testing Knowledge Center

10.4. General Properties of State Graphs

State Graphs have certain general properties that are unique to them.

  • State Graphs are typically incomplete. They consider just the most important states, events and transitions which are legal events that are associated with transitions. However they do not define illegal events.
  • State Graphs may be deterministic or nondeterministic. State Graph is referred to as deterministic if any state/event/guard triple triggers a unique transition and it is nondeterministic in case the same state/event/guard triple may trigger several transitions, and the triggered transition may differ in different cases.
  • In addition, State Graph may have several final states or none or may contain empty events (default transitions) or may be concurrent where in it can be in several different states at the same time.
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