The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Software fault tolerance is an important issue when using software systems in safety-critical applications. In such systems, software robustness is an essential requirement for improving software fault tolerance. Since an operating system (OS) is a major part of a safety-critical system, its robustness has considerable influence on the system's overall robustness. In recent years, researchers have...
The aim of robustness testing is to characterize the behavior of a system in the presence of erroneous or stressful input conditions. It is a well-established approach in the dependability community, which has a long tradition of testing based on fault injection. However, a recurring problem is the insufficient documentation of experiments, which may prevent their replication. Our work investigates...
Attitude and Orbit Control System (AOCS) is one subsystem of the Service Module of a satellite which mostly endures faults in space operations. The criticality and complex nature of the subsystem demands an extensive effort in its integration and controller's software testing, mainly for validating the Fault Detection, Identification and Recovery (FDIR) requirements. This paper presents a proposal...
Aspect-Oriented Modeling (AOM) has been the subject of intense research over the last decade and aims to provide numerous benefits to modeling, such as enhanced modularization, easier evolution, higher quality as well as reduced modeling effort. However, these benefits can only be obtained at the cost of learning and applying new modeling approaches. Studying their applicability is therefore important...
Comparison with a golden run is commonly used as an oracle in robustness testing based on fault injection. However, traditional comparison algorithms present, among other limitations, requires the system under test to present, for the same workload, the same behavior, either in presence or in absence of faults. We present an approach that uses a pair wise sequence alignment algorithm in the comparison...
We propose in this paper, a robustness testing method of composite Web services. Our method aims to automatically test operations robustness which are provided by the involved Web services in the composition. Symbolic specification, used as a composition model is first translated into a symbolic execution tree that characterizes the execution paths followed during the symbolic execution. Then, from...
The next generation of critical systems requires an efficient, scalable and robust data dissemination infrastructure. Middleware solutions compliant with the novel OMG standard, called Data Distribution Service (DDS), are being traditionally used for architecting large-scale systems, because they well meet the requirements of scalability, seamless decoupling and fault tolerance. Due to such features,...
Service compositions are increasingly used for the fast development of loosely-coupled dynamic distributed applications. Such compositions are prone to potential failures arising from their complex interaction scheme and from various kinds of network problems. Functional testing could overlook such failures, hence we claim it is important to specifically consider test cases for validating how the...
Testing Web Services (WS) for robustness is a lengthy and arduous process. After testing a set of services, there is typically a very large quantity and variety of test results to be analyzed, which poses a challenge to the developer that has to manually process all results and identify the out-puts that indicate the presence of bugs in the code. Previous research indicates that well-known automatic...
Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for testing the robustness of Web 2.0 applications based on their Document Object Models (DOMs). DoDOM repeatedly executes the application under a trace of recorded user actions and observes the client-side behavior of the application...
Web Services fall under the so-called emerging technologies category and are getting more and more used for Internet applications or business transactions. Since Web Services are often the foundation of large applications, they need to be reliable and robust. So, we propose in this paper, a robustness testing method of stateful Web Services, modeled with Symbolic Transition Systems. We analyze the...
Recently with the rapid growth of network and changes of business environment, the enterprises require the integration of various information systems and their interoperation. The SOA (service oriented architecture) based on Web services is widely used for integration of these information systems. And as the standard integration language for the business processes, BPEL (business process execution...
Many architecture-centred approaches have been proposed for constructing dependable component-based systems. However, few of them provide an integrated solution for their development that combines fault prevention, fault removal, and fault tolerance techniques. This paper proposes a rigorous development approach based on an architectural abstraction, which combines formal methods and robustness testing...
Robustness testing is a widely accepted approach to detect potential robustness weaknesses. However, the existing robustness testing approach suffers from some limitations, especially lacking support for automatic extraction of the SUT(System Under Test) specification knowledge, such as input syntax and interaction scenario. Such information is crucial for robustness test generation. In this paper,...
This paper deals with communicating system robustness testing by proposing a method for checking the correct behaviour of the Implementation Under Test (IUT) in unexpected situations. This formal method takes specifications written with IOLTS and generates robustness test cases by using the ioco theory. IOLTS are used to model many systems like distributed ones or Web service compositions. We present...
Network protocols often have time constraints. Robustness testing of protocol with time constraints aims to detect vulnerabilities of its implementation. However, related theory is not well developed. This paper proposes a novel Timed NPEFSM model containing sufficient inputs with various time values and their processing rules to formalize protocol with time constraints. In order to test delay transitions,...
Identification of the optimal operating conditions and evaluation of their sensibility to changes in certain critical factors are critical issues for the industrial application of electrostatic separation techniques. The authors have already elaborated a procedure for set-point identification and robustness testing of a roll-type corona-electrostatic separation process. The aim of this paper is to...
Robustness is an important aspect for reactive embedded systems. In this paper, we present two complementary approaches dedicated to test the robustness of reactive systems specified in the IOLTS model. The first approach uses the specification to build a hazards matrix permitting to generate cases. The other one is based on two specifications, a nominal and a degraded one describing the minimal required...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.