Automatic model transformation from uml sequence diagrams to coloured petri nets
JAC Soares - 2017 - repositorio-aberto.up.pt
The dependence of our society on ever more complex software systems makes the task of
testing and validating this software increasingly important and challenging. In many cases …
testing and validating this software increasingly important and challenging. In many cases …
A survey on testing distributed and heterogeneous systems: The state of the practice
Distributed and heterogeneous systems (DHS), running over interconnected mobile and
cloud-based platforms, are used in a growing number of domains for provisioning end-to …
cloud-based platforms, are used in a growing number of domains for provisioning end-to …
Local observability and controllability analysis and enforcement in distributed testing with time constraints
Evermore end-to-end digital services depend on the proper interoperation of multiple
products, forming a distributed system, often subject to timing requirements. To ensure …
products, forming a distributed system, often subject to timing requirements. To ensure …
Local Observability and Controllability Enforcement in Distributed Testing
To ensure interoperability and the correct end-to-end behavior of heterogenous distributed
systems, it is important to conduct integration tests that verify the interactions with the …
systems, it is important to conduct integration tests that verify the interactions with the …