verification-case-usage-types

Available in: SysML

This checks that verification case usages are only typed by a single verification case definition.

Subsumes case-usage-types.

Specification

While not formally described in chapter 8, it is given in chapter 7.24.2:

A verification case usage must be defined by a single verification case definition.

Example

part def P;
verification def V1;
verification def V2;
verification v1 : P; // error: A verification case usage must be defined by a single verification case definition
verification v2 : V1, V2; // error: A verification case usage must be defined by a single verification case definition

Fix this by removing specializations that directly or indirectly contribute to invalid types:

part def P;
verification v1; // ok

or specialize only a single verification definition:

verification def V1;
verification v2 : V1; // ok

---

All validation rules