v2.11.0 (5397)

Enseignement de Master - NET7332 : Test forme du système

Descriptif

The main objective of this course is to provide students with some knowledge in Modelling, Verification and Validation aspects. Testing techniques applied to functional or non-functional aspects (e.g. security) on new generation networks (e.g., ad hoc routing protocols) are emphasized.
A first step is to present what a protocol’s formal model is and how to obtain it. Therefore, languages and modelling industrial tools are introduced. The second step is to verify this model in order to finally, in a third phase, derive some tests to validate the real systems.
Lecturers: Pr Stephane Maag

21 heures en présentiel

Diplôme(s) concerné(s)

Format des notes

Numérique sur 20

Littérale/grade européen

Pour les étudiants du diplôme Computer Science for Networks

Le rattrapage est autorisé (Max entre les deux notes)
  • le rattrapage est obligatoire si :
    Note initiale < 10
L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 2.5 ECTS

La note obtenue rentre dans le calcul de votre GPA.

La note obtenue est classante.

L'UE est évaluée par les étudiants.

Programme détaillé

Specification techniques for communicating protocols and services
A) model-based testing
B) ITU-T SDL and SySML
Techniques for automated generation of test scripts
A) from the models
B) field experience
Standardized test execution scores.
A) ETSI TDL and TTCN3
Network monitoring techniques applied to tests
A) passive test
B) DPI – Deep Packet Inspection
Industrial tools for testing
A) active / passive test tools
B) Monitoring tools for testing.

Evaluation
Project

Veuillez patienter