DocumentCode :
2243723
Title :
Assessment of a sampling method for measuring safety-critical software reliability
Author :
Bastani, Farokh ; Pasquini, Alberto
Author_Institution :
Dept. of Comput. Sci., Houston Univ., TX, USA
fYear :
1994
fDate :
6-9 Nov 1994
Firstpage :
93
Lastpage :
102
Abstract :
The paper addresses the issue of using sampling to assess the reliability of safety-critical software. Several factors are considered, such as the number of test cases required, modifications in the program, determining the operational profile, generating test cases, and checking the correctness of the output. The problems are classified into two broad categories: those that can be overcome via advances in technology and those that are more fundamental in nature. The general conclusion is that, in principle, a combination of testing and verification will be successful in measuring ultrahigh software reliability
Keywords :
program testing; program verification; safety-critical software; software metrics; operational profile; safety-critical software reliability; sampling method; test cases; verification; Computer science; Control systems; Debugging; Power system modeling; Sampling methods; Software measurement; Software reliability; Software safety; Software testing; Vehicle safety;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on
Conference_Location :
Monterey, CA
Print_ISBN :
0-8186-6665-X
Type :
conf
DOI :
10.1109/ISSRE.1994.341358
Filename :
341358
Link To Document :
بازگشت