Real-time systems are those systems whose behaviors are time dependent. Reliability is one of the characteristics of such systems and testing is one of the techniques that can be used to ensure reliable real-time systems. This paper presents a method for testing real-time systems specified by Timed Input Output Automata (TIOA). Our method is based on the concept of test purposes. The use of tes...

The complexity of IT systems and the criticality of robust IT systems is constantly increasing. Testing a system requires consideration of different protocols and interfaces, which makes testing hard and expensive. Test automation is required to improve the quality of systems without cost explosion. Many standards like HTML and FTP are semi– formally defined in RFCs, which makes a generic algor...

Nowadays, telecom software applications are expected to run on a tremendous variety of execution environments. For example, network connection software must deliver the same functionalities on distinct physical platforms, which themselves run several distinct operating systems, with various applications and physical devices. Testing those applications is challenging as it is simply impossible t...

The pre-eminent role played by software composition, and more particularly service composition, in modern software development, together with the complexity of workflow languages such as WS-BPEL have made composite service testing a topical issue. In this article we contribute to this issue with an automatic testing approach for WSBPEL orchestrations. Compared to related work, we support WS-BPE...

Data mining (DM) involves the use of a suite of techniques that aim to induce from data, models that meet particular objectives. DM algorithms are built on a range of techniques, including information theory, statistics, linear and non-linear models, AI, meta-heuristics. Within the context of data analysis methods, data mining can be considered to be an exploratory knowledge discovery approach ...

Graphical User Interfaces (GUIs) are composed of virtual objects, widgets, which respond to events triggered by user actions. Therefore, test inputs for GUIs are event sequences that mimic user interaction. The nature of these sequences and the values for certain widgets, such as textboxes, causes a two-dimensional combinatorial explosion. In this paper we present Barad, a GUI testing framework...

Space vehicles will be subjected to high intensity impact during different stages of its course of application. High intensity explosive devices will be used in these vehicles for serving various functions like stage separation. These explosive devices will be attached to the space vehicles and once they are initiated high intensity impact will get produced due to explosion which will get trans...