Zautomatyzowane rozwi¿zania w zakresie debugowania oprogramowania

Wykrywanie b¿¿dów oprogramowania jest jednym z najtrudniejszych problemów w zapewnianiu jako¿ci u producentów oprogramowania. B¿¿dy w oprogramowaniu mog¿ by¿ wykryte przed lub po jego wydaniu. Istniej¿ jednak ograniczone zasoby do wykrywania i korygowania b¿¿dów [1]. B¿¿dy zasadniczo dziel¿ si¿ na dwie ogólne kategorie: b¿¿dy sk¿adniowe i b¿¿dy semantyczne. Poniewä istnieje tak wiele pot¿¿nych, zautomatyzowanych narz¿dzi do wykrywania b¿¿dów sk¿adni, jest bardzo mäo prawdopodobne, ¿e b¿¿dy takie zostan¿ wykryte przed wydaniem programu. B¿¿dy semantyczne to takie, które powstaj¿ w wyniku problemów innych ni¿ b¿¿dy sk¿adniowe i materialne b¿¿dy ludzkie i s¿ zazwyczaj spowodowane przez niespójno¿ci w ró¿nych cz¿¿ciach kodu, czasami bardzo nieuchwytne. W takich przypadkach takie b¿¿dy nie mog¿ by¿ ¿atwo wykryte podczas przegl¿du kodu. Nie jest to prawd¿ w przypadku b¿¿dów semantycznych, poniewä wiele czynników mo¿e przyczyni¿ si¿ do wyst¿pienia takich b¿¿dów