Zautomatyzowane rozwiązania w zakresie debugowania oprogramowania (Paperback)

Wykrywanie blędów oprogramowania jest jednym z najtrudniejszych problemów w zapewnianiu jakości u producentów oprogramowania. Blędy w oprogramowaniu mogą byc wykryte przed lub po jego wydaniu. Istnieją jednak ograniczone zasoby do wykrywania i korygowania blędów [1]. Blędy zasadniczo dzielą się na dwie ogólne kategorie: blędy skladniowe i blędy semantyczne. Ponieważ istnieje tak wiele potężnych, zautomatyzowanych narzędzi do wykrywania blędów skladni, jest bardzo malo prawdopodobne, że blędy takie zostaną wykryte przed wydaniem programu. Blędy semantyczne to takie, które powstają w wyniku problemów innych niż blędy skladniowe i materialne blędy ludzkie i są zazwyczaj spowodowane przez niespójności w różnych częściach kodu, czasami bardzo nieuchwytne. W takich przypadkach takie blędy nie mogą byc latwo wykryte podczas przeglądu kodu. Nie jest to prawdą w przypadku blędów semantycznych, ponieważ wiele czynników może przyczynic się do wystąpienia takich blędów