شرط نظام/برمجيات التي تعين أن نظام/برنامج نظام أو مكون نظام/البرمجيات يجب أن تكون قادرة على أداء وظيفة. هذه هي متطلبات البرامج التي تحدد سلوك النظام، وهي عملية أساسية أو التحول التي تقوم مكونات البرامج والأجهزة للنظام على المدخلات لإنتاج النواتج. شرط التباين غير وظيفي.