We investigate the evolution of a medium sized software package, sc LAPACK, through its public releases over the last six years and establish a correlation, at a subprogram level, between a simply computable software metric value and the number of coding errors detected in the released routines. We also quantify the code changes made between issues of the package and attempt to categorize the reasons for these changes. We then consider the testing strategy used with sc LAPACK. Currently this consists of a large number of mainly self-checking driver programs along with sets of configuration files. These suites of test codes run a very large number of test cases and consume significant amounts of cpu time. We attempt to quantify how successfu...
Finally, we formulate the relationship between code coverage and fault detection. Although our two c...
International audienceSystem reliability has become a main concern during the computer-based system ...
International audienceIn the context of functional verification, the focus has always been on hardwa...
We begin by using a software metric tool to generate a number of software complexity measures and we...
We look at how the application of software testing metrics affects the way in which we view the test...
Developing correct and efficient software for large scale systems is a challenging task. Developers ...
A challenge in software testing research area is presented by the question: how do we reduce time an...
We describe a number of results from a quantitative study of faults and failures in two releases of ...
Unit verification, including software inspections and unit tests, is usually the first code verifica...
From 1990 to 1993, a series of tests on numerical reliability ofdata analysis systems has been carri...
International audienceThe functional correctness of a software application is, of course, a prime co...
The distributions and relationships derived from the change data collected during the development of...
This paper reports on the design and the results of a randomised, controlled experiment estimating t...
International audienceGenerative software development has paved the way for the creation of multiple...
Petascale platforms with O(10{sup 5}) and O(10{sup 6}) processing cores are driving advancements in ...
Finally, we formulate the relationship between code coverage and fault detection. Although our two c...
International audienceSystem reliability has become a main concern during the computer-based system ...
International audienceIn the context of functional verification, the focus has always been on hardwa...
We begin by using a software metric tool to generate a number of software complexity measures and we...
We look at how the application of software testing metrics affects the way in which we view the test...
Developing correct and efficient software for large scale systems is a challenging task. Developers ...
A challenge in software testing research area is presented by the question: how do we reduce time an...
We describe a number of results from a quantitative study of faults and failures in two releases of ...
Unit verification, including software inspections and unit tests, is usually the first code verifica...
From 1990 to 1993, a series of tests on numerical reliability ofdata analysis systems has been carri...
International audienceThe functional correctness of a software application is, of course, a prime co...
The distributions and relationships derived from the change data collected during the development of...
This paper reports on the design and the results of a randomised, controlled experiment estimating t...
International audienceGenerative software development has paved the way for the creation of multiple...
Petascale platforms with O(10{sup 5}) and O(10{sup 6}) processing cores are driving advancements in ...
Finally, we formulate the relationship between code coverage and fault detection. Although our two c...
International audienceSystem reliability has become a main concern during the computer-based system ...
International audienceIn the context of functional verification, the focus has always been on hardwa...