Tests of parallel and distributed systems

In order to meet the requirements to produce more complex distributed systems, it has become indispensable for system designers to rely on automated development procedures. The test-related activities in developing such systems represent up to 70% of the total production costs. As a result, Computer-Aided Software Engineering (CASE) tools, that support Model-Driven Engineering, have become an important means in the development process. Research in this field has led to the development of numerous integrated environments supporting various language specifications and model checkers, in addition to test generation tools that provide for a significant automation of the testing process. As a result, the efficiency of Model-Driven Engineering has already been demonstrated on numerous case studies, and is now being adopted by various industries. Contributing to this progress, the team continues its research by developing rigorous and efficient test methodologies and prototype tools for model-based testing.

Teams

Releases

Recent news

  • La Ville de Montréal lauréate d’un OCTAS 2019 pour un projet réalisé avec le CRIM
    06/06/2019

    Lors de la Grande soirée des OCTAS qui s'est tenue le 5 juin dernier, la Ville de Montréal a remporté l’OCTAS dans la catégorie Ville et organisme parapublic pour un projet réalisé en collaboration avec le CRIM.

    +

Upcoming event

  • Assemblée générale des membres du CRIM - 19 juin 2019
    19 June 2019 0:00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Les membres du CRIM sont convoqués à l'Assemblée générale annuelle qui se tiendra le 19 juin 2019, dans les locaux du CRIM. Ne manquez pas cette importante réunion et à cette occasion de vous tenir au fait de plusieurs dossiers qui vous concernent.
    +

Recent Publications

  • Forage de données géospatiales, quelques applications

    +
  • Des technologies perturbatrices pour de futures applications du bâtiment intelligent utilisant AI

    +