(1) Sebuah ekspresi logis menentukan keadaan program yang harus ada atau serangkaian kondisi yang harus memenuhi variabel program pada titik tertentu selama eksekusi program.
(2) Kemampuan atau persyaratan yang mewakili konsep domain yang spesifik. Pernyataan jatuh ke dalam kategori berikut: kinerja, kehandalan, interoperabilitas, keamanan, dan pengelolaan.