Obnaruzhenie programmnyh oshibok qwlqetsq odnoj iz samyh slozhnyh problem w obespechenii kachestwa u proizwoditelej programmnogo obespecheniq. Programmnye oshibki mogut byt' obnaruzheny do ili posle ih wypuska. Odnako resursy dlq obnaruzheniq i isprawleniq oshibok ogranicheny [1]. Oshibki obychno delqtsq na dwe obschie kategorii: sintaxicheskie oshibki i semanticheskie oshibki. Poskol'ku suschestwuet tak mnogo moschnyh awtomatizirowannyh instrumentow dlq obnaruzheniq sintaxicheskih oshibok, weroqtnost' togo, chto takie oshibki budut obnaruzheny k momentu ih wypuska, ochen' mala. Sematicheskie oshibki - äto te oshibki, kotorye woznikaüt w rezul'tate problem, otlichnyh ot sintaxicheskih oshibok, i oschutimye chelowecheskie oshibki, i, kak prawilo, wyzwany nesootwetstwiqmi w razlichnyh chastqh koda, inogda ochen' neosqzaemymi. V takih sluchaqh takie oshibki nelegko obnaruzhit' putem prosmotra koda. Jeto ne otnositsq k semanticheskim oshibkam, tak kak wozniknoweniü takih oshibok mogut sposobstwowat' mnogie faktory