M2R Preparatory Course for Test of IT Systems
("Mise à Niveau: Test des Systèmes informatiques")
All courses will take place at Bat. 490.
- MAN 1, 21.9, 14-17, [Firtech] : Testing Introduction, HOL as Specification Language, HOL Foundations,
- MAN 2, 23.9., 14-17, [90] : Meta-Logic, HOL-Logic, Modelling in HOL.
Bibliography:
- [1] Model-Checking oriented Program-Based Testing: Test Input Generation with Java PathFinder
- [2] Symbolic Execution oriented Program-Based Testing: JPF-SE: A Symbolic Execution Extension to Java PathFinder
- [3] Compositional Symbolic Execution oriented Program-Based Testing:Demand-Driven Compositional Symbolic Execution PEX System Description
- [4] Random-based Testing: Testing Monadic Code with QuickCheck, QuickCheck Tutorial
- [5] Unit-Sequence-Reactive Testing:
- [6] Application: Firewall Testing, Model-based Firewall Conformance Testing
- [7] Symbolic IOCO : A Symbolic Framework for Model-Based Testing,Testing of Reactive Systems The IOCO testing theory
- [8] Tools :Tools for Test Case Generation
- [9] Testing Non-Determinism: Optimal Strategies For Testing Nondeterministic Systems
- [10] Large-Scale Industrial Application: Using Model-Based Testing for Quality Assurance of Protocol Documentation