Assisting the Automation of Metamorphic Testing in WS-BPEL Compositions
Web services are software parts used to exchange data between applications through a set of protocols and standards, regardless of the programming language in which have been developed or the platform in which they are running. New technologies increase the importance of web services and the social impact these are having creates the necessity of better testing techniques for web services compositions. One of the proposed testing techniques for WS-BPEL compositions is metamorphic testing.
There are certain problems in recognizing some metamorphic relations in order to apply the technique of metamorphic testing, especially those related to the context of the problem that the composition is solving, due to the human knowledge necessary to detect some particularities. This work is intended to assist obtaining these metamorphic relations, contemplating the development of a software capable of automatize part of the analysis phase of obtaining properties from WS-BPEL compositions.
The main purpose of this software is to generate information that helps obtaining metamorphic relations. Through an analysis of a WS-BPEL composition, selected information is generated and printed in a report, which can be viewed in two formats. One of them is ready to be read by other software, while the other present a reading format designed to help the user to analyse the composition.
Scalable Plug and Play Wireless Sensor Networks
There are different application fields where microcontrollers are hard accessible after deploying. An overview of the idea of remote configura- tion, extension (Upgrade Over The Air - UOTA) and programming (Flash Over The Air - FOTA) of ZigBee based microcontrollers will be presented. The microcontrollers are based on ATmega256RFR2 from Atmel and are designed by the FRA-UAS WSN IoT group. The programming of the mi- crocontrollers is divided in three steps which are themselves fully working solutions for different areas of use. The final result gives the possibility of flashing microcontrollers through the internet. They can be controlled by a graphical user interface. One solution proposes that the firmware in- cludes more hardware than needed from the beginning on. Based on this architecture the necessary hardware can be plugged in later and controlled by the graphical user interface. The next solution idea is using an external file stored in the non-volatile memory of the microcontrollers. This gives the ability to replace a sensor by a newer version and to adapt parameters by changing the file in the memory or through the graphical user interface. The third solution is to flash the microcontrollers remotely. There is no programmer needed which is used while flashing locally microcontrollers. This scheme is realized by sending the locally programmed firmware to the microcontrollers which flashes itself. This step has two subparts flashing from inside a ZigBee network and from an external source through the internet. All shown solutions can be used for animal telemetry, monitoring buildings or in the medical section.
Tatiana Person
Graphic representation of event pattern hierarchies in MEdit4CEP
Currently, companies generate large volumes of data, which are stored in databases; technologies such as Big data, Fast data or Smart data emerge with the goal of processing the named data. Data processing may result on an improvement of company business processes, but for an efficient processing of huge amount of data event patterns definition might be required. Such event patterns, which have to be deployed in a particular system, may contain interdependencies, becoming stronger when the system complexity increases (more event patterns defined in the same system). These pattern dependencies are of high relevance since they affect seriously to the order in which the patterns might be deployed in the system or deleted from it. For this reason, it is necessary to be aware of the dependencies between the defined event patterns and to obtain the corresponding hierarchy. In this work, we present both a graphical Domain-Specific Language (DSL) based on ModeL4CEP and a tool extending MEdit4CEP, a model-driven approach that allows the definition and automatic code generation of event patterns through a graphical editor. This way a solution to represent a graphical hierarchy of dependencies between the event patterns defined for a particular domain is provided.