What you learn
- Generation of Software Verification plan for an Airborne system
- Generation of the verification report of
- HLR (Software Requirements)
- LLR ( Software Design)
- Code
- Test case, PSAC, SVP, SCMP, SQAP.
- Generate the checklist for
- HLR ( Software Requirements),
- LLR ( Software Design)
- Code
- Test case,
- PSAC, SVP, SCMP, SQAP.
- Closing of Review Report
- Test case Development for System Testing
- Unit Testing (White Box)
- C Program with basic type Argument
- C Program with Global variables
- C program with Array Type
- C Program with Pointer Type
- For Loop
- While Loop
- If and else
- Complex Conditions
- Coverage Analysis
- Control couling and Data Coupling
- Statement Coverage
- Decision Coverage
- MCDC coverage
- Interface Testing
- Stub simulation
- Stub Input Parameter Checking
- Stub Out parameter Setting
Led by industry veterans Dinabandhu Behera, this course provides the checklists and technical methods used by global leaders like Thales, HAL, and DRDO.
Hands-on Tool Training: Mastering LDRA
To provide practical industry skills, this module includes hands-on sessions with LDRA, the industry-standard toolset for verification.
- Static Analysis: Automating code reviews and identifying complex data-flow anomalies.
- Dynamic Analysis: Executing code on-target and capturing structural coverage (Statement, Decision, MC/DC).
- Stubs & Harnesses:
- Understanding the Stubbing Method to isolate units under test.
- Developing stubs for hardware peripherals (I2C, SPI, ARINC 429) to simulate real-world data inputs.
- Managing regressions and automated test execution.
Key Learning Objectives
| Objective | Description |
| Checklist Mastery | Learn to build and execute checklists that satisfy FAA/EASA/IMTAR 21 audits. |
| Independence | Understand the “Independence” requirement for DAL A and B verification. |
| Traceability | Ensuring the “Gold Thread” from Requirements to Test Cases to Test Results. |
| Artifact Generation | How to produce the Software/Hardware Verification Results (SVR/HVR) as certification evidence. |
Who Should Enroll?
- Verification & Validation (V&V) Engineers
- Software/Hardware Developers seeking to understand the audit process.
- Quality Assurance (QA) Professionals responsible for process compliance.