Component-aware Input-Output Conformance - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2019

Component-aware Input-Output Conformance

Résumé

Black-box conformance testing based on a compositional model of the intended behaviour is a very attractive approach to validate the correctness of an implementation. In this context, input-output conformance is a scientifically well-established formalisation of the testing process. This paper discusses peculiar problems arising in situations where the implementation is a monolithic black box, for instance for reasons of intellectual property restrictions, while the specification is compositional. In essence, tests need to be enabled to observe progress in individual specification-level components. For that, we will reconsider input-output conformance so that it can faithfully deal with such situations. Refined notions of quiescence play a central role in a proper treatment of the problem. We focus on the scenario of parallel components with fully asynchronous communication covering very many notorious practical examples. We finally illustrate the practical implications of component-aware conformance testing in the context of a prominent example, namely networked embedded software.
Fichier principal
Vignette du fichier
478668_1_En_7_Chapter.pdf (329.68 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02313733 , version 1 (11-10-2019)

Licence

Identifiants

Citer

Alexander Graf-Brill, Holger Hermanns. Component-aware Input-Output Conformance. 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.111-128, ⟨10.1007/978-3-030-21759-4_7⟩. ⟨hal-02313733⟩
56 Consultations
55 Téléchargements

Altmetric

Partager

More