Automatic Generation of Test Oracles from Component Based Software Architectures - Testing Software and Systems
Conference Papers Year : 2019

Automatic Generation of Test Oracles from Component Based Software Architectures

Maxime Samson
  • Function : Author
  • PersonId : 1067236
Thomas Vergnaud
  • Function : Author
  • PersonId : 1067237

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Identifiers

Cite

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 View
59 Download

Altmetric

Share

More