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).
![](ioco.bmp)
- Afprøv test værktøjet UppAal-TRON
på LightControlleren. Du skal bruge denne
øvelsespakke. Tron til windows
er inkluderet (hvis du vil bruge Linux evt. homer.cs og marge.cs) så kan du
hente tron fra Tron
websiden. For at aktivere tron skal du følge instruktionerne i
README.html i øvelsespakken.
- 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