|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/rus/casr/os/3_9/5.htm
Дата изменения: Mon Mar 21 07:08:26 2016 Дата индексирования: Sun Apr 10 09:58:37 2016 Кодировка: Windows-1251 Поисковые слова: п п п п п п п п п п п п п п п п п р п |
NIST Special Publication 500-223
A Framework for the Development and Assurance of High Integrity Software
Dolores R. Wallace Laura M. Ippolito
National Institute of standards and Technology, December 1994
ABSTRACT
The purpose of this document is to recommend a framework for the development and
assurance of high integrity software. The framework addresses the fact that
these processes must take into account properties and requirements of a high
integrity system and the processes and standards used in developing other system
components. This framework provides guidance to developers, assurers, and buyers
of software, researchers for high integrity software systems, and vendors of
Computer Aided Software Engineering tools and integrated environments.
KEYWORDS
High integrity software, project management, software assurance, software
configuration management, software development, software hazard analysis,
software quality assurance, software verification and validation.
TABLE OF CONTENTS:
ABSTRACT
ACKNOWLEDGMENTS
EXECUTIVE SUMMARY
GLOSSARY
ACRONYMS
1 INTRODUCTION
1.1 Framework Content
2 SOFTWARE DEVELOPMENT
2.1 Software Requirements Process
2.2 Software Design Process
2.3 Code Process
2.4 Software Integration Process
2.6 Software Operation and Maintenance Process
2.7 Software Development Process Inputs and Outputs 3 SOFTWARE ASSURANCE
3.1 Project Management Process
3.2 Software Quality Assurance Process
3.3 Software Verification and Validation Process
3.3.1 Independent Verification
3.3.2 Software Requirements Verification and Validation Process
3.3.3 Software Design Verification and Validation Process
3.3.4 Verification and Validation Process
3.3.5 Unit Test Process
3.3.6 Software Integration Test Process
3.3.7 Software System Test Process
3.3.8 Software Installation Test Process
3.3.9 Software Operation and Maintenance Verification and Validation Process
3.4 Software Configuration Management Process
3.5 Software Hazard Analysis Process
3.6 Software Assurance Process Inputs and Outputs
4 SOFTWARE ENGINEERING PRACTICES
5 SOFTWARE FUNCTIONALITY
5.1 Definition of System Service
5.2 Failure Modes, Error Detection and Fault Tolerance
5.2.1 Sensor Surveillance
5.2.2 Surveillance of Other System Components
5.3 Actions to be Avoided
5.4 Human Interfaces
5.5 System Test Provisions
5.6 Attribute Requirements 6 SUMMARY
7 REFERENCES
APPENDIX A. BIBLIOGRAPHY OF HIGH INTEGRITY SOFTWARE DOCUMENTS
A.1 Standards and Guidelines
A.2 Books
A.3 Papers
Tables
Table 2-1. Software Development Process Inputs and Outputs
Table 3-1. Major Processes of SV&V
Table 3-2. Software Assurance Process Inputs and Outputs
Figures
Figure 1-1. Software Development as a Part of System Development
Figure 1-2. Software Assurance Relationship to Software Development
ТЕКСТ:
находится в библиотеке Секции открытых
систем Совета РАН "Научные
телекоммуникации и
информационная инфраструктура"