Virheen korjaaja

Virheen korjaaja

Tiedot

Tyyppi	Ohjelmistotyyppi ( in )

Debuggeri (Englanti debugger ) tai debugger (ranskankielinen versio virhe) on ohjelmisto, joka auttaa kehittäjä analysoimaan ohjelman vikoja . Tätä varten voit suorittaa ohjelman askel askeleelta - toisin sanoen useimmiten rivi riviltä -, näyttää muuttujien arvon milloin tahansa ja asettaa pisteitä. Pysähdy olosuhteissa tai ohjelmassa linjat.

Tämä on sovellus vianmääritysprosessin tietokoneohjelmointiin .

käyttää

Ohjelma on beeta on toteutetaan debuggeri ja toimii normaalisti. Virheenkorjaaja tarjoaa sitten ohjelmoijalle mahdollisuuden tarkkailla ja valvoa ohjelman suoritusta sallimalla hänen eri tavoin tarkkailla sitä, pysäyttää se (keskeyttää ohjelman suorittaminen) ja muuttaa sitä. Esimerkiksi muistissa oleva suorituspino ja muuttujien sisältö voidaan havaita, ja muuttujien arvoa voidaan muuttaa ohjelman ohjauksen kulun muuttamiseksi esimerkiksi vian syyn selvittämiseksi.

Kun ohjelman suoritus lopetetaan, virheenkorjain näyttää nykyisen suoritusasennon alkuperäisessä lähdekoodissa virallisen  (sisään) ja lähdetason virheenkorjausta varten. Matalan tason tai konetason virheenkorjaus näyttää puretun linjan .

Monet virheenkorjaajat mahdollistavat prosessorirekisterien ja muistin tilan tarkkailun lisäksi niiden muokkaamisen ennen ohjauksen palauttamista virheenkorjausohjelmaan. Niitä voidaan sitten käyttää tiettyjen ohjelmistosuojausten löytämiseen ja poistamiseen käytöstä, mikä johtaa halkeaman suunnitteluun . Jotkut ohjelmistot, tietäen kuinka virheenkorjaajat toimivat ja haluavat estää tällaiset muutokset, toteuttavat virheenkorjauksen temppuja .

Tekniikat

Virheenkorjaajien tarjoamat työkalut riippuvat olennaisesti ohjelmointikielestä (jota käytetään viritettävän ohjelman kehittämiseen), jolle se on suunniteltu. Suurin osa virheenkorjaajista tarjoaa kuitenkin vastaavia työkaluja.

• manuaalinen pysäytyskomento: ohjelmoija voi milloin tahansa päättää keskeyttää suorituksen
• katkaisupiste  : sijoitettu tiettyyn kohtaan ohjelmassa (yleensä lähdekoodissa), se käskee virheenkorjainta lopettamaan suorituksen saavuttaessaan kyseisen sijainnin
• ehdollinen murtumispiste  : kuten murtumispiste, mutta lisäehdolla (kuten esimerkiksi tämän murtumispisteen läpikulkujen määrä)
• havainnointipiste (watch): käytetään ohjelman suorittamisen lopettamiseen muuttujan muokkauksen ehdolla

Työkalut ohjelman suorituksen hallitsemiseksi

• askel-askeleelta: suorituksen ohje ohjeella
  • vaiheittainen yhteenveto: käsky suoritetaan pääohjelmassa aina, kun ohjelmoija pyytää sitä
  • Yksityiskohtainen vaihe vaiheelta: kuten vaiheittainen yhteenveto, paitsi että vaihe vaiheelta myös toiminnot
  • ajoituksen kanssa: ajoittain käsky suoritetaan (tämä hidastaa ohjelman suorittamista niin, että ihmissilmä voi seurata sitä tarkasti)
• käynnistä nykyinen toiminto (pudotuskehys): keskeytä nykyisen toiminnon nykyinen suoritus ja aloita nykyisen toiminnon uusi suoritus
• palaa takaisin: palaa edelliseen ohjeeseen, etsi edellinen tila (melko harvinainen piirre)

Työkalut ohjelman tilan tarkkailuun

• muuttujan havainnointi
• muistialueiden havainnointi
• mikroprosessorirekisterin tarkkailu
• havainto kutsupino ( backtrace )
• lähdekoodin havaitseminen nykyisen suorituspisteen kanssa
• kokoonpanokoodin (lukuun ottamatta tulkittua kieltä) tarkkailu nykyisen suorituspisteen kanssa
• jäljitys  : sallii tietojen tarkkailun lykätyssä tilassa keskeyttämättä ohjelman suorittamista

Lisäksi virheenkorjain sallii yleensä muuttaa ohjelman tilaa, kun sen suorittaminen lopetetaan:

• modifikaatio rekisterin
• muuttujan muokkaus
• modifikaatio muisti vyöhykkeen

Etävianmääritys, ristivirheenkorjaus

Risti debug tai risti virheenkorjaus on debug ohjelmiston kaukosäätimen ja usein eri kohdearkkitehtuuri Kehitysasemalla.

Ytimen virheenkorjaus

Ytimen tai käyttöjärjestelmän ohjaimen virheenkorjaus vaatii työkalut, jotka on sovitettu tähän erityisen arkaluonteiseen tehtävään. Erityisesti tämä virheenkorjaus tapahtuu yleensä etänä sarjaliitännällä (mutta joskus Ethernetillä), koska virheenkorjaaja, joka ottaa ytimen täyden hallinnan, kohdekone muuttuu käyttökelvottomaksi (jäätyy kokonaan jokaisessa katkaisupisteessä).

Katso esimerkiksi Linux-ytimeen rakennettu kgdb- virheenkorjausohjelma .

Tunnetut virheenkorjaajat

• adb, Android Debug Bridge  ;
• AntiC  ;
• bashdb, GNU-projektista riippumaton Bourne-Again-kuoren virheenkorjaaja ;
• Broadway;
• CodeView , hajautettu virheenkorjain integroidulla Microsoft Visual Studio Debugger -ratkaisulla  ;
• DAEDALUS  ;
• DBX , virheenkorjaus, joka on jaettu Berkeley Unix -järjestelmän varhaisversioiden kanssa  ;
• DUMA havaitsee tahattoman muistin käytön - sähköisen aidan haarukka;
• Dynaaminen virheenkorjausnauha (DDT) ja ODT;
• DuxDebugger - Debugger Disassembler for Windows 64-bit;
• Electric aidat  ;
• Firebug  ;
• GDB ( GNU Debugger ), GNU-projektin virheenkorjaaja  ; voimme valinnaisesti liittää sen gdbserveriin ristivirheenkorjauksessa;
• CUDA GDB on gdb- versio CUDA GPU-ohjelmointikielelle;
• IDA The Interactive Disassembler  ;
• Java Debugger, jota yleensä kutsutaan JDB: ksi  ;
• kgdb , Linux- ytimeen sisäänrakennettu virheenkorjaus  ;
• ladebug , virheenkorjausohjelma, jota käytettiin Tru64 UNIX -käyttöjärjestelmässä  ;
• MacitBug  ;
• Mpatrol  ;
• OCamlDebug , Objective Caml-debuggeri;
• OllyDbg  ;
• PE Explorer  ;
• Perl- virheenkorjaajat  ;
• Prism Parallel Debugger;
• Puhdistaa  ;
• kylpyhuone  ;
• SoftICE  ;
• Syser , Ring 0-virheenkorjaaja;
• SPlint  ;
• TMON;
• TotalView  ;
• Turbo Debugger  ;
• Valgrind  ;
• W32DASM;
• HP Wildebeest Debugger, kutsutaan myös HP WDB;
• WinDbg  ;
• ODB: kaikkitietävä virheenkorjaus , Java- virheenkorjaus , joka sallii koodin virheen palaamalla takaisin;
• xdb muodollinen virheenkorjausohjelma, jota käytettiin 1990-luvun lopulla MPE / iX  (en) -käyttöjärjestelmässä  ; tämä nimi tarkoittaa myös 2000-luvun Intel- virheenkorjainta , jota kutsutaan yleisesti Intel xdb-debuggeri  ;

Bibliografia

• Jonathan B.Rosenberg, Kuinka virheenkorjaajat toimivat: Algoritmit, tietorakenteet ja arkkitehtuuri , John Wiley & Sons ( ISBN  0-471-14966-7 )

Huomautuksia ja viitteitä

1. (en) "  Ladebug Debugger Manual: Compaq Tru64 UNIX Version 5.1A tai uudempi  " osoitteessa tru64unix.compaq.com ,Kesäkuu 2001(katsottu 7. joulukuuta 2012 )
2. (sisään) "  The Perl Debugger (s)  " sivustolla perl.org ,7. joulukuuta 2012(katsottu 7. joulukuuta 2012 )
3. (sisään) "  HP WDB  " osoitteessa www2.hp.com ,7. joulukuuta 2012(katsottu 7. joulukuuta 2012 )