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.