Software deviation analysis

被引：26

作者：

Reese, JD

Leveson, NG

机构：

来源：

PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING | 1997年

关键词：

software safety; hazard analysis; software deviation analysis;

D O I：

10.1145/253228.253281

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：250 / 260

页数：11