Abstract
We present a method of generating test cases from the software specifications which are modeled by nondeterministic finite state machines. It is applicable to both non-deterministic and deterministic finite state machines. When applied to deterministic machines, this method yields usually smaller test suites with full fault coverage than the existing methods that also assure full fault coverage. In particular, the proposed method can be used to test the control portion of software specified in the formal specification languages SDL or ESTELLE.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
