Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

IEEE 1012 and ISO/IEC 29119: standards for software verification

IEEE 1012 and ISO/IEC 29119: standards for software verification

For access to this article, please select a purchase option:

Buy chapter PDF
£10.00
(plus tax if applicable)
Buy Knowledge Pack
10 chapters for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Engineering High Quality Medical Software: Regulations, standards, methodologies and tools for certification — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

IEEE standard 1012 [33] focuses on verification & validation (V&V) processes and applies to systems, software, and hardware being developed, maintained, or reused (e.g., Commercial Off-the-Shelf (COTS) components). V&V processes include the analysis, evaluation, review, inspection, assessment, and testing of products. V&V may be performed at the level of the system, software element, or hardware element, or on any combination of these. V&V may also be performed on an element of a system, including a subordinate system (i.e., subsystem). In each case, the V&V processes are invoked, either in parallel or recursively, across the full life cycle of the system or element.

Chapter Contents:

  • 8.1 IEEE Std 1012 for system and software verification and validation
  • 8.1.1 Integrity levels
  • 8.1.2 Common V&V activities
  • 8.1.3 Software V&V activities
  • 8.2 ISO/IEC 29119 software testing
  • 8.2.1 ISO/IEC 29119-1: concepts & definitions
  • 8.2.2 ISO/IEC 29119-2: test processes
  • 8.2.3 ISO/IEC 29119-3: test documentation
  • 8.2.4 ISO/IEC 29119-4: test techniques
  • 8.2.5 ISO/IEC 29119-5: keyword-driven testing

Inspec keywords: program verification; software standards; IEEE standards; ISO standards; IEC standards

Other keywords: software element; ISO-IEC 29119; IEEE standard 1012; software verification & validation processes; V&V processes; hardware element

Subjects: Formal methods

Preview this chapter:
Zoom in
Zoomout

IEEE 1012 and ISO/IEC 29119: standards for software verification, Page 1 of 2

| /docserver/preview/fulltext/books/he/pbhe012e/PBHE012E_ch8-1.gif /docserver/preview/fulltext/books/he/pbhe012e/PBHE012E_ch8-2.gif

Related content

content/books/10.1049/pbhe012e_ch8
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address