Verification of properties of interactive components from their executable code

Abstract : In this paper we describe how an executable model of interactive software can be exploited to allow programmers or spec-ifiers to express properties that will be automatically checked on the components they create or reuse. The djnn framework relies on a theoretical model of interactive software in which applications are described in their totality as hierarchies of interactive components, with no additional code. This includes high level components, but also the graphics, behaviors, computations and data manipulations that constitute them. Because of this, the structure of the application tree provides significant insights in the nature and behavior of components. Pattern recognition systems can then be used to express and check simple properties, such as the external signature of a component, its internal flows of control, or even the continued visibility of a component on a display. This provides programmers with solutions for checking their components, ensuring non-regression, or working in a contract-oriented fashion with other UI development stakeholders.
Type de document :
Communication dans un congrès
7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), Jun 2015, Duisbourg, Germany. ACM, EICS '15 Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.276-285 2015, 〈10.1145/2774225.2774848〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal-enac.archives-ouvertes.fr/hal-01619784
Contributeur : Mathieu Magnaudet <>
Soumis le : jeudi 19 octobre 2017 - 16:35:57
Dernière modification le : vendredi 20 octobre 2017 - 17:43:05

Fichier

eics2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

ENAC | LII

Citation

Stéphane Chatty, Mathieu Magnaudet, Daniel Prun. Verification of properties of interactive components from their executable code. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), Jun 2015, Duisbourg, Germany. ACM, EICS '15 Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.276-285 2015, 〈10.1145/2774225.2774848〉. 〈hal-01619784〉

Partager

Métriques

Consultations de la notice

19

Téléchargements de fichiers

56