(1) A logical expression specifying a programme state that must exist or a set of conditions that programme variables must satisfy at a particular point during programme execution.
(2) A capability or requirement that represent a domain specific concept. Assertions fall into the following categories: performance, reliability, interoperability, security, and manageability.