Constraint Database » History » Version 3
Alexander Kamkin, 04/12/2012 11:04 AM
| 1 | 1 | Alexander Kamkin | h1. Constraint Database |
|---|---|---|---|
| 2 | |||
| 3 | 2 | Alexander Kamkin | 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. |