Software verification and validation (V&V) is a major issue in critical system development. It is essential to remove errors and failures before the product reaches the market.
V&V tasks are costly in terms of time, human and technical resources. V&V is an engineering discipline supported by decades of experience, theoretical models and tools. It requires trained engineers with advanced knowledge of the testing principles and intense experience in software development.
TMTC analyses your project requirements and designs a specific V&V framework covering all the activities to get your product validated:
- Elaboration of V&V plans and test procedures
- Test automation
- Test execution and debugging
- Design of automated test facilities
- Cross review of all engineering artifacts and documentation: specifications, designs, engineering plans, etc.
- Code reviews
TMTC provides V&V services within the product development process or can act as an independent team.
Test suites: Cantata++, AdaTEST 95
Static code analysis: Frama-c, Splint, Polyspace
Testing with hardware in-the-loop: Simulators, emulators, logic analyser, Labview