Lydie du Bousquet

Research Projects / Projets de Recherche

Testing is the process of executing a program or application with the intent of finding
failures. My research interests cover several facets of testing:

Test data generation
Oracle definition
Test case evaluation
Test cost (design for testability)

Raven project project (2021 - ...)

The RAVEN project aims to support the implementation of cooperation between the "Systems and Computer Engineering" department of Carleton University's Faculty of "Engineering and Design" and the UFR Informatique, Mathematiques et Mathématiques Appliquées (IM2AG), Faculté des Sciences at Université Grenoble Alpes. The project has several dimensions:

Implementation of the students mobilities
Establishment of one (or more) double-degrees, mainly in computer sciences
Exchanges of good practices in teaching software testing (i.e. category and partition method, validation of tests with Caseine platefrom)
Scientific collaboration around software testing, espiacially for software with Artificial Intellgence.

Kyoukan project (2019 - ...)

The goal of the Kyoukan project (Empathy in Japanese) is to explore ways to improve the ability of Artificially Intelligent systems to understand and react to human feedback information. This project has three focuses:

Obtain Human feedback information from several sources;
Analyse these multi-modal data together;
Design artificially intelligent systems that are reactive to this multi-modal human feedback data.

Kyoukan project will increase the collaboration among 5 reseach teams of these groups in university of Tsukuba and Uniersité Grenoble Alpes to achieve new ways to integrate human emotional data and artificially intelligent systems. The project promotes collaborative research through the support of inter-group travel, visits and workshops. This project is supported by the Région Auvergne Rhône-Alpes and CNRS. Originaly for 3 years, this project has been extended for at least two additional years due to Covid.

Kouno-tori project (2018 - ...)

Computer sciences labs of Grenoble university and the Department of Computer Science and Systems Engineering of Kobe University have both a large expertise in design and validation of smart systems. The general objective of Kouno-Tori project is to deepen the existing relations between the two institutions, in ordrer to cross-fertilize and enrich the reflexion and the results. This project is supported by the Région Auvergne Rhône-Alpes. Originaly for 3 years, this project has been extended for two additional years due to Covid.

Tools for test data generation Tobias and Lutess testing tools

Tobias is a tool for combinatorial testing.
Combinatorial testing performs combinations of selected input parameters values
for given operations and given states. Tobias adapts combinatorial testing
to the generation of sequences of operation calls. This allows
to reach states that do not correspond to a single call
to a constructor. It also allows us to design tests in terms of
behaviours rather than states.
Tobias has been used to test Java and C programs, and Websites.

Lutess is a tool for testing synchronous applications.
It relies on random (statistical) test data generation.

Old Projects:

Projet ANR Philae sur la production de tests à partir de traces avec des techniques d’IA.
Projet IDEX du Pôle MSTIC-UGA TracHal : production de tests à partir de traces (2018-19)
Projet Emergence Arrosoir : transparence des moteurs de recherches (2018)
Projet Emergence iCASATE : test de résilience d’applications pervasives (2018)
ANR MODMED MODel-Based Verification of MEDical Cyber-Physical Systems (2015-18)
FUI IO32 (2010-13)
ANR TASCC (2009-11)
ANR SIESTA : Test cost (design for testability)(2008-11)
PHC Sakura DVV-DHNS : Oracles for Home Services Validation (2007-08)
RNTL POSE : Validation de POlitiques de SEcurité (2005-07)
RNTL COTE : Component testing (2000 - 02)
AS 161 Testability (Action Spécifique CNRS)