Maryam Fatahi

Zautomatyzowane rozwi?zania w zakresie debugowania oprogramowania Maryam Fatahi

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