Aðferðir við prófun hugbúnaðar og samanburðar þeirra. Black-box próf og hvít-kassi próf

Prófun hugbúnaðar (SW) finna veikleika, galla og villur í kóða sem þarf að vera beint. Það getur einnig verið skilgreind sem aðferð við mat á virkni og réttmæti hugbúnaði með hjálp greiningarinnar. Helstu aðferðir við samþættingu og prófa hugbúnað og tryggja gæði er að prófa forskrift, hönnun og kóðun, áreiðanleika mats, staðfestingar og sannprófun.

aðferðir

Megintilgangur prófun hugbúnaðar - staðfesting á gæðum kerfisins hugbúnaður með kerfisbundnum kembiforrit umsókna samkvæmt vandlega stýrð skilyrði til að ákvarða heilleika þeirra og nákvæmni, sem og greiningu á falinn villur.

Aðferðir við sannprófun (próf) áætlanir má skipta í truflanir og dynamic.

Fyrrum ma óformlegt, eftirlit og tæknilega endurskoðun, eftirlit, skref fyrir greiningu skref, endurskoðun, auk fasta gögnum sjóðstreymis og stjórnun.

Dynamic aðferðir eru:

1. Hvítur kassi próf. Þetta er nákvæm rannsókn á innri rökfræði og uppbyggingu áætlunarinnar. Það er nauðsynlegt að þekkingu á kóða.
2. Svartur kassi próf. Þessi tækni krefst ekki vitneskju um innri starfsemi forritinu. Við skoðum aðeins undirstöðu þætti kerfisins, ekki tengjast eða tengjast nokkrum af innra rökrétt uppbyggingu þess.
3. Grár kassi aðferð. Það sameinar tvö fyrri aðferðir. Aflúsun með takmarkaða þekkingu á innra starfi af the umsókn er ásamt þekkingu á helstu þáttum kerfisins sem.

gagnsæ próf

Hvítur kassi aðferð sem nota próf forskriftir stjórna uppbyggingu málsmeðferð hönnun. Þessi tækni gerir að sýna villur í framkvæmd, svo sem lélega stjórnun kóða kerfi með því að greina hluta af innri starfsemi af the hugbúnaður. Þessar prófunaraðferðir gilda um samþættingu, mát og kerfi stigum. Mælitækisins skal hafa aðgang að kóðinn og nota það til að finna út hvaða eining hegðar sér óviðeigandi.

Prófa forrit með hvítum kassa hefur eftirfarandi kosti:

• Það gerir að greina villu í falinn númer með því að fjarlægja óþarfa línum;
• notkun hliðarverkunum;
• Hámarks umfjöllun er náð með því að skrifa próf handrit.

gallar:

• hár-kostnaður aðferð, sem krefst hæfum aflúsara;
• margir leiðir enn óþekktar vegna ítarlega athugun á öllum mögulegum falinn villur er mjög flókið;
• sumir af the merkjamál vilja vera samþykkt óséður.

Hvítur kassi próf er stundum vísað til með því að prófa gagnsætt eða opinn kassi, skipulagsbreytingar, rökrétt próf, byggt á kóðann og rökfræði arkitektúr.

Helstu tegundir:

1) að prófa að steymisstýrilokinn hafi - Structural stefnu með því að nota forritið stjórnlausri fyrirmynd og eins og meira eftir ódýrari einfaldar leiðir til að færri flóknari;

2) Útibúið er hannað til að rannsaka kembiforrit hvern valkost (rétt eða rangt) af hverri samanburðarlausn rekstraraðila, sem einnig felur í sér Sameinaða lausnin;

3) prófun á helstu vegi, sem gerir prófanir til að koma rökrétt flókið mæla vinnubrögðum verkefni að einangra grunn mengi brautir framkvæmd;

4) að haka við gögn á - að flæði stjórna stefnu Rannsóknir á skýringar telja upplýsingar um auglýsinguna og nota forritið breytur;

5) hringrásir af prófun - með fullri athygli á á eðlilega virkni hringlaga ferli.

hegðunarvanda kembiforrit

Svartur kassi próf skemmtun hugbúnað sem "svartur kassi" - upplýsingar um innri starfsemi áætlunarinnar eru ekki talin, og skoðaði aðeins undirstöðu þætti kerfisins. Í þessu tilviki, prófanir þarf að vita um kerfi arkitektúr án aðgang að frumkóða.

Kostir þessarar nálgunar:

• skilvirkni fyrir stóra kóða hluti;
• vellíðan af skynjun prófanir;
• sjónarmið notenda er greinilega aðskilin frá framkvæmdaraðila sjónarmiðum (forritari og prófanir eru óháð hvert öðru);
• hraðari sköpun próf.

Prófun hugbúnaðar svartur kassi aðferð hefur eftirfarandi ókosti:

• örugglega framkvæmt velja fjölda tilvika próf, sem leiðir í takmörkuðu umfjöllun;
• skortur á skýrum forskrift erfitt er að þróa próf forskriftir;
• lágt skilvirkni.

Önnur nöfn fyrir þessa tækni - hegðunarvandamál, ógagnsæ, hagnýtur próf og kembiforrit aðferð við lokuðum kassa.

Þessi flokkur getur falið í sér eftirfarandi prófun hugbúnaðar tækni:

1) jafngildir skipting, sem getur dregið úr sett af gögnum próf sem inntak hugbúnaður mát gögn er skipt niður í aðskilda hluta;

2) Mörkin gildi greiningu fjallar um sannprófun á mörkum eða erfiðustu viðmiðunarmörk - að lágmarki, hámark, og dæmigerðum gildum villa;

3) fuzzing - notað til að hrinda leitina með matar villur eða skemmd gögn poluiskazhennyh í sjálfvirka eða hálf-sjálfvirka stillingu;

4) telja orsakasamhengi - tækni sem byggist á sköpun gröf og ákvarða tengslin milli aðgerða og ástæður hennar: auðkenni, neitun, rökrétt OR og rökrétt AND - fjórum aðalpersónunum, tjá sambandið milli orsaka og afleiðinga;

5) Athugun á frá þverstæðu fylki beitt til vandamála með tiltölulega litlu inntak svæði en þann möguleika að tæmandi rannsóknum;

6) prófa öll pör - a Technique þar sem sett af gildum Prófið felur í sér allar mögulegar tvísamsetningar hvert par af breytum inntak;

7) kembiforrit ástand umskipti - tækni gagnlegur til að kanna stöðuna á vél, auk þess að fletta í gegnum GUI notanda.

Svartur kassi próf: Dæmi

svartur-kassi tækni byggist á forskriftum, skjöl, og lýsingar á hugbúnaði tengi eða kerfi. Að auki er hægt að nota líkön (formleg eða óformleg), fulltrúi væntanlegur hegðun af the hugbúnaður.

Venjulega, þessi aðferð er notuð fyrir kembiforrit notendaviðmót og krefst samskipti við umsókn kynna söfnun á gögnum og niðurstöðum - frá skjánum, úr skýrslum eða prenta.

Mælitækisins, því samskipti við the hugbúnaður eftir að slá, með því að starfa á rofa, hnappa eða önnur tengi. Val á inntak, til þess gjöf eða röð aðgerða getur leitt til a gríðarstór heildarfjölda samsetningar, eins og sýnt er í eftirfarandi dæmi.

Hversu margar prófanir þarf að gera í því skyni að kanna allar mögulegar gildi fyrir 4 gluggakista fána og einn-burt sviði, stilla tímann í sekúndum? Við fyrstu sýn útreikning er einföld: 4 svæðin með tveimur mögulegra ástanda - 24 = 16, sem verður að vera margfölduð með fjölda hugsanlegar stöður frá 00 til 99 í röð, þ.e.a.s. 1600 mögulegt prófunum.

Hins vegar er þessi útreikningur er rangt: við getum ákveðið að tveggja stiga getur einnig innihaldið bil, þ.e. það samanstendur af tveimur tölustafi stöðum og geta verið tölur og bókstafi, sértákn, bil osfrv Þannig ef .... kerfið er 16-bita tölva, snúa 216 = 65536 eina fyrir hverja stöðu á hlýst 4294967296 próf tilvikum sem að margfalda með 16 samsetningar af fánar sem gefur samtals 68,719,476 736. Ef þeir framkvæma á 1 prófun á sekúndu, er alls frh olzhitelnost próf er 2 177,5 ár. Fyrir 32 eða 64-bita kerfi, lengd jafnvel meira.

Því er þörf á að draga þetta tímabil að við megi una. Þannig aðferðir ætti að beita til að draga úr fjölda tilvika próf án þess að draga úr umfangi prófa.

jafngildi skipting

Sem nemur skipting er einföld aðferð sem er notuð fyrir hvaða breytur sem eru til staðar í hugbúnaði, hvort sem inntak eða úttak gildum, táknræn, númerabirtingu og aðrir. Það er byggt á þeirri meginreglu að öll gögn frá einum jafngildi skipting verður að meðhöndla á sama hátt og með því að sömu leiðbeiningar.

Prófanir valin einum fulltrúa hvers sérstaks jafngildi skipting. Þetta leyfir þér að því að draga úr fjölda mögulegra tilvika próf án þess að missa af umfjöllun um skipanir og aðgerðir.

Önnur afleiðing af þessu sneiða er að draga sameiningaraðferðin sprengingu milli mismunandi breytum og tilheyrandi lækkun tilvikum próf.

Til dæmis, í (1 / x) ^02/01 því að nota þrjá gögn röð, þrjú sambærilegu skipting:

1. Allar jákvæðar tölur verði meðhöndluð á sama hátt og ætti að gefa réttar niðurstöður.

2. Allir neikvæðar tölur eru meðhöndlaðar á sama hátt með sömu niðurstöðu. Þetta er rangt, vegna þess að rót af neikvæðri tölu er ímynduð.

3. Zero verða afgreidd sérstaklega og gefa villa "skiptingu með núlli". Þetta er hluti með einu gildi.

Þannig sjáum við þrjár mismunandi hluta, einn sem er minni að einu gildi. Það er eitt "rétt" kafla, sem gefur áreiðanlegar niðurstöður, og tveir "rangt" með rangar niðurstöður.

Mörkin gildi greiningu

Vinnsla á landamæri samsvarandi skipting er hægt að gera á annan hátt en búist var við. Rannsókn viðmiðunarmörk - vel þekkt aðferð til að greina hegðun af hugbúnaði á slíkum svæðum. Þessi tækni gerir það mögulegt að bera kennsl á slíkar villur:

• óviðeigandi notkun Vensla rekstraraðila (<,>, =, ≠, ≥, ≤);
• einn villa;
• vandamál í lotur og endurtekningar,
• röng tegund eða stærð breytur notaðar til að geyma upplýsingar;
• gervi takmarkanir í tengslum við gagnatög og breytur.

hálfgagnsær próf

grár kassi aðferð eykur próf umfjöllun, getur þú leggir áherslu á öllum erfiðum stigum kerfisins með blöndu af svörtu og hvítu tækni.

Using this aðferð, prófanir fyrir þróun gildum próf ætti að hafa þekkingu á innri gögn uppbygging og reiknirit. Dæmi um grá-box testing aðferðir eru sem hér segir:

• byggingarlistar líkan;
• Unified Modeling Language (UML);
• Ríkið líkan (endanlegar ástand vél).

Í aðferð við gráa kassanum til að þróa próf tilvikum rannsökuð einingar í hvítum númerum verkfræði, og raunverulegt próf er framkvæmt á tengi á svarta tækni forrit.

Þessi prófun aðferðir hafa eftirfarandi kosti:

• Sambland af kostum Technician hvítt og svart box;
• Tester er byggt á viðmóti og virkni forskrift, og ekki frumkóða;
• aflúsara geta gera mikill próf tilvikum;
• stöðva er gert úr sjónarhóli notandans, en hönnuður áætlunarinnar;
• Búa til sérsniðnar próf þróun;
• hlutlægni.

gallar:

• próf umfjöllun takmarkast af því að það er enginn aðgangur að kóðinn;
• flókið af göllum í úthluta umsókn;
• margar leiðir enn óþekktar;
• ef hugbúnaður verktaki hefur sett prófið, þá frekari rannsókn kann að vera of mikil.

Annað nafn fyrir gráa reitinn tækni - hálfgagnsær kembiforrit.

Þessi flokkur inniheldur slíkar aðferðir við prófun:

1) þverstæðum array - notkun á undirhópi allar mögulegar samsetningar;

2) Matrix Aflúsun með því að nota the ástand af the program gagna;

3) dvínandi skoðun fram á við breytingar á hugbúnaði;

4) sniðmát próf sem greinir hönnun og arkitektúr á góða umsókn.

Samanburður hugbúnaður prófun tækni

Notkun dynamic aðferðir leiðir til sameiningarframköllun sprengingu fjölda prófana sem þarf til að þróa, innleiða og framkvæma. Sérhver aðferð ætti að nota pragmatically teknu takmarkanir tilliti.

Hinn eina sanna aðferð ekki til staðar, það er bara þeir sem eru betur til þess fallin að ákveðið samhengi. Burðarvirki verkfræði leyfa okkur að finna gagnslaus eða illgjarn merkjamál, en þeir eru flókin og eru ekki við stór verkefni. Aðferðir sem byggja á forskriftum - þeir einu sem eru fær um að bera kennsl á vantar númerið, en þeir geta ekki utanaðkomandi. Sumir aðferðir eru fleiri hentugur fyrir tiltekna próf stig, villugerð eða samhengi en aðrir.

Hér að neðan eru helstu munur milli þriggja dynamic próf tækni - er gefið samanburð borð á milli þriggja form kembiforrit hugbúnað.

þáttur	Svartur kassi aðferð	Grár kassi aðferð	White-kassi aðferð
Framboð á upplýsingum um samsetningu námsins	Fjallar aðeins undirstöðu þætti	Þekking um innri uppbyggingu áætlunarinnar	Fullan aðgang að kóðinn
Gráðu sundrungu áætlunarinnar	lágt	Central	hár
Sem framleiðir villuleit?	Notendur, prófunartæki og forritara	Notendur, verktaki og debugging	Verktaki og prófunartæki
stöð	Próf er byggt á ytri neyðartilvikum.	Skýringarmyndir gagnagrunni, gagnaflæði skýringarmynd, ástand innri þekkingu á reiknirit og arkitektúr	Innri Tækið er fullkomlega meðvituð
Hve umfjöllun	Minna alhliða og krefst lágmarks tíma	Central	Hugsanlega umfangsmesta. Time-tímafrekt
Gögn og innri landamæri	Kemba aðeins með reynslu og villa	Hægt er að athuga gögnin lén og innri landamæri, ef þeir eru þekktir	Besta próf gögn lén og innri landamæri
Hentugleika próf reiknirit	engin	engin	Já

sjálfvirkni

Sjálfvirk Aðferðir prófun hugbúnaðar er mikið einfalda ferlið við skoðun, burtséð frá tæknilegum umhverfi og samhengi. Þau eru notuð í tveimur tilvikum:

1) til að gera sjálfvirkan leiðinlegur, einhæf eða nákvæmlega með verkefni eins og skrá samanburði við nokkur þúsund raðir í því skyni að losa tíma fyrir styrk mælitækisins fleiri mikilvæg atriði;

2) til að framkvæma mælingar eða verkefni sem ekki er hægt að auðveldlega framkvæmt af fólki eins og sannprófun árangri eða greiningar viðbragðstíma sem hægt er að mæla í hundruðustu úr sekúndu.

Prófa verkfæri geta vera flokkaður í mismunandi vegu. Næsti deild byggist á þeim verkefnum sem þeir styðja:

• próf stjórnun, sem felur í sér verkefnastjórnun stuðning, útgáfur, stillingar, áhættugreiningu, próf mælingar, villur, galla og skýrslugjöf verkfæri;
• Kröfur stjórnun, sem felur í sér geymslu kröfur og forskriftir stöðva þá fyrir heilleika og tvíræðni, forgang þeirra og rekjanleika hverrar prófunar;
• mikilvægt endurskoðun og truflanir greiningu, þ.mt rennsli eftirlit og verkefni, upptöku og geymslu athugasemdir, galla uppgötvun og fyrirhugaðar leiðréttingar stjórnun tengla á gátlista og reglum, mælingar samskipti heimildasöfnunar og númer truflanir greiningu til að greina galla, tryggja samræmi við reglur um ritun kóða, greining á burðarvirkjum og ósjálfstæði, útreikning á mæling breytum kóða og arkitektúr. Auk þess notum þýðendur, greiningartæki, rafala og samskiptum millivísunum;
• sitja, sem felur verkfæri fyrir líkanagerð fyrirtækja hegðun og prófa líkön;
• próf þróun tryggir kynslóð gagna búist á grundvelli skilyrða og notendaviðmót módel og númerið, tekst að búa til eða breyta skrám og gagnagrunnum, skilaboð, gögn löggilding á grundvelli reglna stjórnun, tölfræðileg greining á aðstæðum og áhættu;
• mikilvægt view því að slá inn gögn í gegnum grafísku notendaviðmóti, API, skipanalínunni með samanburðarlyf til að hjálpa þekkja vel og misheppnaður próf;
• Stuðningur kembiforrit umhverfi sem leyfir þér að skipta um vantar vélbúnaður eða hugbúnaður, í Vol., h. Simulation búnaði sem byggir á ákveðinn framleiðsla hlutmengi, flugstöðinni emulators, farsíma og net búnað, fyrir umhverfið stöðva tungumálum, stýrikerfum og vélbúnaður af stað vantar hlutar bílstjóri, ímynduð einingar, etc, eins og heilbrigður eins og verkfæri til að handtaka og breyta OS óskar CPU eftirlíkingu takmörkun, RAM, ROM, eða net .;
• .. Samanburður gagna, gagnagrunna, athuga tilætluðum árangri á meðan og eftir að prófið er lokið, þ.mt dynamic og hópur samanburður, Automatic "orða";
• lag mælingu fyrir að staðsetning leka minni og röng stjórn hegðun hennar að meta kerfið undir herma hlaða kynslóð hlaða forrit, gagnagrunna, net eða framreiðslumaður í raunhæf atburðarás vaxtar fyrir mælingar, greiningu og staðfestingu á kerfi auðlindir skýrslu;
• öryggi;
• flutningur próf, hlaða og dynamic greiningu;
• önnur verkfæri, í II. h. til að athuga stafsetningu og setningafræði, net öryggi, framboð á allra vefsíðna og öðrum.

sjónarhorni

Með breyttum þróun í hugbúnaðariðnaði, the aðferð af kembiforrit er einnig breyst. Það eru nýjar aðferðir við prófun hugbúnaðar, svo sem þjónustu-orientirovannae arkitektúr (SOA), þráðlausa tækni, farsíma þjónustu og svo framvegis. E., hafa opnað nýjar leiðir prófun hugbúnaðar. Sumar af þeim breytingum sem búist í greininni á næstu árum eru hér fyrir neðan:

• prófunartæki mun veita léttur líkan sem verktaki vilja vera fær til að athuga með númerið þitt;
• þróun prófunaraðferðir, þ.mt að skoða og Modeling forrit á frumstigi, mun útrýma mörgum af mótsögnum,
• Tilvist margar stöðvun próf mun stytta tímann villa uppgötvun;
• Static Analyzer og uppgötvun þýðir að meira notaður;
• notkun fylkja steinefni, svo sem umfjöllun um texta, umfang líkansins og umfjöllun kóða mun ákvarða þróun verkefna;
• blandaðar verkfæri leyfa prófunartæki að ákvarða forgangssvið kembiforrit;
• prófunartæki mun veita meira innsæi og verðmæta þjónustu í öllu þróun hugbúnaðar ferli;
• debugging geta búið verkfæri og hugbúnaður eista aðferð skrifaðar í og samskipti við ýmsum forritunarmálum;
• Kembiforrit sérfræðingar verða meira faglega þjálfun.

Verður skipt út fyrir nýja fyrirtæki-stilla hugbúnaður eista aðferð, til að breyta því hvernig samskipti við kerfi og upplýsingar sem þeir veita en að draga úr áhættu og auka ávinning af viðskiptum breytingar.