Abstract
UML Sequence Diagrams are used in different domains for specifying the required behaviour of software-based systems. However, the created diagrams are often used only as documentation, and not as a basis for generating subsequent lifecycle artifacts or for automated analysis. Several authors have proposed the transformation of Sequence Diagrams to executable Coloured Petri Nets (CPN), for simulation and testing purposes, but the transformations are not automated or are implemented in an ad-hoc way. To overcome those limitations, we present in this paper an approach to automatically translate Sequence Diagrams to CPN ready for execution with CPN Tools, taking advantage of model-to-model transformation techniques provided by the Eclipse Modelling Framework (EMF). The transformation rules are implemented in the Epsilon Transformation Language. We use the standard UML metamodel provided by EMF and the CPN metamodel provided by CPN Tools, so any Sequence Diagram created with an EMF compliant modelling tool can be transformed. An application example is presented to better illustrate the approach. Copyright

Abstract

Abstract
In a growing number of domains, the provisioning of end-to-end services to the users depends on the proper interoperation of multiple systems, forming a new distributed system, often subject to timing constraints. To ensure interoperability and integrity, it is important to conduct integration tests that verify the interactions with the environment and between the system components in key scenarios. To tackle test automation challenges, we propose algorithms for decentralized conformance checking and test input generation, and for checking and enforcing the conditions (local observability and controllability) that allow decentralized test execution.

Abstract

Abstract
The Internet of Things (IoT) is expected to bring forward new promising solutions in various domains. Consequently, it can impact many aspects of everyday life, and errors can have serious consequences. Despite this, there is a lack of standard testing processes and methods, which poses a major challenge for IoT testing. Nonetheless, closer examination makes it possible to identify a set of recurring behaviors of IoT applications and a set of corresponding test strategies. This paper formalizes the notion of a Pattern-Based IoT Testing method for systematizing and automating the testing of IoT ecosystems. It consists in a set of test strategies for recurring behaviors of the IoT system, which can be defined as IoT Test Patterns.

Abstract
The emergence of Internet of Things (IoT) technology is expected to offer new promising solutions in various domains and, consequently, impact many aspects of everyday life. However, the development and testing of software applications and services for IoT systems encompasses several challenges that existing solutions have not yet properly addressed. Particularly, the difficulty to test IoT systems-due to their heterogeneous and distributed nature-, and the importance of testing in the development process give rise to the need for an efficient way to implement automated testing in IoT. Although there are already several tools that can be used in the testing of IoT systems, a number of issues can be pointed out, such as focusing on a specific platform, language, or standard, limiting the possibility of improvement or extension, and not providing out-of-The-box functionalities. This paper describes Izinto, a pattern-based test automation framework for integration testing of IoT systems. The framework implements in a generic way a set of test patterns specific to the IoT domain which can be easily instantiated for concrete IoT scenarios. It was validated in a number of test cases, within a concrete application scenario in the domain of Ambient Assisted Living (AAL). © 2018 ACM.