Metòd nan lojisyèl tès ak konpare yo. metòd Tès nan tès "bwat nwa" ak metòd la nan "bwat blan"

Tès lojisyèl (lojisyèl) revele defo, defo ak erè nan kòd la ki bezwen elimine. Li kapab tou defini kòm pwosesis la nan evalye fonctionnalités la ak kòrèkteman nan lojisyèl lè l sèvi avèk analiz. Metòd prensipal yo nan entegrasyon ak tès nan pwodwi lojisyèl asire bon jan kalite a nan aplikasyon ak konpoze nan tcheke spesifikasyon la, konsepsyon ak kòd, evalyasyon fyab, validation ak verifikasyon.

Metòd

Objektif prensipal la nan tès lojisyèl se konfime bon jan kalite a nan pake lojisyèl an pa sistematik debogaj aplikasyon nan kondisyon ki ak anpil atansyon kontwole, pou detèmine konplè yo ak korèkteur, epi tou li detekte erè kache.

metòd yo nan verifikasyon pwogram (tès) kapab divize an estatik ak dinamik.

Premye a gen ladan revizyon enfòmèl, kontwòl ak teknik, enspeksyon, etap-pa-etap analiz, kontwòl kontab, menm jan tou estatik analiz de koule done ak jesyon.

Teknik dinamik yo jan sa a:

1. Blan-bwat tès. Sa a se yon etid detaye sou lojik la entèn ak estrikti nan pwogram nan. Sa mande konesans nan kòd sous la.
2. Nwa tès bwat. Teknik sa a pa mande pou nenpòt ki konesans nan operasyon an entèn nan aplikasyon an. Nou konsidere sèlman aspè prensipal yo nan sistèm la ki pa gen rapò oswa ti kras ki gen rapò ak entèn li yo estrikti ki lojik.
3. Metòd la nan bwat la gri. Konbine de apwòch yo anvan yo. Debi ak konesans limite nan fonksyone entèn la nan aplikasyon an konbine avèk konesans nan aspè debaz yo nan sistèm lan.

Tès transparan

Metòd bwat blan itilize senaryo tès pou estrikti kontwòl pwojè pwojè a. Teknik sa a pèmèt ou idantifye erè aplikasyon, tankou jesyon pòv postal, pa analize fonksyonman entèn yo nan yon moso lojisyèl. Metòd tès sa yo aplikab nan entegrasyon, modilè ak sistèm nivo yo. Tè a dwe gen aksè a kòd sous la, epi, lè l sèvi avèk li, chèche konnen ki bloke li nan yon fason apwopriye.

Pwogram tès yo itilize metòd bwat blan an gen avantaj ki annapre yo:

• Pèmèt ou detekte yon erè nan kòd la kache lè efase ranje nesesè;
• Posibilite pou itilize efè segondè;
• Pwoteksyon maksimòm lan reyalize lè li ekri yon senaryo.

Dezavantaj:

• Yon pwosesis wo-pri ki mande pou yon debugje ki kalifye;
• Chemen Anpil yo ap rete enkonu, depi yon chèk bon jan de tout erè kache posib trè konplike;
• Gen kèk nan kòd ki manke a pral ale inapèsi.

Tès blan-bwat se pafwa yo rele tou transparan oswa ouvè tès bwat, estriktirèl, tès lojik, sous ki baze sou tès, achitekti ak lojik.

Varyete prensipal yo se:

1) tès kontwòl koule se yon estrateji estriktirèl ki itilize koule kontwòl pwogram lan kòm yon modèl e li bay preferans nan chemen ki pi senp sou yon pi piti kantite moun ki pi konplèks;

2) debogaj branch lan fèt pou egzamine chak opsyon (vre oswa fo) nan chak operatè kontwole, ki gen ladan tou yon solisyon konbine;

3) tès chemen prensipal la, ki pèmèt tèsteur la etabli yon mezi konpleksite lojik nan pwojè a pwosedi yo asiyen yon seri debaz nan chemen ekzekisyon;

4) tcheke koule done yo - estrateji rechèch pou kontwole sikilasyon nan analize graf la avèk enfòmasyon sou deklare ak itilizasyon pwogram yo;

5) tès sik - konplètman konsantre sou ekzekisyon ki kòrèk la nan pwosedi siklik.

Konpòtman debogaj

Nwa tès bwat konsidere lojisyèl an kòm yon "bwat nwa" - enfòmasyon sou travay entèn la nan pwogram lan pa pran an kont, epi sèlman aspè prensipal yo nan sistèm lan yo tcheke. Nan ka sa a, tèsteur la bezwen konnen achitekti sistèm lan san aksè a kòd sous la.

Avantaj apwòch sa a:

• Efikasite pou yon segman kòd gwo;
• Senplisite pèsepsyon pa tèsteur la;
• Se pèspektiv nan itilizatè a klèman separe de pèspektiv nan pwomotè a (pwogramè a ak tèsteur la yo endepandan de chak lòt);
• Plis rapid tès kreyasyon.

Pwogram tès yo itilize metòd bwat nwa a gen dezavantaj sa yo:

• An reyalite, yo chwazi yon nimewo senaryo pou egzamen, sa ki lakòz yon pwoteksyon limite;
• Mank yon spesifikasyon klè fè li difisil pou devlope senaryo tès yo;
• Ba efikasite.

Lòt non pou teknoloji sa a - konpòtman, ki pa transparan, tès fonksyonèl ak metòd debogaj nan yon bwat ki fèmen.

Kategori sa a gen ladan metòd sa yo nan tès lojisyèl:

1) ekivalan patisyon, sa ki ka diminye seri done tès yo, paske done entrodiksyon modil pwogram yo divize an pati separe;

2) analiz kwen konsantre sou verifye limit oswa ekstrèm limit fwontyè - minima, maxima, inègza ak tipik valè;

3) fuzzing - itilize yo jwenn erè aplikasyon pa k ap antre nan done defòme oswa semi-degrade nan mòd otomatik oswa semi-otomatik;

4) graf relasyon kòz efè yo - yon teknik ki baze sou kreyasyon graf yo ak etablisman yon koneksyon ant aksyon an ak kòz li yo: idantite, negasyon, lojik OSWA ak lojik epi yo se kat senbòl debaz ki eksprime entèdepandans ant kòz ak efè;

5) Verifikasyon nan ranje orthogonal, aplike nan pwoblèm ki gen yon zòn relativman ti nan opinyon, depase posiblite yo nan yon etid konplè;

6) tès tout pè yo - yon teknik ki gen valè tès yo gen ladan tout posib konbinezon disrè nan chak pè nan paramèt opinyon;

7) debogaj eta tranzisyon - yon teknik itil pou tcheke estati a nan machin nan, osi byen ke yo navige nan entèfas itilizatè a .

Nwa-bwat tès: egzanp

Nwa teknoloji bwat baze sou espesifikasyon, dokiman, osi byen ke deskripsyon nan koòdone nan lojisyèl oswa sistèm. Anplis de sa, li se posib yo sèvi ak modèl (fòmèl oswa enfòmèl) ki reprezante konpòtman an te espere nan lojisyèl an.

Tipikman, se metòd debogaj sa a itilize pou interfaces itilizatè epi li mande pou entèraksyon ak aplikasyon an pa k ap antre done ak kolekte rezilta yo - soti nan ekran an, ki soti nan rapò oswa enprime.

Tèsteur a, nan fason sa a, reyaji avèk lojisyèl an pa D ', aji sou switch, bouton oswa lòt interfaces. Chwa nan done opinyon, lòd la entwodiksyon yo oswa sekans nan aksyon ka mennen nan yon kantite total jigantèsk nan konbinezon, jan yo wè nan egzanp sa a.

Konbyen tès ou bezwen fè yo tcheke tout valè posib pou 4 kazye yo ak yon sèl de-pozisyon jaden ki espesifye tan an nan segonn? Nan premye gade, kalkil la se senp: 4 jaden ak de eta posib - 24 = 16, ki dwe miltipliye pa kantite pozisyon posib soti nan 00 a 99, se sa ki 1600 tès posib.

Men, sa a kalkil se inègza: nou ka detèmine ke jaden an de-pozisyon ka gen ladan tou yon vid, se sa ki, li gen ladan de pozisyon alfabè ak ka gen ladan senbòl nan alfabè a, senbòl espesyal, espas, elatriye Kidonk, si Sistèm lan se yon òdinatè 16-ti jan, lè sa a nou jwenn 216 = 65.536 variants pou chak pozisyon, sa ki lakòz ka tès 4 294,967,296, ki dwe miltipliye pa 16 konbinezon pou drapo yo, ki bay yon total de 68,719,476,736. Si ou egzekite yo Nan yon pousantaj de 1 tès pou chak dezyèm, Lè sa a, total la Dire tès la pral 2 177,5 an. Pou sistèm 32 oswa 64-ti jan, dire a se menm pi gwo.

Se poutèt sa, gen yon bezwen diminye tan sa a nan yon valè ki akseptab. Kidonk, teknik yo ta dwe itilize pou diminye kantite ka tès san yo pa diminye kouvèti asirans lan.

Yon patisyon ekivalan

Ekivalan patisyon se yon metòd senp ki aplikab nan nenpòt varyab ki prezan nan lojisyèl an, si opinyon oswa pwodiksyon valè, senbolik, nimerik, elatriye Li baze sou prensip la ke tout done ki sòti nan yon patisyon ekivalan yo pral trete menm jan an pa moun Menm enstriksyon.

Pandan tès la, yo chwazi yon reprezantan ki soti nan chak patisyon ekivalan defini. Sa a pèmèt ou sistematik redwi kantite ka tès posib san yo pa pèdi sijè ki abòde lan kòmandman ak fonksyon.

Yon lòt konsekans patisyon sa a se rediksyon eksplozyon konbinatoryal ant diferan varyab ak rediksyon ki asosye nan ka tès yo.

Pou egzanp, nan (1 / x) ^1/2 lè l sèvi avèk twa sekans done, twa ekivalan patisyon:

1. Tout nimewo pozitif yo pral trete menm jan an epi yo ta dwe bay rezilta ki kòrèk la.

2. Tout nimewo negatif yo pral trete menm jan an, ak rezilta a menm. Sa a se pa vre, depi rasin nan yon nonm negatif se imajinè.

3. Zewo ap trete separeman epi yo pral bay yon erè "divizyon pa zewo". Sa a se yon seksyon ki gen yon valè.

Se konsa, nou wè twa seksyon diferan, youn nan ki redwi a yon valè sèl. Gen yon "kòrèk" seksyon, ki bay rezilta serye, ak de "mal", ak rezilta kòrèk.

Baryè analiz

Done tretman nan limit yo nan yon patisyon ekivalan ka fè yon fason diferan pase espere. Etid la nan valè fwontyè se yon fason ki byen koni nan analize konpòtman lojisyèl nan zòn sa yo. Teknik sa a pèmèt nou idantifye erè sa yo:

• Move itilizasyon operatè relasyon yo (<,>, =, ≠, ≥, ≤);
• Erè sèl;
• Pwoblèm nan sik ak iterasyon,
• Kalite kòrèk oswa gwosè varyab yo itilize pou konsève enfòmasyon yo;
• Atifisyèl kontrent ki asosye ak done ak kalite varyab.

Semi-transparan tès

Metòd bwat gri a ogmante sijè ki abòde verifikasyon, ki pèmèt ou konsantre sou tout nivo yon sistèm konplèks lè ou konbine teknik blan ak nwa.

Sèvi ak teknik sa a, yon tèsteur pou devlope valè tès yo dwe gen konesans sou estrikti done entèn ak algoritm. Men kèk egzanp sou metòd tès pou yon bwat gri yo se:

• Modèl achitekti;
• Inifye Modeling Lang (UML);
• Modèl Leta (machin leta fini).

Nan metòd bwat gri pou devlope ka tès yo, kòd modil blan yo egzamine, epi tès aktyèl la fèt sou interfaces pwogram teknoloji nwa a.

Metòd tès sa yo gen avantaj sa yo:

• Konbine avantaj nan teknik nan bwat blan ak nwa;
• Tèsteur la depann sou koòdone a ak spesifikasyon nan fonksyonèl, olye ke sou kòd la sous;
• Debugjeur a ka kreye Scripts ekselan tès;
• Se chèk la te fè soti nan pwen de vi nan itilizatè a, epi yo pa nan designer nan pwogram;
• Kreyasyon devlopman tès Customized;
• Objektif.

Dezavantaj:

• Pwoteksyon Tès la limite, paske pa genyen aksè nan kòd sous la;
• Konpleksite nan detekte domaj nan aplikasyon pou distribiye;
• Anpil fason rete enkonu;
• Si gen lojisyèl pwomotè a deja kòmanse tès la, Lè sa a, plis rechèch ka redondants.

Yon lòt non pou teknik bwat gri a se yon debogaj semi-transparan.

Kategori sa a gen ladan metòd tès sa yo:

1) orthogonal etalaj - sèvi ak yon subset nan tout konbinezon posib;

2) matris debogaj lè l sèvi avèk done leta pwogram;

3) yon chèk regression fèt pandan entwodiksyon de nouvo chanjman nan lojisyèl an;

4) yon tès modèl ki analyse desen ak achitekti yon aplikasyon solid.

Konparezon metòd tès lojisyèl

Itilizasyon tout metòd dinamik mennen nan yon eksplozyon konbinatwa nan kantite tès ki dwe devlope, aplike ak fèt. Chak teknik yo ta dwe itilize pragmatikman, pran an kont limit li yo.

Metòd la sèlman vre pa egziste, gen sèlman moun ki pi byen adapte pou yon kontèks espesifik. Teksti estriktirèl pèmèt nou jwenn kòd initil oswa move, men yo konplèks ak inapplikab pwogram gwo. Metòd ki baze sou spesifikasyon yo se yo menm sèlman ki kapab idantifye kòd ki manke a, men yo pa ka idantifye yon outsider. Gen kèk teknik ki pi apwopriye pou yon nivo patikilye nan tès, tankou erè oswa kontèks, pase lòt moun.

Anba la a se diferans ki genyen prensipal ant teknik yo twa tès dinamik - bay yon tablo konparezon ant twa fòm lojisyèl debogaj la.

Aspè	Nwa metòd bwat	Grey bwat metòd	Blan bwat metòd
Disponibilite nan enfòmasyon sou konpozisyon an nan pwogram nan	Se sèlman aspè fondamantal yo analize	Pasyèl konesans nan pwogram nan aparèy entèn yo	Aksè konplè nan kòd sous la
Degre nan fwagmantasyon nan pwogram nan	Low	Mwayèn	Segondè
Ki moun ki fè debogaj la?	Fen divinò, tester ak devlopè	Fen itilizatè yo, debogaj yo ak devlopè yo	Devlopè ak tester
Sèvi	Tès ki baze sou sitiyasyon endependan ekstèn.	Dyagram DB, dyagram koule done, eta entèn yo, konesans algorithm ak achitekti	Se aranjman entèn la konplètman li te ye
Degre nan pwoteksyon	Pi piti exhaustive ak mande pou yon minimòm de tan	Mwayèn	Pouvwa ki pi complète la. Li pran yon bon bout tan
Done ak limit entèn yo	Senp debogaj pa jijman ak erè	Èske yo kapab tcheke domèn yo done ak sou fwontyè entèn yo, si yo yo li te ye	pi bon domèn yo rezilta tès ak sou fwontyè entèn
Konvnab algorithm tès	Pa gen	Pa gen	Wi

automatisation

metòd Otomatik nan tès lojisyèl se pi senplifye pwosesis la nan enspeksyon, kèlkeswa anviwònman an teknik ak kontèks la nan la. Yo itilize yo nan de ka:

1) nan otomatize fatigan, repetitif oswa metikuleu travay yo tankou konparezon dosye nan plizyè mil ranje yo nan lòd yo lage tan pou konsantrasyon nan tèsteur nan pwen pi enpòtan;

2) pou fè swiv oswa travay ki pa ka fasil fè pa moun ki pale tankou verifikasyon pèfòmans oswa tan repons analiz ki ka mezire nan santyèm nan yon dezyèm fwa.

zouti Egzamen kapab klase nan diferan fason. se divizyon nan pwochen ki baze sou travay yo yo sipòte:

• jesyon tès, ki gen ladan pwojè sipò jesyon, vèsyon, konfigirasyon, analiz risk yo, swiv tès, erè, domaj, ak zouti rapò;
• kondisyon jesyon, ki gen ladan kondisyon depo ak espesifikasyon, tcheke yo pou konplè ak anbigwite, priyorite yo ak trasabilite a nan chak tès;
• kritik revizyon ak estatik analiz, ki gen ladan siveyans koule, ak travay pou evalye, anrejistreman ak depo nan kòmantè, deteksyon domaj e te planifye lyen koreksyon jesyon yo lis ak règleman, swiv dokiman sous kominikasyon ak kòd analiz estatik yo detekte domaj, asire konfòmite avèk estanda yo nan Kòd ekri, analiz de estrikti ak Dependencies, kalkil nan paramèt yo metrik nan kòd la ak achitekti. Anplis de sa, sèvi ak konpilateur, analizeur, dèlko ak relasyon nan kwa-referans;
• modèl, ki gen ladan zouti pou konpòtman biznis modèl ak tès modèl yo;
• devlopman tès asire k'ap viv koulye a nan done espere sou baz la nan kondisyon ak modèl koòdone itilizatè ak kòd, jere yo kreye oswa modifye dosye ak bazdone, messagerie, done validation sou baz la nan règleman yo nan jesyon, estatistik analiz de kondisyon sa yo ak risk;
• yon View kritik pa k ap antre done yo nan yon koòdone itilizatè, API, liy lòd grafik lè l sèvi avèk konparèzon yo ede idantifye tès siksè ak fèt san siksè;
• sipò anviwònman debogaj ki pèmèt ou ranplase pyès ki nan konpitè manke oswa lojisyèl, nan Vol. h. ekipman Simulation ki baze sou sous-ensemble nan detèmine pwodiksyon, Emulation tèminal, telefòn mobil ak rezo ekipman, anviwònman an pou tcheke lang, sistèm operasyon ak pyès ki nan konpitè pa ranplase chofè a eleman manke, zafè modil, elatriye, osi byen ke zouti pou kaptire ak chanje eksplwatasyon an mande limit CPU simulation, RAM, ROM, oswa rezo a .;
• .. Yon konparezon nan dosye done, baz done, tcheke rezilta yo espere pandan ak apre tès la se konplè, incl dinamik ak pakèt konparezon, Otomatik "pawòl";
• kouch mezi pou lokalizasyon an nan fwit memwa ak kòrèk konpòtman kontwòl li yo sistèm estime anba aplikasyon chaj génération chaj fo, baz done, rezo oswa serveurs nan yon senaryo reyalis nan kwasans pou mezi, analiz ak verifikasyon nan resous sistèm rapò;
• sekirite;
• tès pèfòmans, chay ak analiz dinamik;
• lòt zouti, nan Vol. h. tcheke òtograf la ak sentaks, sekirite rezo a, disponiblite a nan tout paj sou sit wèb ak lòt.

pèspektiv

Avèk tandans yo chanje nan endistri a lojisyèl, pwosesis la nan debogaj se tou sijè a chanje. Gen metòd nouvo sou tès lojisyèl, tankou yon achitekti sèvis-orientirovannae (SOA), teknoloji san fil, sèvis mobil, ak sou sa. E.: Eske louvri moute nouvo fason nan lojisyèl egzamen an. Gen kèk nan chanjman sa yo ki yo atann nan endistri a sou ane kap vini yo yo ki nan lis pi ba a:

• Tester pral bay yon modèl ki lejè ke devlopè yo pral kapab tcheke kòd ou a;
• devlopman nan metòd tès, ki gen ladan gade ak pwogram modèl nan yon etap bonè, yo pral elimine anpil nan kontradiksyon yo;
• prezans nan plizyè entèrsèpsyon tès sa ap diminye tan an nan deteksyon erè;
• Anime analyser ak deteksyon vle di yo dwe plis lajman itilize;
• itilize nan matris mineral, tankou pwoteksyon nan spesifikasyon la, sijè ki abòde lan nan modèl ak kòd pwoteksyon an ap detèmine devlopman nan pwojè;
• zouti konbinatwar pèmèt Tester detèmine zòn ki priyorite pou debogaj;
• Tester pral bay yon sèvis plis entwisyon ak bonjan nan tout pwosesis la devlopman lojisyèl;
• debogeur ka kreye zouti ak metòd tès lojisyèl ekri nan ak kominike avèk yon varyete de lang programmation;
• ekspè deboge ap gen plis pwofesyonèl ki resevwa fòmasyon.

Èske yo pral ranplase pa yon nouvo metòd tès lojisyèl biznis-oryante, chanje fason an nan entèraksyon ak sistèm yo ak enfòmasyon an yo bay pandan y ap diminye risk yo ak pou ogmante benefis ki genyen nan chanjman sa yo biznis.