IEEE Std 1012-1998 IEEE Standard for Software Verification and Validation -Description

Abstract: Software verification and validation (V&V) processes, which determine whether development products of a given activity conform to the requirements of that activity, and whether the software satisfies its intended use and user needs, are described. This determination may include analysis, evaluation, review, inspection, assessment, and testing of software products and processes. V&V processes assess the software in the context of the system, including the operational environment, hardware, interfacing software, operators, and users.

Keywords: software integrity, software life cycle processes, verification and validation

Content

• 1. Overview
• • 1.1 Purpose
  • 1.2 Field of application
  • 1.3 V&V objectives
  • 1.4 Organization of the standard
  • 1.5 Audience
  • 1.6 Compliance
  • 1.7 Disclaimer
  • 1.8 Limitations
• 2. Normative references
• 3. Definitions, abbreviations, and conventions
• • 3.1 Definitions
  • 3.2 Abbreviations
  • 3.3 Conventions
• 4. V&V software integrity levels
• • 4.1 Software integrity levels
• 5. V&V processes
• • 5.1 Process: Management
  • • 5.1.1 Activity: Management of V&V
  • 5.2 Process: Acquisition
  • • 5.2.1 Activity: Acquisition Support V&V
  • 5.3 Process: Supply
  • • 5.3.1 Activity: Planning V&V
  • 5.4 Process: Development
  • • 5.4.1 Activity: Concept V&V
    • 5.4.2 Activity: Requirements V&V
    • 5.4.3 Activity: Design V&V
    • 5.4.4 Activity: Implementation V&V
    • 5.4.5 Activity: Test V&V
    • 5.4.6 Activity: Installation and Checkout V&V
  • 5.5 Process: Operation
  • • 5.5.1 Activity: Operation V&V
  • 5.6 Process: Maintenance
  • • 5.6.1 Activity: Maintenance V&V
• 6. Software V&V reporting, administrative, and documentation requirements
• • 6.1 V&V reporting requirements
  • 6.2 V&V administrative requirements
  • 6.3 V&V documentation requirements
  • • 6.3.1 V&V Test documentation
    • 6.3.2 SVVP documentation
• 7. SVVP outline
• • 7.1 (SVVP Section 1) Purpose
  • 7.2 (SVVP Section 2) Referenced documents
  • 7.3 (SVVP Section 3) Definitions
  • 7.4 (SVVP Section 4) V&V overview
  • • 7.4.1 (SVVP Section 4.1) Organization
    • 7.4.2 (SVVP Section 4.2) Master Schedule
    • 7.4.3 (SVVP Section 4.3) Software integrity level scheme
    • 7.4.4 (SVVP Section 4.4) Resources summary
    • 7.4.5 (SVVP Section 4.5) Responsibilities
    • 7.4.6 (SVVP Section 4.6) Tools, techniques, and methods
  • 7.5 (SVVP Section 5) V&V processes
  • • 7.5.1 (SVVP Sections 5.1 through 5.6) “Software life cycle”
  • 7.6 (SVVP Section 6) V&V reporting requirements
  • 7.7 (SVVP Section 7) V&V administrative requirements
  • • 7.7.1 (SVVP Section 7.1) Anomaly resolution and reporting
    • 7.7.2 (SVVP Section 7.2) Task iteration policy
    • 7.7.3 (SVVP Section 7.3) Deviation policy
    • 7.7.4 (SVVP Section 7.4) Control procedures
    • 7.7.5 (SVVP Section 7.5) Standards, practices, and conventions
  • 7.8 (SVVP Section 8) V&V documentation requirements
• Annex A Mapping of ISO/IEC 12207 V&V requirements to IEEE Std 1012 V&V activities and tasks
• Annex B A software integrity level scheme
• Annex C Definition of independent verification and validation (IV&V)
• • C.1 Technical independence
  • C.2 Managerial independence
  • C.3 Financial independence
  • C.4 Forms of independence
  • • C.4.1 Classical IV&V
    • C.4.2 Modified IV&V
    • C.4.3 Internal IV&V
    • C.4.4 Embedded V&V
• Annex D V&V of reusable software
• Annex E V&V metrics
• • E.1 Metrics for evaluating software development processes and products
  • E.2 Metrics for evaluating V&V tasks and for improving the quality and coverage of V&V tasks
• Annex F Example of V&V organizational relationship to other project responsibilities
• Annex G Optional V&V task descriptions
• Annex H Other references
• Annex I Definitions from existing standards (normative)

links: [Standard Status] - [Purchase] - [PDF^*] - [Software Engineering Collection - Description]

available for Standards Online Software Engineering Collection subscribers only