Model-based testing of Real-time systems
Indhold:
- Conformance Testing
- ioco
- Real-time conformance
- Offline optimal test generation
- DOUTA
- Optimal test cases and suites
- Test purposes
- Coverage based generation
- Online testing.
- Non-deterministic specifications
- Online testing algorithm
- TRON tool
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
- UppAal TRON website
Øvelser
-
- Afgør ved at opskrive output-sets, traces, og quiescent tilstande, hvorvidt 1) maskine I er en ioco korrekt implementation af S og
2) om S er en ioco korrekt implementation af I (altså betragt I som
specifikation og S som implementation).
- Afprøv test værktøjet UppAal-TRON
på LightControlleren. Følg disse
instruktioner (Se også filen java/README.txt i distributionen).
- Prøv at lave en eller flere mutanter (logisk eller timing som er synlig på
black-box niveau iht. rtioco) af LightController.java (oversæt) og se om fejlen
fanges.
- Generer vha test-purposes og offline test generering et par sekvenser,
og kod dem op som input sekvenser til tron som eksemplificeret i automaten (CoverageUser)
i lightContr4.xml i øvelsespakken
Med Venlig Hilsen
Arne & Brian