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

Test af Tilstandsmaskiner

Indhold:

Basalt om tilstandsmaskiner
- Mealy, Moore, IO varianter
- Repræsentation: matricer, grafer
- Konsistens og fuldstændigheds check
- Håndkodning: tabeller, lister, switch(state) switch(input),
Transition testing: FSM baseret test generering
- Fault models,
- Observationsantagelser
- Unique IO sequences, Distinguishing Sequences, ...
- Coverage: Transition, state,...

Litteratur

Design and Validation of Computer Protocols by Gerard J. Holzmann chapter 9 . (chapter 8 kan være en supplementerende introduktion til FSMs)
Supplementary readings: Hasa Ural: Formal methods for test sequence generation. Computer Communications Volume 15 , Issue 5 (June 1992) Pages: 311 - 325.

Øvelser

Find ved håndkraft en (gerne korteste) transitionsdækkende sekvens for denne udgave at speedControl componenten. Brug herefter UppAal til at finde den korteste!

Med Venlig Hilsen

Arne & Brian