Verification and Validation

Verification and validation (V&V) activities consume large portions of development and maintenance budgets, especially for mission- and business-critical applications. A significant driver of these costs is the large manual component in traditional V&V processes: engineers often define test plans, generate test cases and analyze testing results by hand, and conduct manual code inspections. Fraunhofer researchers are at the forefront of tool-supported V&V technology and work with customers and research partners to evaluate and extend automated techniques for testing and formal verification; for model-based verification and validation; for implementing best practices for software inspections and reviews; and for defining streamlined, efficient V&V processes.

Point of Contact: Dr. Adam Porter

Highlights


  • Defining and evaluating strategies for automated model-based verification and validation for a major European automotive supplier. Identified mechanisms for capturing functional requirements in machine-checkable form and assessed applicability of automated model-based testing strategies for checking functional requirements on production software.

    Read the article at IEEE »

  • Collaborating with the National Science Foundation and Food and Drug Administration to create models and verification harnesses for infusion pump software.

    Read more at the FDA website »

  • Deploying tool support and training personnel on perspective-based software inspections at multiple NASA sites.

    Read about it on the NASA Technical Reports Server »