Software development life cycle model to ensure software quality

被引:0
作者
Kececi, N [1 ]
Modarres, M [1 ]
机构
[1] Univ Maryland, Dept Mat & Nucl Engn, Ctr Technol Risk Studies, College Pk, MD 20742 USA
来源
PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT (PSAM 4), VOLS 1-4 | 1998年
关键词
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
In this paper, the Goal Tree Success Tree and Master Logic Diagram (GTST-MLD) is proposed to model software development life cycle to ensure software quality based on meeting the criteria for high integrity safety systems. The GTST-MLD- based software development life cycle framework allows one to (1) show how a local change affects other phases of development; (2) GTST-MLD hierarchically represent software development life cycle so as to identify missing and incomplete requirements; (3) it is easy to automate on computers, to expand and update.
引用
收藏
页码:1104 / 1110
页数:7
相关论文
共 19 条
  • [1] [Anonymous], 1995, 1074 IEEE
  • [2] [Anonymous], 1994, 1228 IEEE
  • [3] APPELL B, 1992, NUCL ENG INT, V37, P45
  • [4] CASE-STUDY - DARLINGTON-NUCLEAR-GENERATING-STATION
    CRAIGEN, D
    GERHART, S
    RALSTON, T
    [J]. IEEE SOFTWARE, 1994, 11 (01) : 30 - 32
  • [5] HUGHES G, 1993, NUCL ENERG-J BR NUCL, V32, P41
  • [6] *IEC, 1986, 880 IEC
  • [7] *IEEE, 1984, 830 IEEE
  • [8] *IEEE, 1993, 7302 IEEE
  • [9] *IEEE, 1987, 1042 IEEE
  • [10] *IEEE, 1986, 1012 IEEE