Towards a theory for integration of mathematical verification and empirical testing

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 322-331

  Lowry, M ^a   Boyd, M ^a   Kulkami, D ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BLACK-BOX TESTING; FAULT DETECTION; FORMAL VERIFICATION; NASA; RELIABILITY THEORY; SOFTWARE RELIABILITY;

COVERAGE ANALYSIS; EMPIRICAL TECHNIQUES; EMPIRICAL TESTING; OPTIMAL COMBINATION; PROJECT MANAGERS; SOFTWARE FAULT DETECTION; VERIFICATION TECHNIQUES; VERIFICATION-AND-VALIDATION;

INTEGRATION TESTING;

EID: 0010053706     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.1998.732690     Document Type: Conference Paper

References (9)

1. Bischof, C., and A. Griewank. "Tools for the automatic differentiation of computer programs", in ICIAM/GAMM 95: Issue I: Numeric & Analysis, Scientific Computing, Computer Science, edited by G. Alefeld, 0. Mahrenholtz, and R. Mennicken, pp. 267-272.
2. DO-178B: Software Consideration in Airborne Systems and Equipment Certfication. Requirements and Technical Concepts for Aviation. Washington, D.C. December, 1992.
3. Gill, P. E., Murray, W. and M. Wright. Practical Optimization, Academic Press, 198 1.
4. Lowry, M., Boyd, M., and D. Kulkarni. "Towards a Theory for Integration of Mathematical Verification and Empirical Testing, " NASA Ames Technical Memorandum, September 1998.
5. Lyu, M. Handbook of Software Reliability Eneineering, IEEE Computer Society Press, 1996.
6. Musa, J., Iannino, A., and K. Okumoto. Software Reliabilitv: Measurement. Prediction. Auolication, MacGraw-Hill, New York, 1987.
7. Muss, J., Fuoco, G. Irving, N., and D. Kropfl. "% Operational Profile, " in Handbook of Software Reliabilitv Engineering, M. Lyu (ed.), IEEE Computer Society Press, 1996.
8. Rushby, J., and D. Stringer-Calvert. A Tutorial for the PVS Specification and Verfication Systems, SRICSL-95-10, 1995.
9. M. Young and R. Taylor. "Rethinking the Taxonomy of Fault Detection Techniques, " in Proceedings of International Conference on Software Engineering, 1989.