Tutarlılık: Gereksinimler çelişkili veya belirsiz olmamalıdır.

Tamlık: Gereksinimler tüm girdileri ve tepkileri tanımlamalıdır.

Gerçeklenebilirlik: Gereksinimler testler sırasında gözlemlenebilir olmalıdır.

Gereklilik: Gereksinimler gerçek ihtiyacı tanımlamalı ve sistemin hedeflerini karşılamalıdır.

Doğruluk: Gereksinimler doğru ifade edilmelidir