In this paper we present a method for automatically testing interactive multimodal systems1. The proposed approach was originally dedicated to synchronous programming which is mainly used for real-time systems. Nevertheless, the behaviour of real-time systems, consisting of cycles starting by reading an external input and ending by issuing an output, is to a certain extent similar to the one of interactive systems. So considered, this paper investigates the use of the Lutess testing environment dedicated to synchronous software for automatically testing multimodal interactive (not necessarily real-time) systems. More precisely, we focus on test data generation based on operational profiles. The main benefit of this approach is that it incre...
Summary form only given. Although testing has always been the most important technique for the valid...
This thesis work done in the context of the FUI project Minalogic Bluesky, concerns the automated fu...
Colloque avec actes et comité de lecture.Many critical, real-time systems or multimedia systems have...
This work deals with the automatic testing of interactive systems. The proposed approach is based on...
Test data generation and test execution are both timeconsuming activities when done manually. Automa...
International audienceMultimodal systems support communication with the user through different modal...
The work in this thesis addresses the improvement of the testing process with a view to automating t...
This work aims to investigate the state of the art in test case generation for real-time systems, to...
AbstractTask trees are common notations used to describe the interaction between a user and an inter...
International audienceGALS (Globally Asynchronous Locally Synchronous) systems, such as the Internet...
International audienceIn this case study we test a landing gear control system of a military aircraf...
Ce travail de thèse, effectué dans la cadre du projet FUI Minalogic Bluesky, porte sur le test fonc...
People make mistakes. Software engineers are no exception to this fact. When software engineers make...
In formal testing, the assumption of input enabling is typically made. This assumption requires all ...
Embedded real-time systems are those systems which have many components interacting with each other ...
Summary form only given. Although testing has always been the most important technique for the valid...
This thesis work done in the context of the FUI project Minalogic Bluesky, concerns the automated fu...
Colloque avec actes et comité de lecture.Many critical, real-time systems or multimedia systems have...
This work deals with the automatic testing of interactive systems. The proposed approach is based on...
Test data generation and test execution are both timeconsuming activities when done manually. Automa...
International audienceMultimodal systems support communication with the user through different modal...
The work in this thesis addresses the improvement of the testing process with a view to automating t...
This work aims to investigate the state of the art in test case generation for real-time systems, to...
AbstractTask trees are common notations used to describe the interaction between a user and an inter...
International audienceGALS (Globally Asynchronous Locally Synchronous) systems, such as the Internet...
International audienceIn this case study we test a landing gear control system of a military aircraf...
Ce travail de thèse, effectué dans la cadre du projet FUI Minalogic Bluesky, porte sur le test fonc...
People make mistakes. Software engineers are no exception to this fact. When software engineers make...
In formal testing, the assumption of input enabling is typically made. This assumption requires all ...
Embedded real-time systems are those systems which have many components interacting with each other ...
Summary form only given. Although testing has always been the most important technique for the valid...
This thesis work done in the context of the FUI project Minalogic Bluesky, concerns the automated fu...
Colloque avec actes et comité de lecture.Many critical, real-time systems or multimedia systems have...