Abstract | ||
---|---|---|
•Testing is a crucial part of the software development lifecycle.•Choreographic models can support model-based testing of message-passing systems.•Abstract tests can be derived from the global view of a protocol.•The tests complement the correctness-by-construction approach usual in choreographies.•As components evolve, generated tests can still offer some assurances of correctness. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1016/j.jlamp.2021.100712 | Journal of Logical and Algebraic Methods in Programming |
Keywords | DocType | Volume |
Model-based testing,Choreography,Communicating finite state machines,Projection,Well-formedness | Journal | 123 |
ISSN | Citations | PageRank |
2352-2208 | 0 | 0.34 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alex Coto | 1 | 0 | 0.34 |
Roberto Guanciale | 2 | 54 | 5.05 |
Emilio Tuosto | 3 | 499 | 42.62 |