Analysis and injection engine supports diverse verification activities

The RVS code analysis and injection engine offers a powerful basis on which custom tools can be developed to meet verification objectives for which no official RVS plugin is available, such as: 

• Data coverage analysis
• Data coupling and control coupling coverage analysis 
• Stack analysis
• Fault injection for robustness testing
• Static analysis
• Dynamic memory analysis
• Constraint checking

We can support adapting RVS's capabilities to support such verification objectives through our Custom tool development service.