ഇൻപുട്ടുകളുടെയും മുൻവ്യവസ്ഥകളുടെയും (പ്രാരംഭ അവസ്ഥ) എല്ലാ കോമ്പിനേഷനുകളിലും പരിശോധന സാധ്യമല്ല.
ഒരു ലളിതമായ ഉൽപ്പന്നത്തിൽ പോലും ഇൻപുട്ടുകളുടെയും മുൻവ്യവസ്ഥകളുടെയും (പ്രാരംഭ അവസ്ഥ) എല്ലാ കോമ്പിനേഷനുകളിലും പരിശോധന സാധ്യമല്ല എന്നതാണ് സോഫ്റ്റ്വെയർ പരിശോധനയിലെ ഒരു അടിസ്ഥാന പ്രശ്നം.:
സോഫ്റ്റ്വെയർ പരിശോധന നടത്തുന്നതിലെ പ്രധാന പ്രശ്നം എന്താണ്?