Automatic Generation of Test Oracles from Component Based Software Architectures - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2019

Automatic Generation of Test Oracles from Component Based Software Architectures

Maxime Samson
  • Fonction : Auteur
  • PersonId : 1067236
Thomas Vergnaud
  • Fonction : Auteur
  • PersonId : 1067237

Résumé

In a software development process, the integration and verification of the different parts of the application under development often require a lot of effort. Component Based Software Engineering (CBSE) approaches help cut software integration costs by enabling the automatic generation of data types, method signatures and middleware configuration from a model of the application structure. Model Based Testing (MBT) techniques help cut software verification costs by enabling the automatic generation of test oracles from a model of the expected application behaviour. Models for CBSE and MBT are usually separate. This may result in discrepancies between them, especially when the application architecture is updated, which always happens.In this paper, we describe how to rely on a single CBSE model to produce both code generation and oracles for some tests, thus ensuring consistency between them. Our work is based on existing OMG standards, mainly UCM and UML.
Fichier principal
Vignette du fichier
482770_1_En_16_Chapter.pdf (290.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02526345 , version 1 (31-03-2020)

Licence

Identifiants

Citer

Maxime Samson, Thomas Vergnaud. Automatic Generation of Test Oracles from Component Based Software Architectures. 31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.261-269, ⟨10.1007/978-3-030-31280-0_16⟩. ⟨hal-02526345⟩
73 Consultations
59 Téléchargements

Altmetric

Partager

More