• No results found

Software Verification and Validation

N/A
N/A
Protected

Academic year: 2021

Share "Software Verification and Validation"

Copied!
16
0
0

Loading.... (view fulltext now)

Full text

(1)

Software

Verification and

Validation

Georgia L. Harris

Carol Hockert

NIST Office of Weights and Measures

Software V&V 2016 1

Learning Objectives

After this session, using resources

and references provided, you will

be able to

List examples of software error impact

Identify which criteria in ISO/IEC 17025

address requirements for computer

systems

Identify examples of software errors

(2)

2

Software

Verification &

Validation

What and Why

3

Software V&V 2016

What is Verification and

Validation?

Validation is ensuring "you built the right product“ (SUITABLE)

Validation is testing to confirm that it satisfies

stakeholder needs.

Examples for metrology:

 Correct SOP selected, Correct equations, Results are good

Verification is ensuring "you built the product right."

(ACCURATE)

Verification is testing to confirm that a product complies

with its requirements and specifications.

Examples for metrology:

 Equations match the SOP, Calculations produce the expected answer

(3)

Why do Verification and

Validation?

Ensure measurement result accuracy

Minimize impact of software errors

Ensure records are maintained as

evidence

Meet Requirements

Accreditation to ISO/IEC 17025

FDA – all software (including use of

spreadsheets) must follow “good software

engineering practices”

5

Software V&V 2016

Health Impacts

: U.S. Food &

Drug Admin.

The FDA’s analysis of 3140 medical device recalls

conducted between 1992 and 1998 reveals that 242 of

them (7.7%) are attributable to software failures. Of

those software related recalls, 192 (or 79%) were

caused by software defects that were introduced when

changes were made to the software after its initial

production and distribution. Software validation and

other related good software engineering practices

discussed in this guidance are a principal means of

avoiding such defects and resultant recalls.”

NIST OWM has seen failures in proficiency tests due to lack

of adequate software control and validation on a regular

basis.

(4)

4

Financial Impacts

: U.S. NASA

7

Automated Software Verification & Validation: An Emerging Approach for Ground Operations,

David G. Bell and Guillaume P. Brat, NASA Ames Research Center, ©2008 IEEE.

Software V&V 2016

Does it affect you?

(5)

Does it Affect You?

9

Software V&V 2016

(6)

6

17025:2005 – Sections to Consider

 4.1.5.c Procedures exist to protect client’s information.

 4.3.1 Procedures to control software

 4.3.2.1 Quality system reviewed and approved by authorized personnel (electronic signatures)

 4.3.2.2 Authorized editions of appropriate documents all locations. (Intranet, NT file Share)

 4.3.3.2 Altered or new text shall be identified (electronic document)

 4.3.3.4 Procedures shall describe how changes in documents, including software are controlled.

 4.13.1.2 Records (electronic media) shall be stored and maintained so that they are retrievable.

 4.13.1.4 Procedures to protect and back-up electronic records.

 4.13.2.1 Retain records for the retention period (old versions of software also)

 4.13.2.2 Observations shall be recorded at the time they are made. (electronic).

 4.13.2.3 Electronic records shall avoid loss to original data (audit trails)

 5.4.1 Lab shall have instructions on the use and operation of equipment (and software).

 5.4.7.1 Calculations (spreadsheet) and data transfers (tables) shall be subject to checks.

 5.4.7.2.a Software shall be validated

 5.4.7.2.a Laboratory configurations of COTS software shall be validated.

 5.4.7.2.b Procedures are established to protect data.

 5.4.7.2.c Computer and automated equipment are maintained.

 5.5.2 Equipment & Software shall comply with specifications.

 5.5.4 Each item of equipment & software shall be uniquely identified.

 5.5.5 Records shall be maintained of equipment & software.

 5.5.11 When correction factors are used, procedures shall ensure software is updated.

 5.5.12 Software shall be safeguarded from adjustments.

 5.10.1 Reports may be issued electronically.

 5.10.2.j Reports may contain electronic signatures.

 5.10.7 Reports may be transmitted electronically.

11

Software V&V 2016

Laboratory Computer Systems

Assessment

Internal Audit

Quality and Technical

12 Software V&V 2016

(7)

Requirements, References

and Records

13

Handbook

Requirement

Laboratory

Documentation

References

Evidence of Compliance

4.1.5. 3) or 4.1.5 c. have policies

and procedures to ensure the protection of its customers’ confidential information and proprietary rights, including procedures for protecting the electronic storage and transmission of results;

QM Section 4.2

SAP 10 “Title”

SAP 4 “Title”

Form 10, “Title”

Policy is in place; audit

shows that it is being

followed; Reviewed 3

copies of Form 10 to see

they were completely

filled out. (See

Attachment A).

No information has been

inadvertently released

Software V&V 2016

ISO/IEC 17025: Key Concepts

for Software

Documentation

Quality management system; Standard Admin. Procedure 10

Procedures for Verification & Validation

Checklist = Form A

Validation Process & Records

Data sets

Correct Updates

Calibration data (values & uncertainties)

Controls & Maintenance

Inventory, status

Security, locked cells, passwords

Approvals

It’s not just

about

data

sets!

(8)

8

Laboratory Document Control

and Approval

17025:2005, Section 4.3

Document Control

Procedures for development,

V&V, and approval

Inventory of Software (Master

List)

Technical assessment

Records of V&V

15 Software V&V 2016

Document Control:

Inventory & Tracking

Sample File available:

http://www.nist.gov/pml/wmd/labme

trology/lab-resources.cfm

16

(9)

Quick Quiz:?

How many major sections of

ISO/IEC 17025 cover Software

Verification and Validation?

What is objective evidence?

17

Software V&V 2016

Software

Verification &

Validation

(10)

10

Focus: Spreadsheet

Verification & Validation

19 Spreadsheet Verification & Validation

Software QA

(SAP 10)

Requirements

(17025, FDA)

Software Engineering Life Cycle

Specs, Design, Build, Test, V&V, Use +

Documentation

Software Inventory

Form A

17025:2005 Auditing

Forms

Software V&V 2016

Standard Administrative

Procedure 10 (SAP 10)

Responsibility and Authority

Software Engineering Essentials

FDA

RP 13

Risk Analysis

SSFM – NPL Best Practice Guide

Methods for Controlling and Evaluating

Software

Inventory

SAP 10, Form A

20

(11)

Software Life-Cycle

21

Figure 1. Software Life Cycle

Requirements

Design

Construction

Testing

Documentation

Installation

& Validation

& Maintenance

Operations

Retirement

Purchase

Change Control Process

Consider RISK Assessments

Time

Software V&V 2016

Risk Assessment

For additional information on Risk Analysis

practices and procedures, see Validation

of software in measurement systems

(Software for Metrology Best Practice

Guide No. 1), National Physical

Laboratory (NPL),

http://www.npl.co.uk/

. January 2007.

Spreadsheets may not be an appropriate

(12)

12

Testing Phase

(SAP 10 has more…)

1.

Analysis without computer assistance

2.

Other validated computer program

3.

Experiments & tests

4.

Standard problems with known solutions

(data sets)

5.

Confirmed published data and

correlations

23

Software V&V 2016

Installation &

Acceptance

1.

Verify complete installation

2.

Ensure correct operation within system

Operating System updates, patches,

software updates and potential changes

3.

Document approval for use

Who has authority for review and

implementing new system

24

(13)

Operations &

Maintenance Phase

1.

Fix – remove errors

2.

Improve – changed specifications;

process improvements

3.

Adapt – operating environment

25

Software V&V 2016

Software

Verification &

Validation

(14)

14

Verification & Validation

Techniques

SAP 10 Descriptions

Form A Sample Items

What is evidence?

27

Software V&V 2016

SAP 10: Descriptions

Form A: Review and Evidence

A.- Software Inspection

B.- Mathematical Specification

C.- Code Review

D.- Numerical Stability

E.- Component Testing

F.- Numerical Reference Results

G.- Embedded Data Evaluation

H.- Back-to-Back Testing

I.- Analysis Without Computer

Assistance

J.- Security

(15)

Example & Demonstration

Software V&V 2016 29

References & Guides

ISO/IEC 17025:2005

Laboratory Standard Administrative Procedure 10 and Form A

NPL Guides, March 2004

“Software Support for Metrology Best Practice Guide No. 1,

Validation of Software in Measurement Systems”, Includes Risk

Assessment methods.

“Software Support for Metrology Best Practice Guide No. 7

Development and Testing of Spreadsheet Applications”, see

especially section 6, “Checklists for spreadsheet development

and testing”

“General Principles of Software Validation; Final Guidance for

Industry and FDA Staff” (FDA, January 11, 2002)

NCSLI Recommended Practice 13, “Computer Systems in

Metrology” (February 1996)

(16)

16

Thank you!

http://www.nist.gov/labmetrology

References

Related documents

The Master Fund is authorised in Luxembourg as a specialised investment fund and is managed by a management company, Ress Capital Fund Management SA, who acts

$1000 and a complimentary letter to Mary Patten for her heroic work in bringing the fast sailing clipper ship safely around the dangerous Cape Horn?. When Mary and Captain

In the previous sections, we dis- cuss the expectation that a neural network exploiting the fractional convolution should perform slightly worse than a pure binary (1-bit weights

Political Parties approved by CNE to stand in at least some constituencies PLD – Partido de Liberdade e Desenvolvimento – Party of Freedom and Development ECOLOGISTA – MT –

ter mean to the prototypes computed from the true labels of all the samples. Similar to the semi-supervised scenario, we use a PN trained in the episodic mode as the feature

Most companies recruit for full-time and internship positions, but some indicate Co-Op as a recruiting priority, while not attending Professional Practice

During the thesis work, I measured six different parameters: the number of emergency processes, hash table entry number, caching replacement policy, cache entry

We also deal with the question whether the inferiority of the polluter pays principle in comparison to the cheapest cost avoider principle can be compensated