Skip to Main content Skip to Navigation
Conference papers

Automatic Generation of Test Oracles from Component Based Software Architectures

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.
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-02526345
Contributor : Hal Ifip <>
Submitted on : Tuesday, March 31, 2020 - 3:13:33 PM
Last modification on : Tuesday, March 31, 2020 - 4:00:59 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

55