What Is Verifier?

The Verify mode of a project allows you to test your software component at runtime using Tangram Pro™ Verifier, checking its performance against its Flex protocol model so that you can be more confident that your software is doing what it's supposed to do.

• As a software engineer, Verifier allows you to check that your software adheres to a model as you develop and modify the code.
• As a model-based systems engineer, Verifier enables you to validate third-party code that's been delivered to you instead of needing to trust it blindly.
• As a system integrator, Verifier provides you with a method to test each component in isolation before going through the time and effort of integrating an entire system.

Where to Go Next

The Verifier documentation is organized into four categories. Pick the one that matches what you're trying to do:

Learning-oriented

Tutorials

Hands-on lessons that walk you through testing a component from start to finish. Start here if you're new to Verifier.

Start learning →

Understanding-oriented

Explanation

Background and discussion of how Verifier works and why it was built the way it is. Read this to deepen your understanding.

Understand Verifier →

Task-oriented

How-To Guides

Step-by-step instructions for accomplishing specific tasks, like running a test or exporting results. Use these when you have a goal in mind.

Get it done →

Information-oriented

Reference

Technical descriptions of configuration, transports, serializers, and supported features. Consult these when you need precise details.

Look it up →