VERIFICATION & VALIDATION PLAN

  • Verification and Validation plan design
    • Quality objectives
    • Quality metrics
    • Section contents
    • Test artifacts (test plans, suites, cases and test scripts)
  • Coding and modeling standards

 

STATIC VERIFICATION

  • Requirements analysis
  • Traceability setup and analysis
  • Model reviews
  • Static code reviews (Coding Standards)

 

DYNAMIC VERIFICATION

  • Design, implementation and execution
  • Executable models developed with MBSE form requirements
  • Model testing (Model Based Testing)
  • Firmware and software testing
    • Unit testing
    • Integration testing
    • Code coverage
  • Acceptance and System Testing
    • Communications Protocol Verification
    • Test automation (test scripts, test libraries and instrument handling)
    • Test platforms
      • Instrumentation management
      • Hardware- in- the-loop platforms
      • Simulators

 

TEST RESULTS DOCUMENTATION 

  • Report design
  • Report generation (live reporting or offline)

 

TOOL CUSTOMIZATION AND INTEGRATION

  • Adapting and integrating new and existing tools
Methodology

We offer custom services, analyzing customers needs, existing processes and applicable standards.

--

Tools
  • Requirements analysis and traceability tools
  • Quality and Test management tools
  • Static code analyzers
  • Dynamic code analyzers
  • Testing frameworks
  • Test automation
  • Test platforms
  • Modeling tools and checkers

--

Some manufacturers
  • IBM
  • National Instruments
  • LDRA
  • MathWorks
  • The Reuse Company

--