Invitation to Guest Lecture/Tutorial on Model Based Testing

Stephane Maag from Sud Telecom Paris (http://www.telecom-sudparis.eu/fr_accueil.html) will be visiting DIT, School of Computing from April 18th to April 22nd 2016. During his visit he will be giving a guest lecture and tutorial on Model Based Testing.


Model-based testing (MBT) is the automatic generation of software test procedures, using models of system requirements and behavior. Although this type of testing requires significantly more up-front effort in building the model, it offers substantial advantages over traditional software testing methods.

Stephane's lectures and tutorials will be 'protocol oriented', tackling black-box testing: from a formal model (Extended Finite State Machine (EFSM) based + Message Sequence Chart(MSC)), the automatic test suites generation techniques will be seen followed by testing architectures that may be used to execute the test suites in practice (after an  intro to TTCN3(Testing and Test Control Notation), coverage and concretisation).  Testing the functional aspects from the interface/PCO viewpoint.

In the practical element he will be using PragmadevStudio (http://www.pragmadev.com/) An academic version is available but this has been installed on SOCAPPSRV1 which is accessible from the lab machines.


The lecture sessions will be held on Monday April 18th 2016 from 14.00-15.00 in KA-320, and Tuesday  April 19th from 16.00 to 17.00 in KA-1-017.
The practical session will be held on Wednesday April 20th  2016 from 9.00 to 11.00  in AU-1-005 (Aungier St. Lab)
If you wish to attend please complete the SIGNUP SECTION available at the following link:

http://goo.gl/forms/q5mcPlwYdP