Project

General

Profile

Actions

Constraint Database

Constraint database (also known as testing knowledge) is built automatically by analyzing the formal ISA specifications being written in an architecture description language (ADL), e.g. in nML or Sim-nML. Some constraints (test situations) can be described manually and added in to the constraint database.

Updated by Alexander Kamkin over 12 years ago ยท 3 revisions