Evaluation of Safety Critical Software英文电子书.pdf

ARTICLES Dependable Computing Evaluation of Safety- John Rushby Editor Critical Software Methods and approaches for testing the reliability and trustworthiness of software remain among the most controversial issues facing this age of high technology. The authors present some of the crucial questions faced by software programmers and eventual users. David L. Parnas, A. John van Schouwen, and Shu PO Kwan It is increasingly common to use programmable com- nus probe that was lost because of a punctuation error. puters in applications where their failure could be life- In the software community, the problem is known to be threatening and could result in extensive damage. For much more widespread. example, computers now have safety-critical functions A few years ago, David Benson, professor of Com- in both military and civilian aircraft, in nuclear plants, puter Science at Washington State University, issued a and in medical devices. It is incumbent upon those challenge by way of several electronic bulletin board responsible for programming, purchasing, installing, systems. He asked for an example of a real-time system and licensing these systems to