Predicting how badly "good" software can behave

IEEE Software

Volumn 14, Issue 4, 1997, Pages 73-83

  Voas, Jeffrey ^a,d   Charron, Frank ^a   Mcgraw, Gary ^a   Miller, Keith ^b   Friedman, Michael ^c  

^a Cigital   (United States)

^b UNIVERSITY OF ILLINOIS AT SPRINGFIELD   (United States)

^c Hughes Electronics   (United States)

^d RST Corp   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STATE ERRORS; EXTENDED PROPAGATION ANALYSIS (EPA); PISCES SAFETY NET (PSN); SIMULATED INFECTIONS; WHITEBOX SOFTWARE ANALYSIS TOOLKIT;

CODES (SYMBOLS); COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; COMPUTER SOFTWARE PORTABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR CORRECTION; FAILURE ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; PERTURBATION TECHNIQUES; PROBABILITY; SET THEORY;

SOFTWARE ENGINEERING;

EID: 0031187577     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.595959     Document Type: Article

References (15)

1. J. Voas and K. Miller, "Dynamic Testability Analysis for Assessing Fault Tolerance," High Integrity Systems J., Vol. 1, No. 2, 1994, pp. 171-178.
2. M. Friedman and J. Voas, Software Assessment: Reliability, Safety, Testability, John Wiley & Sons, New York, 1995.
3. K.N. King and A.J. Offutt, "A Fortran Language System for Mutation-Based Software Testing," Software - Practice and Experience, Vol. 27, No. 7, July 1991, pp. 685-718.
4. R.A. Demillo, R.J. Lipton, and F.G. Sayward, "Hints on Test Data Selection: Help for the Practicing Programmer," Computer, Apr. 1978, pp. 34-41.
5. J.J. Marciniak, Encyclopedia of Software Engineering, John Wiley & Sons, New York, 1994.
6. H.D. Mills, On the Statistical Validation of Computer Programs, IBM Federal Systems Division, Report FSC-72-6015, Gaithersburg, Md., 1972.
7. D.J. Lawson, "Failure Mode, Effect, and Criticality Analysis," Electronic Systems Effectiveness and Life Cycle Costing, J.K. Skwirzynski, ed., NATO ASI Series, F3, Springer-Verlag, Heidelberg, Germany, 1983, pp. 55-74.
8. J. Voas, C.C. Michael, and K. Miller, "Using Fault-Injection to Assess Software Engineering Standards," Proc. Pacific Northwest Software Quality Conf, Pacific Northwest Software Quality Conference, Portland, Ore., 1995, pp. 318-336.
9. J.D. Musa, "Operational Profiles in Software Reliability Engineering," IEEE Software, Mar. 1993, pp. 14-32.
10. M. Elder and J. Knight, "Specifying User Interfaces for Safety-Critical Medical Systems, Proc. 2nd Annual Int'l Symp. Medical Robotics and Computer Assisted Surgery, Wiley-Liss, New York, 1995, pp. 148-155.
11. M.A. Friedman, "Bart Advanced Automated Train Control System Safety Concepts," Proc. American Public Transit Assoc. Convention, American Public Transit Assoc., Washington, D.C., 1995.
12. J. Voas and K. Miller, "Software Testability: The New Verification," IEEE Software, May 1995, pp. 17-28.
13. J. Voas et al., "Defining an Adaptive Software Security Metric from a Dynamic Software Failure Tolerance Measure," Proc. 9th Conf. Computer Assurance, Nat'l Inst. of Standards and Technology, Gaithersburg, Md., June 1996, pp. 250-263.
14. National Aeronautics and Space Administration, NASA Software Safety Standard, Office of Safety and Mission Assurance, Interim Report 1740.13, Office of Safety and Mission Assurance, NASA Headquarters, Washington, D.C., June 1994.
15. Underwriters Laboratory, Safety Related Software, Standard for Safety UL1998, 1st ed., Underwriters Laboratory, Northbrook, Ill., Jan. 1994.