Home > Event registration << Previous - Next >>


Test generation and system validation

June 12, 2014 at 9:30.
Welcoming at 9:00.

Building Nano Innov in Palaiseau. Access plan.

PragmaDev and CEA LIST have joined forces to offer an integrated solution to address two challenges: test generation and property verification. The integration of both technologies provide a user friendly way to describe the system architecture, its functions, and to define a set of objectives. The tool will then automatically get to the objective.

The first results of this common lab will be presented by the respective specialist from PragmaDev and CEA and will include a user feedback. This is a unique opportunity to discuss how PragmaList can help your system validation.

Preliminary agenda:

  • 09:00 - Welcome coffee
  • 09:30 - PragmaDev: Modeling and testing complex systems - Emmanuel Gaudin
  • 10:00 - CS use case: Managing complexity in Airbus Air Traffic Control - Julien Honoré
  • 10:30 - CEA LIST: Automatic Test Generation : the DIVERSITY Approach - Alain Faivre, Arnault Lapitre
  • 11:00 - PragmaList: A unique Model Based Testing solution - Julien Deltour
    • Presentation
    • Demonstration
    • Comparative analysis
  • 11:30 - Open discussion

Please fill in the enclosed form to register to the event.