Equipment Details

1. Key Feature

   • Test Category: Aviation Software Reliability Testing
   • Reliability analysis and evaluation of software developed for AAV applications, including flight control, motor control, and autonomous flight.
   • Provides results and improvement recommendations to AAV and aviation software development companies.
   • Supports automated verification tools for each stage of the software development lifecycle.
   • Because aviation systems cannot be stopped during operation and rely heavily on software, ensuring safety and reliability in accordance with DO-178C aviation system requirements is essential.
   1. AAV Software Reliability Testing Scene
   2. LDRA Equipment Installation Photo

2. Requirements Traceability Management

   • Derivation, analysis, and management of software requirements
   • Requirements traceability management across the entire software development lifecycle
   • Upstream and downstream impact analysis for bidirectional requirements traceability
   • Requirements management compliant with international standards (DO-178C, ISO 26262, etc.)

3. Dynamic Testing

   • Structural verification and functional testing of software
   • Support for Unit / Integration / Host-Target testing
   • Test case generation and Pass/Fail test execution
   • Automated test cases and Boundary/Equivalence testing

4. Static Analysis

   • Detection of potential defects by applying international coding standards (MISRA, CWE, CERT, etc.)
   • Metrics support for software quality measurement
   • Function and class call relationship analysis through call graphs
   • Risk data review through analysis of parameter and user-defined variable data flow

5. Others

   • Dynamic test environment setup (Target License Package)
   • Object code verification (TBobjectBox)
   • Software verification tool qualification support (Tool Qualification Support Pack)

6. Specification

   • Static Testing	Coding rule and vulnerability checks, metric analysis
     Dynamic Testing	Structure-based unit/integration testing and coverage measurement, Requirements-based system testing and coverage measurement
     CodeScroll™ STATIC	Supports C / C++ / C# / JAVA Coding rule checks: MISRA C, MISRA C++, IEC 61508, etc. Tool Certifications: DO-178C, IEC 61508, ISO 26262, IEC 60880, IEC 62304, etc.
     CodeScroll™ Controller Tester	Supports C / C++ Structure-based unit and integration testing Coverage measurement: Statement / Branch / MC/DC / Function Call Tool Certifications: DO-178C, IEC 61508, ISO 26262, DO-178C, IEC 60880, IEC 62304, etc.
     QualityScroll™ Cover	Coverage measurement for requirements-based system testing Supports Statement / Branch / MC/DC / Function / Function Call / Change Coverage Tool Certifications: DO-178C, IEC 61508, ISO 26262, IEC 60880, IEC 62304, etc.
     QualityScroll™ VPES	Automated verification result history management