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

LTS based testing

Indhold:

Formal Conformance Testing
- LTS, IO-LTS
- Formal testing framework
- Implementation relations: trace inclusion, ioco
- Soundness and completeness
ioco based test generation
- Test suites
- Test execution
- Online testing.

Litteratur

Jan Tretmans Lecture Notes Formal Testing Techniques Chapter 3+4 are important (especially 3.5.4).

Øvelser

Med Venlig Hilsen

Arne & Brian