Séminaire de l’équipe AtlanModels – orateurs : Sagar Sen & Shuai Wang (Simula lab Oslo)

L’équipe AtlanModels organise un séminaire jeudi 4 mai de 10h à 11h30, en salle 3 du bâtiment 11 (site FST).

Nous accueillons cette semaine Sagar Sen et Shuai Wang du Simula Research Laboratory (SRL)à Oslo.
Nous travaillons conjointement sur le projet Dizolo (Partenariat Hubert Curien (PHC) franco-norvégien).

• Shuai est post-doc et présentera ses travaux sur « Systematic Product Line Testing: Methodologies, Automation, and Industrial Application ».
  Abstract:
  Testing products in a cost-efficient way remains an attractive topic for product line testing in both academia and industry, which can be addressed by employing systematic and automated approaches utilizing models such as feature models. Driven by the needs of our industrial problem for testing Video Conferencing Systems (VCSs) product line developed by Cisco Systems, Norway, cost-effective testing can be further formulated into four main problems, including: 1) Test Selection: Automatically and systemically select a set of relevant test cases for a product from the entire suite available for a product line; 2) Test Minimization: Minimizing the test suite obtained by the selection to eliminate redundant test cases for reducing the cost of testing (e.g., execution time) while preserving high effectiveness (e.g., fault detection capability); 3) Test Generation: Automatically and systemically generate test cases when new functionalities are introduced to the product line by the product; and 4) Test Prioritization: Prioritizing the minimized test suite with the aim at balancing the trade-off between cost and effectiveness.
  This talk will review the industrial challenges and present a set of methodologies on industrial systems for cost-effective testing of a product in a product line, which includes: 1) a systematic and automated test selection methodology using feature model; 2) an automated search-based test minimization approach; 3) an automated and systematic test generation methodology using feature model and 4) an automated search-based test prioritization approach.

• Sagar est chercheur, et est invité par le « Cancer Registry of Norway ».
  Il présentera ses travaux au sein de la startup SweetZpot.

Ce séminaire est ouvert à tous !