A Runtime Testability Metric for Dynamic High-Availability Component-based Systems

Runtime testing is emerging as the solution for the integration and assessment of highly dynamic, high availability software systems where traditional development-time integration testing cannot be performed. A prerequisite for runtime testing is the knowledge about to which extent the system can be tested safely while it is operational, i.e.,...

Runtime Testability in Dynamic Highly-Availability Component-based Systems

Runtime testing is emerging as the solution for the integration and assessment of highly dynamic, high availability software systems where traditional development-time integration testing cannot be performed. A prerequisite for runtime testing is the knowledge about to which extent the system can be tested safely while it is operational, i.e.,...

Improving the software fault localization process through testability information

When failures occur during software testing, automated software fault localization helps to diagnose their root causes and identify the defective components of a program to support debugging. Diagnosis is carried out by selecting test cases in such way that their pass or fail information will narrow down the set of fault candidates, and,...

A diagnostic approach to test priorization

In development processes with high code production rates testing typically triggers fault diagnosis to localize the detected failures. However, current test prioritization algorithms are tuned for failure detection rate rather than diagnostic information. Consequently, unnecessary diagnostic effort might be spent to localize the faults. We...

Dealing with Uncertainty in Operational Transport Planning

An important problem in transportation is how to ensure efficient operational route planning when several vehicles share a common road infrastructure with limited capacity. Examples of such a problem are route planning for automated guided vehicles in a terminal and route planning for aircraft taxiing at airports. Maintaining efficiency in such...

Prioritizing tests for software fault localization

Paper submitted for review at QSIC'10 Test prioritization techniques select test cases that maximize the confidence on the correctness of the system when the resources for quality assurance (QA) are limited. In the event of a test failing, the fault at the root of the failure has to be localized, adding an extra debugging cost that has to be...

Techniques for Diagnosing Software Faults

This technical report is meant to report our findings and ideas with respect to spectrum-based fault localization and modelbased diagnosis. In the following we want to introduce and compare model-based diagnosis (MBD), spectrum-based fault localization (SFL) and our contributions using 3-inverters as a running example (which is simple, yet...

On the Performance of Fault Screeners in Software Development and Deployment

Preprint of paper published in: ENASE 2008 - Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering, 4-7 May 2008 Fault screeners are simple software (or hardware) constructs that detect variable value errors based on unary invariant checking. In this paper we evaluate and compare the...

Diagnosing Intermittent Faults

In this working report we outline how to determine the intermittency parameters gj from the activity matrix A (context: DX’08 paper Abreu, Zoeteweij, Van Gemund). We start with the single fault (SF) case and show that averaging over the error vector e is the exact way. We also show that in this way the probability of obtaining exactly this e...

Program spectra analysis in embedded software: A case study

Because of constraints imposed by the market, embedded software in consumer electronics is almost inevitably shipped with faults and the goal is just to reduce the inherent unreliability to an acceptable level before a product has to be released. Automatic fault diagnosis is a valuable tool to capture software faults without extra effort spent...

All Roads Lead to Fault Diagnosis: Model-Based Reasoning with LYDIA

Model-Based Reasoning (MBR) over qualitative models of complex, real-world systems has proven succesful for automated fault diagnosis, control, and repair. Expressing a system under diagnosis in a formal model and infering a diagnosis given observations are both challenging problems. In this paper we address these challenges. By building a fault...

Modeling Multi-threaded Architectures in PAMELA for Real-time High Performance Applications

The Importance of Synchronization Structure in Parallel Program Optimization

Spar: A programming language for semi-automatic compilation of parallel programs

On the loss of parallelism by imposing synchronization structure

Automatic Parallel Program Generation and Optimization from Data Decompositions

A Method for Parallel Program Generation with an Application to the Booster Language