文档介绍:ESA PSS-05-10 Issue 1 Revision 1
March 1995
Guide to
software
verification
and
validation
Prepared by:
ESA Board for Software
Standardisation and Control
(BSSC)
Approved by:
The Inspector General, ESA
european space agency / agence spatiale européenne
8-10, rue Mario-Nikis, 75738 PARIS CEDEX, France
ii ESA PSS-05-10 Issue 1 Revision 1 (March 1995)
DOCUMENT STATUS SHEET
DOCUMENT STATUS SHEET
DOCUMENT STATUS SHEET
1. DOCUMENT TITLE: ESA PSS-05-10 Guide to Software Verification and Validation
2. ISSUE 3. REVISION 4. DATE 5. REASON FOR CHANGE
1 0 1994 First issue
1 1 1995 Minor updates for publication
Issue 1 Revision 1 approved, May 1995
Board for Software Standardisation and Control
M. Jones and U. Mortensen, co-chairmen
Issue 1 approved by:
The Inspector General, ESA
Published by ESA Publications Division,
ESTEC, Noordwijk, herlands.
Printed in herlands.
ESA Price code: E2
ISSN 0379-4059
Copyright © 1994 by European Space Agency
ESA PSS-05-10 Issue 1 Revision 1 (March 1995) iii
TABLE OF CONTENTS
TABLE OF CONTENTS
CHAPTER 1 INTRODUCTION................................................................................ 1
PURPOSE ...............................................................................................................1
OVERVIEW..............................................................................................................1
IEEE STANDARDS USED FOR THIS GUIDE.........................................................2
CHAPTER 2 SOFTWARE VERIFICATION AND VALIDATION.............................. 3
INTRODUCTION.....................................................................................................3
PRINCIPLES OF SOFTWARE VERIFICATION AND VALIDATION.........................4
REVIEWS.................................................................................................................6
Technical reviews...............................