Fomba fitiliana rindrambaiko sy mampitaha azy ireo. Testing fomba "mainty efajoro hoe" fitiliana sy ny fomba "fotsy efajoro hoe"

Testing rindrambaiko (SW) hamantatra banga, fahadisoana sy ny diso ao amin'ny fehezan-dalàna izay tokony alefa. Mety ho faritana ho toy ny dingana ny fanombanana ny fahafaha-miasa sy ny correct ny rindrambaiko noho ny fanampian'ny ny fanadihadiana. Fototra fomba fampidirana sy ny fizahan-toetra sy ny fampiharana rindrambaiko azo antoka tsara dia ny hitsapana ny famaritana, famolavolana sy ny Coding, azo itokisana fanombanana, fankatoavana sy ny fanamarinana.

fomba

Ny tena tanjon 'ny rindrankajy fanaovana fitiliana - fanamafisana ny hatsaran'ny rindrambaiko rafitra maty paika debugging amin'ny alalan'ny fampiharana eo ambany maso tsara mba hamaritana ny toe-javatra feno sy marina, ary koa ny mamantatra ny miafina fahadisoana.

Ny fomba fanamarinana (fitiliana) fandaharana dia azo zaraina ho voasakantsakan'ny sy mavitrika.

Anisan'izany ny tsy ara-potoana teo aloha, sy ny fanaraha-maso ara-teknika ny famerenana, maso, tsikelikely fanadihadiana, fanaraha, ary koa ny tahirin-kevitra voasakantsakan'ny mikoriana fanadihadiana sy ny fitantanana.

Teknika mavitrika dia:

1. White boaty fitiliana. Izany no antsipirihany fianarana ny lojikan'ny anatiny sy ny firafitry ny fandaharana. Dia ilaina ny fahalalana ny mari-tomboky.
2. Black boaty fitiliana. Zavatra tsy mitaky teknika misy fahalalana momba ny anatiny fiasan 'ny fangatahana. Tsy mandinika afa-tsy ny fototra lafiny rafitr'ity tontolo ity, fa tsy mifandray na miaraka amin'ny vitsy ny rafitra mirindra ny anatiny.
3. Gray boaty fomba. Tsy Mitambatra fomba roa teo aloha. Debugging amin'ny firy fahalalana ny anatiny fampandehanana ny fangatahana dia miaraka fahalalana ny fototra endrika ny rafitra.

mangarahara fitiliana

Ny efajoro fotsy fomba fitsapana mampiasa soratra mifehy firafitry ny famolavolana ny fomba fanatanterahana indray. Ity teknika fampiharana mamela ny manambara fahadisoana, toy ny mahantra rafitra fitantanana ny fehezan-dalàna amin'ny alalan'ny mandinika ny ampahany anatiny fiasan 'ny rindrankajy. Ireo fomba ireo fitsapana ampiharina ny fampidirana, Module sy ny rafitra haavon'ny. Ny Mpamantatra tsy maintsy manana fahafahana miditra amin'ny mari-tomboky, ary mampiasa azy io mba hahafantarany izay tarika mitondra tena inappropriately.

Naka fanahy fandaharana amin'ny fotsy-boaty manana tombony ireto:

• Tsy mamela ny mamantatra ny fahadisoana amin'ny mari-pamantarana miafina ao amin'ny fanesorana tsy ilaina tsipika;
• ny fampiasana ny paosin-vokany;
• ambony indrindra no tratra fandrakofam-baovao amin'ny alalan'ny fanoratana fanandramana soratra.

fatiantoka:

• -vidiny avo dingana, mila mahay debugger;
• mbola maro ny lalambe, satria mbola tsy fantatra i lalina lalandava ny fahadisoana miafina azo atao dia tena sarotra;
• ny fehezan-dalàna ny sasany amin'ireo dia ho lasa hahamarika.

White boaty fitiliana indraindray no lazaina ho amin'ny mangarahara na naka fanahy iray misokatra boaty, ara-drafitra, lojika fizahan-toetra, mifototra amin'ny fehezan-dalàna ny loharanom-baovao, ary ny lojika trano.

Ny tena karazany:

1) mizaha toetra fanaraha-maso ny fizotran'ny - ara-drafitra paikady mampiasa ny fandaharana fanaraha-maso toy ny fikorianan'ny favoring modely sy tsotra kokoa ny fomba sarotra vitsy kokoa;

2) Ny sampana dia natao mba hianatra debugging safidy tsirairay (marina na diso) ny fanaraha-maso tsirairay mpandraharaha, izay ahitana ihany koa ny vahaolana mitambatra;

3) fitiliana ny tena lalana, izay mamela ny Mpamantatra hametraka lojika be pitsiny noho ny tetikasa ny fomba fanatanterahana indray fepetra mitokantokana lehilahy iray tena ratsy hametraka ny famonoana lalana;

4) nanamarina ny rakitra renirano - ny fikorianan'ny fanaraha-maso ny tetik'ady amin'ny fikarohana ny annotations manisa vaovao momba ny dokambarotra ary mampiasa ny fandaharana hiovaova;

5) tsingerina-pitsapana - tanteraka nifantoka tamin'ny marina cyclic fiasan'ny dingana.

fihetsika debugging

Black boaty fitiliana mihevitra ny rindrambaiko ho toy ny "boaty mainty" - momba ny anatiny fiasan 'ny fandaharana dia tsy isaina, ary avy amin'ny teny anglisy ihany ny fototra endrika ny rafitra. Amin'ity tranga ity, ny Mpamantatra mila mahafantatra ny rafitra maritrano tsy misy fidirana amin'ny mari-tomboky.

Tombony ny fomba ity:

• fahombiazana ho an'ny ampahany lehibe fehezan-dalàna;
• hanamaivana ny fomba fijery Mpamantatra;
• mpampiasa fomba fijery mazava tafasaraka amin'ny developer fomba fijery (programa sy Mpamantatra dia tsy miankina amin'ny tsirairay);
• haingana kokoa ny famoronana ny fizahan-toetra.

Testing rindrambaiko manana boaty mainty fomba manaraka ireto fatiantoka:

• nanao voafantina tokoa ny isan'ny tranga fitsapana, ka lasa voafetra ny fandrakofam-baovao;
• tsy fisian'ny famaritana mazava fitsapana sarotra ny hanana soratra;
• ambany fahombiazana.

Anarana hafa noho izany ny teknolojia - fihetsika, tsy mangarahara, Functional fitiliana sy ny debugging fomba iray boaty mihidy.

Ireo sokajy ireo dia mety ahitana izao manaraka izao rindrambaiko fitsirihana teknika:

1) mitovy amin'ny fisarahana, izay mety hampihena ny hametraka ny fitsapana tahirin-kevitra ho fahana ny rindrambaiko Module rava antontan-kevitra any amin'ny faritra samy hafa;

2) sisin sarobidy fandalinana mifantoka amin'ny fanamarinana ny faritra na fetra tafahoatra soatoavina - ny kely indrindra, ambony indrindra, sy ny soatoavina mampiavaka ny fahadisoana;

3) fuzzing - nampiasaina ho fampiharana ny fikarohana amin'ny alalan'ny inputting fahadisoana na simba angona poluiskazhennyh in mandeha ho azy na ny fomba mandeha ho azy semi-;

4) Ny fanisana ny anton'ny - ny teknika mifototra amin'ny famoronana ny kisary sy ny famaritana ny fifandraisana misy eo amin'ny asa sy ny antony: maha, negation, lojika sy lojika NA SY - efatra Mpandray anjara, maneho ny fifandraisana misy eo amin'ny antony sy ny vokany;

5) Fanamarinana ny orthogonal arrays ampiharina amin'ny olana amin'ny faritra somary fahan'ny kely indrindra ny mety hisian'ny fikarohana feno nataonay;

6) mizaha toetra tsiroaroa rehetra - ny teknika izay napetraka ny fitsapana rehetra mety ahitana soatoavina mimari-droa tsikombakomba tsirairay fahan'ny masontsivana roa;

7) debugging-panjakana tetezamita - ny teknika ilaina ny mijery ny toerana misy ny milina, ary koa mba hamakivakiana ny gửi mpampiasa.

Black boaty fitiliana: Ohatra

boaty mainty-teknika dia miorina amin'ny fepetra arahana, taratasy, ary ny famaritana ny rindrankajy na ny interface tsara rafitra. Ankoatra izany, dia afaka mampiasa modely (ofisialy na tsy ara-potoana), misolo tena ny nandrasana fitondran-tena ny rindrambaiko.

Matetika, fomba io dia ampiasaina ho an'ny debugging mpampiasa interface tsara, ary mitaky ny fampiharana fifandraisana amin'ny alalan'ny fampidirana ny fanangonana antontan'isa sy ny vokatra - avy amin'ny varavarana lamba, avy amin'ny tatitra na ny printouts.

Ny Mpamantatra, noho izany, interacts amin'ny rindrankajy amin'ny inputting, rehefa manao zavatra amin'ny Switches, tsindry na interface hafa. Ny safidy ny fahan'ny tahirin-kevitra, ny mba ny fitondrana na ny filaharan'ireo asa dia afaka hitondra any amin'ny lehibe isan'ny tsikombakomba, araka ny hita ao amin'ny ohatra manaraka ity.

Inona no fitsapana maro ny mila manao mba hanamarinana ny sanda mety ho ny 4 varavaran'ny sainam-pirenena, ary ny iray eny an-, dia nampitabataba ny fotoana segaondra? Raha jerena maimaika dia kajy tsotra: 4 saha roa mety fanjakana - 24 = 16, izay tsy maintsy ho maro araka izay azo atao ny isan'ny toerana amin'ny 00 ny 99, 1600 i.e. azo atao fitsapana.

Na izany aza, io kajy diso: afaka mamaritra fa ny teboka roa-tany koa ny toerana misy, izany hoe tsy ahitana alphanumeric roa toerana, ary mety tafiditra alphanumeric endri-tsoratra, tarehin-tsoratra manokana, toerana, sns Noho izany, raha .... rafitra dia 16-bit solosaina, miverena 216 = 65536 iray isaky ny toerana ao amin'ny vokatry ny fitsapana 4294967296 tranga izay tokony ampitomboina 16 tsikombakomba ny sainam-pirenena izay manome tanteraka ny 68.719.476 736. Raha manao 1 fitsapana isan-tsegondra, ny manaraka tanteraka olzhitelnost fitiliana dia ny 2 177.5 taona. Fa 32 na 64-bit rafitra, ny faharetan'ny bebe kokoa.

Noho izany dia ilaina mba hampihenana io fotoana io ho dingana azo ekena. Noho izany, dia tokony ho ny teknika ampiharina mba hampihenana ny isan'ny tranga fitsapana tsy fampihenana ny habetsahan'ny-pitsapana.

Equivalence fizarazarana

Mitovy fisarahana dia tsotra fomba izay azo ampiharina ho an'ireo hiovaova izay eo amin'ny rindrambaiko, na torohevitra na Output soatoavina, ara-panoharana, numeric, sy ny hafa. Izany dia miorina amin'ny foto-kevitra rehetra ny angona avy iray mitovy amin'ny ny fizarazaran'I dia ho raisina toy izany sy ny toromarika ihany.

Nandritra ny fizahan-toetra, iray Nifidy solontenan'ny tsirairay equivalence manokana fisarahana. Izany dia mamela anao amin'ny fomba hampihenana ny isan'ny tranga azo atao fitsapana tsy misy very ny mikasika ny didy sy ny anjara asa.

Iray hafa vokatry ny fizarazarana izany dia ny hampihenana ny combinatorial fipoahana eo amin'ny samy hafa mifandray hiovaova sy ny fampihenana ny fitsapana tranga.

Ohatra, ao amin'ny (1 / x) ^1/2 fampiasana angon-drakitra telo sequences, telo mitovy fisarahana:

1. isa tsara rehetra dia ho raisina Toy izany koa, ary tokony hanome vokatra marina.

2. ratsy rehetra isa dia ampiasaina Toy izany koa ny vokany izany koa. Izany no tsy marina, satria ny fototry ny ratsy isa no mpanafika.

3. Zero ho ampiasaina misaraka ary hanome ny fahadisoana "fizarana ny aotra". Ity no fizarana ny zava-dehibe iray monja.

Noho izany, isika dia mahita telo samihafa, ny iray amin'ireo dia nihena ho zava-dehibe iray. Misy "marina" fizarana, izay manome vokatra azo antoka, ary ny roa "tsy mety" amin'ny vokatra diso.

sisin-tany sanda famakafakana

Fanodinana eo amin'ny sisin-tanin'i mitovy fizarazarana azo atao amin'ny fomba hafa noho ny andrasana. Fanadihadiana ny fetra soatoavina - fanta-daza ny mandinika ny fomba fitondran-tena ny rindrambaiko ao amin'ny faritra toy izany. Ity teknika dia ahafahana mamantatra fahadisoana toy izany:

• dratsy fampiasana ny fifandraisana mpandraharaha (<,>, =, ≠, ≥, ≤);
• tokan-tena fahadisoana;
• olana in tsingerina sy iterations,
• ratsy karazana na ny haben'ny hiovaova ampiasaina amin'ny mitahiry fanazavana;
• solon fetra mifandray amin'ny karazana tahirin-kevitra sy hiovaova.

translucent fitiliana

fotsy boaty fomba mampitombo ny fitsapana mikasika ny, dia afaka mifantoka amin'ny ambaratonga rehetra ny sarotra ny rafitra amin'ny alalan'ny fitambaran'ny mainty sy fotsy teknika.

Ny fampiasana io teknika, ny Mpamantatra ny fampandrosoana ny soatoavina fitsapana dia tokony hanana fahalalana ny anatiny rafitra sy ny angon-drakitra algorithms. Ohatra ny fotsy-boaty fomba fanaovana fitiliana dia toy izao manaraka izao:

• an'ireo trano modely;
• Miray Modeling Language (UML);
• -panjakana modely (voafetra fanjakana milina).

Ao amin'ny fomba boaty ny fotsy mba hampitombo ny fitsapana tranga nianatra Modules fotsy injeniera kaody, ary tena fitsapana dia tanterahana eo amin'ny interface ny teknolojia mainty fandaharana.

Ireo fomba mizaha toetra manana tombony manaraka ireto:

• mitambatra tombotsoa teknisianina fotsy sy mainty boaty;
• Mpamantatra dia mifototra amin'ny interface tsara sy Functional famaritana, fa tsy ny mari-tomboky;
• debugger afaka manao fitsapana lehibe tranga;
• maso dia atao avy amin'ny fomba fijery ny mpampiasa, fa tsy ny mpamorona ny fandaharana;
• mamorona fanandramana fanao fampandrosoana;
• mitanila.

fatiantoka:

• fitiliana mikasika ny dia voafetra satria tsy misy fahafahana hahazo ny mari-tomboky;
• ny be pitsiny ny kilema ao nizara fampiharana;
• fomba maro mbola tsy fantatra i sisa;
• raha ny rindrambaiko developer no nandefa ny fizahan-toetra, dia fanadihadiana bebe kokoa mety ho tafahoatra.

Anarana hafa fa ny fotsy efajoro teknika - translucent debugging.

Ireo sokajy ireo dia ahitana fomba toy izany ny fitiliana:

1) orthogonal nahay - ny fampiasana ny subset rehetra mety ho tsikombakomba;

2) teraka debugging mampiasa ny toerana misy ny fandaharana angona;

3) regressive maso natao amin'ny fanovana ny vaovao ho any amin'ny software;

4) Endrika fitsapana izay manadihady ny famolavolana sy ny trano ny tsara fampiharana.

Fampitahana ny rindrambaiko fitiliana teknika

Ny fampiasana ny fomba mavitrika mitondra ho amin'ny combinatorial fipoahan'ny ny isan'ny fitsapana izay mila mivelatra, ampiharina sy tanterahina. Teknika rehetra dia tokony ho ampiasaina pragmatically, naka ny voafetra ho tantara.

Ny hany fomba tena tsy misy, tsy misy afa-tsy ireo izay tsara kokoa mifanaraka amin'ny teny manodidina manokana. Ara-drafitra injeniera mamela antsika hahita ny tsy misy ilàna azy, na mampidi-doza kaody, fa izy ireo dia sarotra sy tsy azo ampiharina amin'ny fandaharana lehibe. Fomba mifototra amin'ny fepetra arahana - ihany no izay afaka mamantatra ny tsy hita fehezan-dalàna, kanefa tsy afaka mamantatra ny vahiny. Misy teknika tsara kokoa ho an'ny fanandramana manokana ambaratonga, karazana fahadisoana na ny teny manodidina noho ny hafa.

Ireto ambany ireto ny tena fahasamihafana misy eo amin'ny telo mavitrika fitsirihana teknika - omena ny fampitahana latabatra eo anelanelan'ny telo endrika debugging rindrambaiko.

lafiny	Ny fomba boaty mainty	Gray boaty fomba	White-boaty fomba
Fisian'ny momba ny fifehezan 'ny fandaharana	Mandinika ihany ny lafin-javatra fototra	Ampahany anatiny fahalalana momba ny firafitry ny fandaharana	Full fahafahana miditra amin'ny mari-tomboky
Ambaratongam-Nizarazara ny fandaharana	ambany	Central	avo
Iza no mahatonga debugging?	Hifarana ireo mpampiasa, testers sy ny mpandraharaha	Hifarana ireo mpampiasa, mpandraharaha sy ny debuggers	Mpandraharaha sy ny testers
base	Fitiliana dia mifototra amin'ny toe-javatra maika amin'ny ivelany.	Kisary banky angona, angona mikoriana kisary, toe-fahalalana ny anatiny algorithm sy ny maritrano	Ny fitaovana anatiny dia fantany tsara
Ny ambaratongam-fandrakofana	Tsy feno ary mitaky ny faran'izay kely ny fotoana	Central	Mety ny feno indrindra. Time mandany
Data sy ny sisintany anatiny	Debug ihany no fizahan-toetra sy ny fahadisoana	Afaka teny ny angon-drakitra sy ny sehatra anatiny sisintany, raha toa ka fantatra	Ny tahirin-kevitra tsara indrindra sehatra fitsapana sy ny sisintany anatiny
Vady sahaza fitiliana algorithm	No	No	Eny

automatique

Fomba mandeha ho azy ny rindrambaiko fitiliana dia be hanatsorana ny dingan'ny fisafoana, na inona na inona ny tontolo iainana ara-teknika sy ny teny manodidina ny. Izy ireo ampiasaina amin'ny toe-javatra roa:

1) mba automate ny mandreraka, na tena nitandrina asa miverimberina toy ny rakitra raha oharina amin'ny andalana maro arivo sy iray alina, mba hamotsotra fotoana fitanana ny Mpamantatra hevi-dehibe kokoa;

2) fa ampy na manao asa izay tsy azo atao amin'ny alalan'ny olona mora foana toy ny fampisehoana fanamarinana na fanadihadiana valin-fotoana izay azo refesina amin'ny hundredths ny faharoa.

Test fitaovana azo sokajiana amin'ny fomba samihafa. Ny fizarana manaraka dia miorina amin'ny asa izy ireo manohana:

• fitsapana fitantanana, anisan'izany ny fitantanana tetikasa fanohanana, dikan, configurations, mety famakafakana, fitiliana ampy, fahadisoana, fahadisoana, ary ny tatitra fitaovana;
• fitantanana fepetra, anisan'izany ny fitehirizana sy ny fepetra arahana fepetra, jereo azy ireo ho feno sy MANJAVOZAVO, ny laharam-pahamehana sy ny traceability fitsapana tsirairay;
• mitsikera Review and voasakantsakan'ny fanadihadiana, anisan'izany ny fivezivezena fanaraha-maso, sy ny asa, fandraisam-peo sy ny fitehirizana ny fanehoan-kevitra, kilema ho tratra ary nanomana fanitsiana ny fitantanana rohy mankany checklists sy ny fitsipika, fanaraha-maso ny serasera loharano antontan-taratasy sy ny kaody voasakantsakan'ny fanadihadiana mamantatra kilema, hahazoana antoka fanajana ny fitsipi-tsoratra fehezan-dalàna, fanadihadiana ny rafitra sy miankina, fikajiana ny mimetatra masontsivana ny fehezan-dalàna sy ny trano. Ankoatra izany, mampiasa compilers, analyzers, gropy sy ny fifandraisana amin'ny fanondroana andininy;
• modeling, anisan'izany ny fitaovana ho an'ny fandraharahana modeling fitondrantena sy hizaha toetra ny modely;
• fitiliana fampandrosoana miantoka ny taranaka ny tahirin-kevitra andrasana eo amin'ny fototry ny toe-javatra sy ny mpampiasa interface tsara lasitra sy ny fehezan-dalàna hitantana ny mamorona na hanova antontan-taratasy sy ny angona, hafatra, antontan-kevitra fankatoavana ny fototry ny fitsipiky ny fitantanana, antontan'isa fanadihadiana ny toe-javatra sy ny loza mety hitranga;
• manan-danja amin'ny alalan'ny fomba fijery miditra ny tahirin-kevitra amin'ny alalan'ny tsary ny mpampiasa interface tsara, API, didy andalana mampiasa comparators mba hanampy hamantarana mahomby sy nahomby fitsapana;
• fanohanana debugging tontolo iainana izay mamela anao hisolo ny tsy ampy fitaovana na ny rindrambaiko, ao amin'ny Boky Faha-. h. Simulation fitaovana miorina amin'ny tapa-kevitra Output subset, alalan'ny terminal emulators, finday sy ny tambajotra fitaovana, ny tontolo iainana noho ny fanamarinana fiteny, fandidiana ny rafitra sy ny fitaovana , tamin'ny fanoloana ny tsy hita singa mpamily, Namorona Modules, etc., ary koa ny fitaovana ho an'ny fakàna sy manova ny OS mangataka ny CPU simulation famerana, RAM, ROM, na Network .;
• .. Ny fampitahana ny angon-drakitra antontan-taratasy, ny tahiry, jereo ny vokatra andrasana nandritra sy taorian'ny fitsapana dia tanteraka, incl mavitrika sy batch fanoharana, Automatic "faminaniana";
• coating fandrefesana ny Localisation ny fahatsiarovana tete azo sy ny fanaraha-maso ny fitondran-tena diso estimating rafitra eo ambany milalao entana entana niteraka fangatahana, ny tahiry, na ny lohamilina tambajotra amin'ny zava-misy tranga ny fivoarana ho an'ny fandrefesana, fanadihadiana sy ny fanamarinana ny rafitra tatitra loharanon-karena;
• fiarovana;
• fampisehoana fitiliana, entana sy mavitrika fanadihadiana;
• fitaovana hafa, ao amin'ny Boky Faha-. h. mba hanamarinana ny tsipelina sy ny Syntaxe, Network ny fiarovana, ny fisian'ny vohikala rehetra sy ny pejy hafa.

fomba fijery

Noho ny miova eo amin'ny rindrambaiko orinasa, ny dingan'ny debugging ihany koa ny foto-kevitra ny hiova. Misy fomba vaovao ny rindrambaiko fitiliana, toy ny asa fanompoana-orientirovannae maritrano (SOA), Wireless teknolojia, tolotra finday, sy ny sisa. E., efa niloa-ny fomba vaovao-pitsapana rindrambaiko. Ny sasany amin'ireo fiovana izay andrasana ao amin'ny orinasa nandritra ny taona vitsivitsy Voatanisa eto ambany:

• testers dia hanome modely izay maivana mpandraharaha dia ho afaka hijery ny fango;
• fampandrosoana ny fomba fanaovana fitiliana, anisan'izany ny fijerena sy ny modeling fandaharana amin'ny dingana iray tany am-boalohany, dia hanafoana ny fifanoheran-kevitra maro;
• fisian'ny sakana maro no hanafohezany ilay fanadinana ny fotoana mamantatra ny fahadisoana;
• Voasakantsakan'ny Analyzer sy mamantatra dia midika hoe tsy be mpampiasa kokoa;
• ny fampiasana ny mineraly matrices, toy ny mikasika ny famaritana, ny sehatra ny modely sy ny fehezan-dalàna mikasika ny fampandrosoana no hamaritra ny tetikasa;
• combinatorial fitaovana mamela ny testers mba hamantarana ny laharam-pahamehana ho an'ny debugging faritra;
• testers Hanome kokoa sy sarobidy intuitive asa fampandrosoana manerana ny rindrambaiko dingana;
• debuggers dia afaka mamorona fitaovana fitiliana sy ny rindrambaiko fomba voasoratra ao ary hiresaka amin'ny fiteny fandaharana isan-karazany;
• Debugging ho mora kokoa ny manam-pahaizana nofanina ho matihanina.

, No ho solon'ny-baovao-barotra mirona rindrankajy fomba fanaovana fitiliana, ny hanova ny fomba fifandraisana ny rafitra sy ny vaovao izy ireo raha manome fampihenana ny loza, ary tsy mitsaha-mitombo ny soa azo avy amin'ny raharaham-barotra fiovana.