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:
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
Originaly for 3 years, this project has been extended for at least two additional years
due to Covid.
- 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.
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
- Projet Emergence iCASATE : test de résilience d’applications
- 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)