Email:
Password: [?] 
  Register with the DACS
Site Search: Advanced Search
Search: Bibliographic Database(SEBD)      Lifecycle Database(SLED)    DoD Acronyms 
DACS Home DACS Services Publications Training About Us DACS Store Suggest A Link
Rate this page's content:
  poor
excellent


Tools available for verification and validation
  • AVAT, A CASE Tool for Software Verification and Validation - "AVAT, an abbreviation of Automation of the Verification, Validation and Testing (AVAT) of Real-Time Software and Embedded Systems, is a CASE (Computer Aided Software Engineering) tool. It has been developed as a tool for the enhancement of software reliability by reducing the manual steps in verification, validation and testing. It implements the formal method of Program Function (PF) tables. Its features include manipulation of PF tables, comprehensive syntax checking of PF tables, generalized comparison of PF tables, databases of PF tables and related dictionaries used in the PF tables. AVAT was developed with Microsoft Windows which provides an excellent visual environment for inspecting and manipulating several tables
    at the same time."(author)

  • SAIC Independent Verification and Validation Tools: SuperTrace Plus, DLN, and RIMS - From the company web site, SAIC offers three IV&V tools:

    "SuperTrace Plus is a requirements tracing and management tool designed specifically for IV&V. It drives the IV&V test effort and traces and manages system requirements. SuperTrace Plus supports "what if" analysis when examining changing requirements. The tool contains valuable requirements tracing utilities, reports, and metrics. For more information, view white paper on SuperTrace (36k PDF file*)

    Development Lifecycle Network (DLN) is a defect tracking tool. DLN generates, tracks, and manages Change Requests (CRs), defects/enhancements and assessments throughout the software development life-cycle. Remote locations are supported through importing & exporting of data. The tool allows "linking" between multiple related CRs and tracks CR implementation. DLN includes a built-in screening approval process, tracks actions items and features a flexible reporting filtering capability.

    SAIC's Risk Identification and Mitigation Scaling (RIMS) Tool is an SAIC-developed solution which classifies program risk and recommends IV&V activities to reduce this risk. The risk assessment methodology is based on:

    System Complexity
    Required Integrity
    Development Environment
    Any Customer/System-unique Parameters"

Suggest Supporting Web Sites
Related pages:
sidebar
sidebar
sidebar

s

s

s

s


SISOS cover
DACS Latest Technical Report


TEMS Logo
Visit the DTIC TEMS Initiative

   DACS Gold Practice Initiative ROI Dashboard
 
Acquisition Process Improvement
Architecture-First Approach
Assess Reuse Risks and Costs
Binary Quality Gates at the Inch-Pebble Level
Capture artifacts in rigorous, model-based notation
Commercial Specifications and Standards/Open Systems
Defect Tracking Against Quality Targets
Develop and Maintain a Life-cycle Business Case
Ensure Interoperability
Formal Inspections
Formal Risk Management
Goal-Question-Metric Approach
Integrated Product and Process Development
Manage Requirements
Metrics-based Scheduling
Model Based Testing
Plan for Technology Insertion
Requirements Trade-Off/Negotiation
Statistical Process Control
Track Earned Value
  Access benefit data from software technical and management improvements including SEI CMMI, PSP/TSP, Cleanroom, Inspections, and Agile Development.

View the ROI Dashboard
Copyright © 2010, QSI    Privacy Policy
This site is best viewed in Firefox 2.0+ or IE 6.0+
XHTML