Dependability certification of software components

Journal of Systems and Software

Volumn 52, Issue 2, 2000, Pages 165-172

  Voas, Jeffrey ^a   Payne, Jeffery ^a  

^a Cigital   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTRACTS; ERROR ANALYSIS; FINANCIAL DATA PROCESSING; JAVA PROGRAMMING LANGUAGE; MARKETING; QUALITY ASSURANCE; SOCIETIES AND INSTITUTIONS;

COMPONENT DEPENDABILITY VALIDATION; DEPENDABILITY CERTIFICATION; LEGAL PENALTIES; SOFTWARE COMPONENTS; TEST QUALITY RATING;

SOFTWARE ENGINEERING;

EID: 0034207571     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(99)00143-0     Document Type: Article

References (14)

1. Ammann P.E., Brilliant S.S., Knight J.C. The effect of imperfect error detection on reliability assessment via life testing. IEEE Transactions on Software Engineering. 20(2):1994;142-148.
2. Demillo R.A., Lipton R.J., Sayward F.G. Hints on test data selection: Help for the practicing programmer. IEEE Computer. 11(4):1978;34-41.
3. Friedman, M., Voas, J., 1995. Software Assessment: Reliability, Safety, Testability. Wiley, New York. ISBN 0471-01009-X
4. Hoeffding W. Probability inequalities for sums of bounded random variables. American Statistical Association Journal. 1963;13-30.
5. Michael, C.C., 1996. On the regularity of error propagation in software. Technical report, Reliable Software Technologies Corporation, Sterling, Virginia Research Division. Technical Report. RSTR-96-003-04
6. Musa, J.D., Iannino, A., Okumoto, K., 1987. Software Reliability Measurement Prediction Application. McGraw-Hill, New York. ISBN 0-07-044093-X
7. Myers G. The Art of Software Testing. 1979;Interscience Wiley, New York.
8. Voas J. PIE: A dynamic failure-based technique. IEEE Trans. Software Engineering. 18(8):1992;717-727.
9. Voas J. How assertions can increase test effectiveness? IEEE Software. 14(2):1997;118-119.
10. Voas, J., Kassab, L., 1999. Using assertions to make untestable software more testable. Software Quality Professional 23
11. Voas, J., McGraw, G., 1998. Software Fault Injection: Inoculating Programs Against Errors, Wiley, New York
12. Voas, J., Miller, K., 1992a. Improving the Software Development Process Using Testability Research. In: Proceedings of the Third International Symposium on Software Reliability Engineering. Research Triangle Park, NC, IEEE Computer Society, pp. 114-121
13. Voas J., Miller K. The revealing power of a test case. Journal of Testing Verification and Reliability. 2(1):1992;25-42.
14. Voas J., Miller K. Software testability: The new verification. IEEE Software. 12(3):1995;17-28.