Abstract
Experimental evaluation of software reliability models that depend on the source code of the target program is expensive due to the need for a large sample of programs. This paper describes the use of program mutation to generate many versions of one of the more complex components comprising a hypothetical but realistic nuclear reactor safety control program. Trivial mutants were filtered by using branch and path testing. These programs were used to assess a fuzzy set based measure of program correctness. The results confirmed that the model is conservative. In addition, the experiments provided new insights into the model, including reassessment of its assumptions and directions for refining it.
Bastani, F B;
[1]
Di Marco, G;
Pasquini, A
[2]
- Houston Univ., Clear Lake, TX (United States)
- ENEA, Rome (Italy). Direzione Sicurezza Nazionale e Protezione Sanitaria
Citation Formats
Bastani, F B, Di Marco, G, and Pasquini, A.
Experimental evaluation of fuzzy-set based measure of software correctness using program mutation.
Italy: N. p.,
1993.
Web.
Bastani, F B, Di Marco, G, & Pasquini, A.
Experimental evaluation of fuzzy-set based measure of software correctness using program mutation.
Italy.
Bastani, F B, Di Marco, G, and Pasquini, A.
1993.
"Experimental evaluation of fuzzy-set based measure of software correctness using program mutation."
Italy.
@misc{etde_10124752,
title = {Experimental evaluation of fuzzy-set based measure of software correctness using program mutation}
author = {Bastani, F B, Di Marco, G, and Pasquini, A}
abstractNote = {Experimental evaluation of software reliability models that depend on the source code of the target program is expensive due to the need for a large sample of programs. This paper describes the use of program mutation to generate many versions of one of the more complex components comprising a hypothetical but realistic nuclear reactor safety control program. Trivial mutants were filtered by using branch and path testing. These programs were used to assess a fuzzy set based measure of program correctness. The results confirmed that the model is conservative. In addition, the experiments provided new insights into the model, including reassessment of its assumptions and directions for refining it.}
place = {Italy}
year = {1993}
month = {Dec}
}
title = {Experimental evaluation of fuzzy-set based measure of software correctness using program mutation}
author = {Bastani, F B, Di Marco, G, and Pasquini, A}
abstractNote = {Experimental evaluation of software reliability models that depend on the source code of the target program is expensive due to the need for a large sample of programs. This paper describes the use of program mutation to generate many versions of one of the more complex components comprising a hypothetical but realistic nuclear reactor safety control program. Trivial mutants were filtered by using branch and path testing. These programs were used to assess a fuzzy set based measure of program correctness. The results confirmed that the model is conservative. In addition, the experiments provided new insights into the model, including reassessment of its assumptions and directions for refining it.}
place = {Italy}
year = {1993}
month = {Dec}
}