Genova Technologies delivers software, system, and IV&V testing for customers in the aerospace and defense, agricultural, education, health, and transportation industries. This spans independent V&V for DO-178B/C certification testing and tool qualifications to Level A, as well as Test Driven Development (TDD) programs for regression testing in both black-box (functional, systems, integration, acceptance) and white-box (unit, regression, integration) testing environments.

Our process employs rigorous CMMI methodologies for evaluating the correctness and quality of the software product throughout the software life cycle, ensuring that the outcome and work product of a project meets the formal specifications.

IV&V Analysis
The IV&V is utilized to perform an in-depth assessment of deployed network and applications from a service assurance perspective. During IV&V the infrastructure performance, features, functionality, scripting, interoperability, loading, and security is tested end to end. The IV&V is a very detailed effort, and requires a thorough assessment of customer’s operational requirements. During the IV&V, we analyze the following:

• Requirements Traceability Matrix
• Architecture, topology, and segmentation
• Service scalability
• Performance and throughput analyses
• Reliability, availability, and maintainability
• IAVA compliancy
• Network verification testing
• Field acceptance testing
• Technical risk

Genova has developed test cases and procedures from high level, low level, and derived requirements, developed and executed black box and white box testing, and generated test results and artifacts for FAA Status of Involvement (SOI) Audits.

Throughout the process, we refine our understanding, validate our findings, and focus on identifying specific improvements that will make a tangible difference to the project. We also provide project management tools, templates, and sample plans as part of V&V engagements, and can provide full documentation and artifacts.

Genova provides expertise in safety critical software development and product verification and validation {function level – (call coverage) through condition level – (MC/DC)}, for such standards as:

• DO-178B/C software and DO-254 complex hardware level A-E (avionics)
• IEC 62304 (medical)
• ISO 26262 ASIL D in part 6 (automotive)
• IEC 61508 SIL 1-4, EN 50128, etc.