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)
"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"