System Validation and Testing Services

Ensuring the reliability of software is one of the most difficult challenges in building a mission-critical system. Reservoir's experience and abilities can help meet those challenges. Our experience writing compilers can be applied, since the process of software analysis used in specification checking is a compiler process. This can be used to improve confidence in an application's conformance to a specification for correctness, security, or performance. Furthermore, our efforts to test our compilers has given us experience and expertise in testing techniques such as test generation and coverage analysis. We can apply these techniques to test not just compilers, but other complex software.

Reservoir is qualified not only to write such tools, but also to assist our clients in selecting and using off-the-shelf and open source tools.

Our system validation and testing services include:

• Developing tools for our clients who want to perform specification checking to ensure properties such as correctness, security, and performance.
• Writing random test generation tools, including model-driven test generators.
• Performing test coverage analysis.
• Testing and validating dynamic and static compilers.
• Testing and validating Java virtual machines.
• Developing self-checking functionality.

For more information or to have us prepare a written response to your formal RFQ/RFP, please call Richard Lethin at +1-212-780-0527or fill out our web-based inquiry form.