તેથી, આગળનું સ્ટેપ એ સર્કિટ આપેલ ટેસ્ટિંગો ખરેખર જનરેટ કરવાનું હશે અને ફોલ્ટ્સ F નો સમૂહ લોજિકલ ફોલ્ટ મોડલ હેઠળ હોઈ શકે છે, અહીં આપણે ટેસ્ટ વેક્ટરનો સમૂહ નક્કી કરવાનો પ્રયાસ કરી રહ્યા છીએ, જે આ ફોલ્ટ સેટ F માં તમામ ફૉલ્ટ્સ શોધી શકે છે.
അതിനാൽ, അടുത്ത ഘട്ടം യഥാർത്ഥത്തിൽ ഒരു സർക്യൂട്ട് നൽകിയ ടെസ്റ്റുകൾ ജനറേറ്റുചെയ്യുകയും ഒരു കൂട്ടം തെറ്റുകൾ F യുക്തിസഹമായ തെറ്റായ മോഡലിന് കീഴിലായിരിക്കാം, ഇവിടെ ഞങ്ങൾ ഒരു കൂട്ടം ടെസ്റ്റ് വെക്റ്ററുകൾ നിർണ്ണയിക്കാൻ ശ്രമിക്കുന്നു, അത് ഈ തെറ്റ് സെറ്റിലെ എല്ലാ തകരാറുകളും കണ്ടെത്താനാകും എഫ്.