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