(1) بناء برنامج كمبيوتر في أي واحد من اثنين أو أكثر من مجموعات بديلة من البرنامج يتم تحديد البيانات لنقطة execution.~(2) A في برنامج كمبيوتر في أي واحد من اثنين أو أكثر من مجموعات بديلة من البرنامج البيانات المحددة ل execution.~(3) أي من مجموعات بديلة لبيانات البرنامج في (1).~(4) لإجراء التحديد في (1).