tailieunhanh - Validation of Communications Systems with SDL phần 10

ObjectGeode, sử dụng các phương thức mô phỏng đầy đủ đúng (chiều rộng, chiều sâu hoặc liveness) chứ không phải là supertrace (đặt tên là bit-nhà nước Tàu SDL Suite Validator). Nếu mô phỏng không bao giờ chấm dứt Bạn chắc chắn sẽ phải đối mặt với SDL mô hình mô phỏng trong chế độ đầy đủ hoặc bit-nhà nước không bao giờ chấm dứt, | Exhaustive Simulation 263 In ObjectGeode use the true exhaustive simulation modes breadth depth or liveness rather than supertrace named bit-state in Tau SDL Suite Validator . If simulation never terminates You will certainly be faced with SDL models whose simulation in exhaustive or bit-state modes never terminates because the model has too many global states. In exhaustive mode when you see that the RAM memory of your computer is full you can stop the simulation because it becomes extremely slow. In bit-state the memory is allocated at the beginning the size of the bits array plus a few extra megabytes and no longer increases. Tau SDL Suite Validator Lets suppose we use the bit-state exploration mode. 1. Do not activate the Advanced mode where all kinds of events have the same priority. 2. Use the command Define-Max-Input-Port-Length to limit the number of signals in each process input queue to one the default is two . 3. For each dynamically created process there is no command to limit the process instance creations to a certain number the command Define-Max-Instance limits the number of instances at a certain moment but not the successive number of instances created for example if you use Define-Max-Instance proc1 2 the loop process proc2 creates an instance of proc1 proc1 stops dies can be simulated 100 times triggering the creation of 100 instances . However it seems that the Validator avoids creating 100 different global states in such a scenario. 4. Reduce the number of instances of entities block types etc. and the number of repetitions such as retries to the minimum required for simulation. 5. Use the command Define-Variable-Mode to remove temporary variables such as a variable receiving the input parameter of a signal provided the value is not used outside the transition or variables not influencing the behavior from the global states. This reduces the number of global states. 6. Limit the number of external signals and the number of test .