Testing |
- Module / Integration Testing
- Non Real Time Testing
- System level testing
|
V & V technology address the following areas |
- Requirement analysis
- Design analysis
- Code Analysis
- Testing
- 100% coverage for branch and statement
- SRS requirements coverage
- Ensures quality
- Ensures the safety of software
|
For safety critical system V & V addressed the following additional technology issues |
- 100% Object Code Verification.
- Ensuring safe sub set of programming language.
- Compiler Validation.
- Linker Validation.
- System/Software Safety Audit
|
V & V techniques employ following tools |
- Simulation Tools
- Matrix X
- Matlab
- Design Tools
- Team Work
- Ada Structure Graph (ASG)
|
- Testing Tools
- LDRA Test Bed
- Engineering test station / Integration Rigs for System Integration tests
|
Independent Verification & Validation |
-
For software development Emerged as a concept in NASA in 1993
- LCA IV&V team formed in 1992
- Adopted for all flight critical software developed
- Flight Control System
- Mission Computer
- Other Avionics systems
- 19 Software systems of LCA evaluated using IV&V
- Including safety critical systems like Digital Flight Control Computer
- Mission critical software like MC software
- 28 onboard computers
- Test rigs to test the above on ground
|
Approximately 5,00,000 lines of safety critical onboard software in
Higher Order Language (HOL) like Ada83, ANSI 'C' and - more than 5 million lines of HOL of Test Rigs evaluated
- Software Standard
- Software development as per DOD-STD-2167A
- Software quality as per MIL-STD-2168
|
