Here is the basic usage model of encruft.



Transition probabilities are assigned as follows:
[Enter]
100%Invoke[Main Window, No File]
[Main Window, No File]
40%Open[Main Window, File]
40%New[Main Window, File]
10%Save[Main Window, File]
5%IOError[Main Window, File]
5%Exit[Exit]
[Main Window, File]
2%Open[Main Window, File]
2%New[Main Window, File]
2%Save[Main Window, File]
86%Edit[Main Window, File, Edits]
2%Rename[Main Window, File, Edits]
l%IOError[Main Window, File]
5%Exit[Exit]
[Main Window, File, Edits]
2%Open[Main Window, File]
2%New[Main Window, File]
2%Save[Main Window, File]
85%Edit[Main Window, File, Edits]
2%Rename[Main Window, File]
2%Revert[Main Window, File]
l%SaveErrorAbort[Main Window, File]
l%IOError[Main Window, File]
l%IO_Save_Error[Main Window, File]
5%Exit[Exit]

Arc coverage test cases were generated as well as ten random test cases.





¤   4037 General Bate Drive    ¤   Nashville, TN 37204    ¤
¤   Phone: (615) 292-6496    ¤   Fax: (615) 386-9243    ¤    info@elucidsoft.net     ¤
This documentation was created by the staff of eLucid Software.  The content of these pages is Copyright © 2002 by eLucid Software, all rights reserved, unless otherwise noted.  Send comments, corrections, and suggestions to the author.