Through our roots in the development of electronic control units for the automotive industry, we have gained great experience with the methodology of software quality assurance.

• Introduction of quality guidelines
  • Automotive SPICE®
  • ISO 9001
  • IEC/DIN 61508 (SIL)
  • ISO 26262 (ASIL)
    
• Definition and introduction of development processes
  
• Static tests (test without program implementation)
  
  • Reviews of analysis, design, code and tests
    
  • Static code analysis
    
• Dynamic tests (test during program execution)
  
  • Structure-based test (measure of the overlap of the control flow)
    
  • Function-oriented test (against a specification)
    
  • Diversifying test (comparing the test results of several versions)
    
  • Stress test
    
• Boundary value analysis
  
• Regression test
  
• Test-driven development