Alberto Pasquini

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)
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)
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 sof iare used for process control. In other cases, a single operational profile may not be suf@cient to describe the use of the(More)
Designing systems in such a way that as much functions as possible are automated has been the driving direction of research and engineering both in aviation and in computer science for many years. In the 80’s many studies (e.g. [1] and [8] related to the notion of mode confusion) have demonstrated that fully automated systems are out of the grasp of current(More)
A new approach to software reliability modeling is discussed where variables indirectly related with software reliability are used to provide additional information for the modeling process. Previous studies, empirical and theoretical evidences, and results from experiments indicate that there is a strong relationship between software reliability and(More)
Safety-critical systems require an assessment activity to verify that they are able to perform their functions in specified use environments. This activity benefits from evaluation methods that consider these systems as a whole and not as the simple sum of their parts. Indeed, analysis of accidents involving such systems has shown that they are rarely due(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)
Experimentalevaluationof softww reliability modelsthat dependon the soumecodeof the targetprogramis 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 filtered(More)