 define ts_language 'text': reserved for TTCN test case generation. define ts_name 'ping': reserved for TTCN test case generation. define ts_purpose_comment 'from state %s of %p, receive %i, send (%0) and go to state %f': reserved for TTCN test case generation. define ts_test_groups 'false': reserved for TTCN test case generation. define ts_test_steps 'false': reserved for TTCN test case generation. define verify_stats 'true': when true, the number of states for each process and each input queue is displayed at the end of an exhaustive simulation. A must to detect which queues contain too many signals and must be limited using the filter command. define watch_expand_depth '3': number of levels displayed expanded in a watch. define windows 'true': true if Windows is used, otherwise false (Unix). 8.2.6.2 Other settings A few Simulator settings are not define commands. They are displayed textually by typing the command verify options. As the define commands, they can be put into a Simulator startup file. 288 Validation of Communications Systems with SDL deadlock limit 2: maximum number of deadlock scenario files generated during an exhaustive simulation, here 2. error limit all 2: same as previous for errors detected by MSC or GOAL observers. exception limit 2: same as previous for exceptions. stop limit 2: same as previous for stop conditions. success limit all 2: same as previous for success detected by MSC or GOAL observers. Bibliography Web sites www.etsi.fr, ETSI: European Telecommunications Standards Institute. www.itu.int, ITU: International Telecommunications Union. www.sdl-forum.org, SDL Forum Society: information about SDL tools, training, events such as the SDL-Forum, SDL news electronic mailing list, etc. perso.wanadoo.fr/doldi/sdl, the site of the author of this book. Books [Belina91] F. Belina, D. Hogrefe, A. Sarma, SDL with Applications from Protocol Specifica- tion, ISBN 0-13-785890-6, Prentice Hall International Ltd, 1991. [Doldi01] L. Doldi, SDL Illustrated, Visually Design Executable Models, ISBN 