Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
MTV Tilstandsmaskiner

Model-based testing of Real-time systems

Indhold:

Stress/Load/Conformance Testing
rt-ioco
Offline optimal test generation
- DOUTA
- Optimal test cases and suites
- Test purposes
- Coverage based generation
Online testing.

Litteratur

Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou Time Optimal Test Generation using Uppaal
Kim Larsen, Marius Mikucionis, Brian Nielsen Online testing of real-time systems
T-UppAal website

Øvelser

Med Venlig Hilsen

Arne & Brian