Learn More
An important question in software testing is whether it is reasonable to apply coverage based criteria as a lter to reduce the size of a test set. An empirical study was conducted using a test set minimization technique to explore the eeect of reducing the size of a test set, while keeping block coverage constant, on the fault detection strength of the(More)
The estimation of the operational profile is one of the key factors during the use of software reliability growth models. But, the operational projle can be very dgficult to estimate in particular applications such as the one of sofiare used for process control. In other cases, a single operational profile may not be suf@cient to describe the use of the(More)
This paper describes an attempt to use the approach developed by the SQUIDproject, which was part of the ESPRIT 3 programme, to define the software quality requirements of the Telescience project. The SQUID project developed its approach to quality modelling in parallel with ongoing feedback from testing that approach on the Telescience project, which was(More)
Using arguments based on an analysis of the state of the art in the eld of software reliability estimation and related practice, we warn practitioners that the road to reliability estimation is fraught with peril. Our analysis is based on several factors, with key factors including (a) diiculties in estimating accurate operational prooles, and (b)(More)
This paper presents and discusses the application of safety assessment methodologies to a pre-operational project in the Air Traffic Control field. In the case analysed in the present paper a peculiar aspect was the necessity to effectively assess new operational procedures and tools. In particular we exploited an integrated methodology to evaluate(More)
Experimentalevaluation of softww reliability modelsthat dependon the soumecode of the targetprogram is expensive due to the need for a large sample of programs. We have used program mutation to generate many versions of one of the more complex components comprising a hypothetical but mlistic nuclear reactor safety control program. Trivial mutants were(More)
An experiment was conducted to evaluate an inter-procedural test adequacy criterion named Interface Mutation. Program SPACE, developed for the European Space Agency (ESA), was used in this experiment. The development record available for this program was used to find the faults uncovered during its development. Using this information the test process was(More)