Scribd
Upload
3 views

SVR-Sample

The document presents the Software Verification Results for a specific program, including an introduction, review results, analysis results, and verification cases. It details various software life cycle phase reviews, coverage analysis, and test results, along with appendices for test case results and tool qualification verification. The document is confidential and proprietary to the company, requiring written authorization for reproduction or disclosure.

Uploaded by

Venkatramana Bhagwati
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
3 views

SVR-Sample

The document presents the Software Verification Results for a specific program, including an introduction, review results, analysis results, and verification cases. It details various software life cycle phase reviews, coverage analysis, and test results, along with appendices for test case results and tool qualification verification. The document is confidential and proprietary to the company, requiring written authorization for reproduction or disclosure.

Uploaded by

Venkatramana Bhagwati
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

Software Verification Results

Software Verification Results


for the

<Company Name> <Program Name>

Document No: <Doc Number>


Revision: -

__________________________________________________ ___________
<Name>, Program Manager Date

__________________________________________________ ___________
<Name>, Technical Project Lead Date

__________________________________________________ ___________
<Name>, Engineer Date

__________________________________________________ ___________
<Name>, Quality Assurance Engineer Date

Notice
This document and the information contained herein are the property of <company
name>. Any reproduction, disclosure or use thereof is prohibited except as authorized
in writing by <company name>. Recipient accepts the responsibility for maintaining
the confidentiality of the contents of this document.

<Doc Number> Page 3 of 25 Rev. -


Software Verification Results

REVISIONS
Requested/
Rev. Reason/Description Changed By Date

<Doc Number> Page 4 of 25 Rev. -


Software Verification Results

Table of Contents

Section Page

1.0 INTRODUCTION .......................................................................................... 7


1.1 Purpose ......................................................................................................... 7
1.2 Scope ............................................................................................................ 7
1.3 Deviations ...................................................................................................... 7
1.4 Acronyms and Abbreviations............................................................................. 7
1.5 Applicable Documents ...................................................................................... 7
1.5.1 External Documents ................................................................................... 7
1.5.2 Internal Documents ................................................................................... 8

2.0 REVIEW RESULTS ...................................................................................... 10


2.1 Software Life Cycle Phase Reviews .................................................................. 10
2.2 Software Data Item Reviews .......................................................................... 10
2.3 Summary of Reviews ..................................................................................... 11

3.0 ANALYSIS RESULTS................................................................................... 12


3.1 Analysis Item Identification ............................................................................ 12
3.2 Requirements Coverage and Traceability Analysis ............................................. 12
3.3 Linting ......................................................................................................... 12
3.4 Structural Coverage Analysis .......................................................................... 12
3.4.1 Statement Coverage ................................................................................ 12
3.4.1.1 Statement Coverage Results ............................................................... 12
3.4.1.2 Statement Coverage Analysis .............................................................. 13
3.4.2 Decision Coverage ................................................................................... 13
3.4.2.1 Decision Coverage Results .................................................................. 13
3.4.2.2 Decision Coverage Analysis ................................................................. 13
3.4.3 MC/DC Coverage ..................................................................................... 14
3.4.3.1 MC/DC Coverage Results .................................................................... 14
3.4.3.2 MC/DC Coverage Analysis ................................................................... 14
3.5 Data and Control Coupling Coverage ............................................................... 14
3.5.1 Data Coupling and Control Coupling Coverage Results .................................. 14
3.5.2 Data Coupling and Control Coupling Analysis .............................................. 15
3.6 Software Characteristics - Integration Analysis ................................................. 15
3.6.1 Math and Overflow Analysis Results ........................................................... 15
3.6.2 Throughput Analysis ................................................................................ 15
3.6.3 Timing Analysis ....................................................................................... 15
3.6.4 Memory Analysis Results .......................................................................... 16
3.6.5 Stack Analysis Results .............................................................................. 16
3.6.6 Link Analysis Results ................................................................................ 16
3.6.7 Interrupt Analysis Results ......................................................................... 16

4.0 SOFTWARE VERIFICATION CASES AND PROCEDURES RESULTS ................ 17


4.1 Confirmation of General Test/Data Completion Requirements ............................. 17
4.2 Verification Test Log ...................................................................................... 17

5.0 SOFTWARE TRACEABILITY MATRIX .......................................................... 19

<Doc Number> Page 5 of 25 Rev. -


Software Verification Results

6.0 SYSTEMS ACTIVITIES AND EVIDENCE ....................................................... 20


6.1 Validation of Derived Requirements ................................................................. 20
6.2 System Issues Raised by Software Processes.................................................... 20

Appendix A TEST CASE RESULTS RECORD ......................................................... 21


6.2.1 APC_PIC_SW-TC-0001 ............................................................................. 21

Appendix B COVERAGE ANALYSIS RESULTS RECORD ........................................ 23

Appendix C COVERAGE ANALYSIS RESOLUTION ............................................... 24

Appendix D TOOL QUALIFICATION VERIFICATION LOG .................................... 25

List of Figures

Figure 3-1. Linting Results......................................................................................... 12

List of Tables

Table 1-1. External Documents .................................................................................... 8


Table 1-2. Internal Documents..................................................................................... 8
Table 2-1. Summary of Review Results ....................................................................... 11
Table 3-1. Statement Coverage Results ...................................................................... 13
Table 3-2. Decision Coverage Results ......................................................................... 13
Table 3-3. MC/DC Coverage Results ........................................................................... 14
Table 3-4. Data Coupling and Control Coupling Coverage Results ................................... 14
Table 4-1. Verification Test Log .................................................................................. 17
Table 5-1. Requirements to Test Results Traceability .................................................... 19

<Doc Number> Page 6 of 25 Rev. -

You might also like