Chapter 6. Random Simulation
Published Online: 28 JAN 2005
DOI: 10.1002/0470014156.ch6
Copyright © 2003 John Wiley & Sons, Ltd
Book Title
Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis
Additional Information
How to Cite
Doldi, L. (2005) Random Simulation, in Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis, John Wiley & Sons, Ltd, Chichester, UK. doi: 10.1002/0470014156.ch6
Publication History
- Published Online: 28 JAN 2005
- Published Print: 22 APR 2003
ISBN Information
Print ISBN: 9780470852866
Online ISBN: 9780470014158
- Summary
- Chapter
Keywords:
- random simulation;
- range overflow or a bad behavior;
- Define-Random-Seed
Summary
This chapter contains sections titled:
Principles
Case Study with Tau SDL Suite
Case Study with ObjectGeode
Errors Detectable by Random Simulation