Spec Explorer Concepts

If you are new to Spec Explorer and to model-based testing, understanding some main concepts will greatly facilitate your learning how to effectively use Spec Explorer. This section covers those main concepts.

In This Section

• Model-Based Testing

• Models

• Actions

• Rules

• Steps

• Test Cases and Test Suites

• Testing

• Test Results and Conformance

• Testing and Events

See Also

Concepts

Spec Explorer Overview