Searched for:
(1 - 8 of 8)
document
Lopes, J.P. (author), Oliveira, R.A. (author), Abreu, M.I. (author)
It has long been recognised that the role of the construction industry in socio-economic development goes beyond its share in national output. A number of studies have focused on the issue of employment creation others have emphasised its multiplier effect on other sectors of the economy. The role of construction infrastructure in the process of...
conference paper 2011
document
Gonzalez-Sanchez, A. (author), Abreu, R. (author), Gross, H. (author), Van Gemund, A. (author)
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,...
report 2010
document
Gonzalez-Sanchez, A. (author), Abreu, R. (author), Gross, H. (author), Van Gemund, A. (author)
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...
report 2010
document
Abreu, R. (author)
Locating software components that are responsible for observed failures is a time-intensive and expensive phase in the software development cycle. Automatic fault localization techniques aid developers/testers in pinpointing the root cause of software failures, as such reducing the debugging effort. Automatic fault localization has been an...
doctoral thesis 2009
document
Abreu, R.F. (author), Zoeteweij, P. (author), Van Gemund, A.J.C. (author)
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...
report 2008
document
Abreu, R.F. (author), Gonzalez, A. (author), Zoeteweij, P. (author), Van Gemund, A.J.C. (author)
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...
report 2008
document
Van Gemund, A.J.C. (author), Abreu, R.F. (author), Zoeteweij, P. (author)
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...
report 2008
document
Abreu, R. (author), Zoeteweij, P. (author), Van Gemund, A.J.C. (author)
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...
report 2006
Searched for:
(1 - 8 of 8)