%0 Conference Proceedings
%T Automatic Generation of Test Oracles from Component Based Software Architectures
%+ Thales Services
%A Samson, Maxime
%A Vergnaud, Thomas
%Z Part 6: Industrial Applications
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 31th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Paris, France
%Y Christophe Gaston
%Y Nikolai Kosmatov
%Y Pascale Le Gall
%I Springer International Publishing
%3 Testing Software and Systems
%V LNCS-11812
%P 261-269
%8 2019-10-15
%D 2019
%R 10.1007/978-3-030-31280-0_16
%K Component Based Software Engineering
%K Model based testing
%K UCM
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-02526345/document
%2 https://inria.hal.science/hal-02526345/file/482770_1_En_16_Chapter.pdf
%L hal-02526345
%U https://inria.hal.science/hal-02526345
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-11812