Arunkumar Khannur's Software Testing Knowledge Center
   
 

12.4. General Properties of STDs

STDs 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.

STDs may be deterministic or nondeterministic. STD 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, STD may have several final states (or none: infinite computations) 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
STEP-AUTO Forum
 Contact Khannur
ISQT Process & Consulting Services Pvt. Ltd.
#732, 1st Floor, 12th Main,
3rd Block, Rajajinagar,
Bangalore - 560010, INDIA
Phone: +91 80 23012511
URL: www.isqtinternational.com
Email: khannur@isqtinternational.com
Skype: arun.isqt