Question-learn-test-feedback pattern
to test emerging software construction paradigms
Benoit Baudry
(Triskell research team)
Habilitation defense
Inria Rennes-Bretagne Atlantique
December 10th 2010
Les transparents
This habilitation introduces the question-learn-test-feedback pattern that resulted from a series of investigations in the domains of software testing and modular software construction. The contributions to these fields are of various natures, but are all fundamentally related through two major assumptions: software construction paradigms have to constantly evolve in order to deal with the increasingly complex requirements that software-intensive systems have to meet; a tester’s perspective can support this evolution through the development of effective testing techniques and new empirical knowledge about these paradigms.
Abstraction, modularity and separation of concerns have been advocated as key factors for rigorous software engineering for a long time. These principles have been incarnated by various software construction paradigms such as object-oriented programming and design, model-driven development and aspect-oriented modeling. These paradigms evolve in order to deal with the increasing number of heterogeneous requirements, the large number of variations and the need for adaptation that software-intensive systems have to integrate. The work presented here is about the integration of effective testing techniques in these paradigms and how this led us towards a more precise understanding of these paradigms.
A major discovery in our work is that we could follow a systematic pattern when investigating these paradigms to integrate error detection capabilities. First, we have to question these paradigms about the new assumptions they introduce on software systems. When answering these questions we can can perform the following actions: learn through rigorous evaluation of hypotheses about these paradigms; test software systems developed in these new paradigms; provide feedback to the paradigms in the form of new construction techniques that improve testability. We capture these four facets for the investigation of software construction paradigms in the question-learn-test-feedback pattern (QLTF).
This habilitation reports on investigations in three software construction techniques: object-oriented programming and design, aspect-oriented programming, model transformations. Each investigation is synthesized around the question-learn-test-feedback pattern.
Third, we have studied multi-sensory rendering of virtual environments, and the improvement of visual and haptic feedback. We studied how to adapt visual feedback to user's gaze, with novel techniques for tracking and predicting user's gaze in VR, and novel visual effects such as depth-of-field visual blur and camera motions. Then, we studied how to improve haptic feedback by superimposing vibration patterns to classical force-feedback and enhancing the perception of spatial location of contacts in virtual environments. Last, we studied visuo-haptic rendering and a novel approach that we called “Pseudo-Haptic Feedback” which uses vision to distort haptic perception.
télécharger la vidéo ( format MP4 - 156 Mo)
L'ensemble des HDR
(enregistrées depuis 2001)
Retour vidéothèque
Alain Crenn - Gestion des pages web Vidéothèque