论文信息 - Software Deviation Analysis

Software Deviation Analysis

Jon Damon Reese Dept. of C.S.E. University of Washington Box 352350 Seattle, WA 98195, U.S.A. +1 (206) 616-1844 jdreese@cs. washington.edu Validation of software requirements is an important part of software engineering. This paper describes a new safety analysis technique called software deviation analysis to help identify weaknesses in how software handles an imperfect environment. The technique propagates deviations in software inputs to output deviations. A qualitative analysis is used to improve the search efficiency.

Nancy G. Leveson | Jon Damon Reese | J. Reese | N. Leveson

[1] J Suokas,et al. The role of safety analysis in accident prevention. , 1988, Accident; analysis and prevention.

[2] P Andow. Guidance on HAZOP procedures for computer-controlled plants , 1991 .

[3] Philip Schaefer,et al. Analytic Solution of Qualitative Differential Equations , 1991, AAAI.

[4] John A. McDermid,et al. Issues in developing software for safety critical systems , 1991 .

[5] R. M. Pitblado,et al. A Modified Hazop Methodology For Safety Critical System Assessment , 1993 .

[6] R. Fink,et al. Data Management in Clinical Laboratory Information Systems , 1993 .

[7] Nancy G. Leveson,et al. Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[8] John A. McDermid,et al. A development of hazard analysis to aid software design , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[9] Peter Neumann,et al. Safeware: System Safety and Computers , 1995, SOEN.