An Abstract Framework for Choreographic Testing
Copyright policy )An Abstract Framework for Choreographic Testing
We initiate the development of a model-driven testing framework for message-passing systems. The notion of test for communicating systems cannot simply be borrowed from existing proposals. Therefore, we formalize a notion of suitable distributed tests for a given choreography and devise an algorithm that generates tests as projections of global views. Our algorithm abstracts away from the actual projection operation, for which we only set basic requirements. The algorithm can be instantiated by reusing existing projection operations (designed to generate local implementations of global models) as they satisfy our requirements. Finally, we show the correctness of the approach and validate our methodology via an illustrative example.
In Proceedings ICE 2020, arXiv:2009.07628
- Royal Institute of Technology Sweden
- Gran Sasso Science Institute Italy
- University of Leicester United Kingdom
- KUNGLIGA TEKNISKA HOEGSKOLAN Sweden
- KTH Sweden
FOS: Computer and information sciences, Specification and verification (program logics, model checking, etc.), communicating finite-state machines, D.2.5, Formal Languages and Automata Theory (cs.FL), choreography, D.2.4, projection, Computer Science - Formal Languages and Automata Theory, Software Engineering (cs.SE), model-based testing, Computer Science - Software Engineering, well-formedness, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), D.2.4; D.2.5
FOS: Computer and information sciences, Specification and verification (program logics, model checking, etc.), communicating finite-state machines, D.2.5, Formal Languages and Automata Theory (cs.FL), choreography, D.2.4, projection, Computer Science - Formal Languages and Automata Theory, Software Engineering (cs.SE), model-based testing, Computer Science - Software Engineering, well-formedness, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), D.2.4; D.2.5
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).6 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!