Hababka software baaritaanka iyo la isbarbardhigo. Habka Imtixaanka ee imtixaanka "sanduuqa madow" iyo habka of "sanduuqa cad"

software Imtixaanka (SW) qeexo farqiga, ceebaha iyo khaladaadka ku jira xeerka u baahan in wax laga qabto. Waxa kale oo lagu qeexi karaa sida habka qiimaynta ku shaqeynayaan iyo sax ee software-ka iyadoo la kaashanayo baadhitaanka. hababka aasaasiga ah ee is-dhexgalka iyo imtixaanka codsiyada software iyo tayada waa si ay u tijaabiso cayimidda, design iyo koodh, qiimaynta isku halaynta, ansixinta iyo xaqiijinta.

hababka

Ujeedada ugu weyn ee baaritaanka software - xaqiijinta tayada nidaamka software iyada oo codsiyada debugging nidaamsan xaaladaha si taxadar leh ay gacanta si loo ogaado in ay dhammaystir ahaanshaha iyo saxnimadu, iyo sidoo kale la ogaado in qaladaad ku qarsoon.

Hababka xaqiijinta barnaamijyada (imtixaan) waxa loo qaybin karaa ma guurto ah oo firfircoon.

hore waxaa ka mid ah oo aan rasmi ahayn, la socodka iyo dib u eegis farsamo, kormeerka, talaabo talaabo falanqaynta, hanti dhawrka, iyo sidoo kale falanqaynta xogta socodka ma guurto ah iyo maamulka.

farsamooyinka Dynamic waa:

1. imtixaanka sanduuqa White. Tani waa waxbarasho faahfaahsan ee macquulka ah gudaha iyo qaab-dhismeedka barnaamijka. Waxaa lagama maarmaan ah in ay aqoonta code isha.
2. imtixaanka sanduuqa Black. Farsamadan uma baahna wax aqoon ah oo ku saabsan Howlaha hoose ee codsiga. Waxaan ka fiirsan oo keliya dhinacyada asaasiga ah ee nidaamka, oo aan la xiriirin ama la xiriira dhowr ah oo ay qaab-dhismeedka macquul ah gudaha.
3. habka sanduuqa Gray. Waxay isku daraa labo waji ee hore. Debugging aqoon kooban oo hawlaha gudaha ee codsiga la weheliso aqoon oo ka mid ah dhinacyada asaasiga ah ee nidaamka.

imtixaanka hufan

The habka sanduuqa isticmaalaya qabnay imtixaanka cad xakameeyo qaab-dhismeedka of design ee nidaamka. Farsamada Tani waxay u ogolaaneysaa inuu u muujiyo khaladaad fulinta, sida nidaamka code maamulka masaakiinta by falanqeeyo qayb ka mid ah Howlaha hoose ee software-ka. hababka imtixaanka Kuwanu waa lagu dabaqi karo in heerka is-dhexgalka, module iyo nidaamka. inaad ahaatid waa in ay helaan code isha iyo u isticmaali si aad u ogaato oo unit aan habooneyn u dhaqmo.

Baarista barnaamijyada by cad-box leeyahay faa'iidooyinka soo socda:

• Waxa ay u ogolaataa in lagu ogaado qalad in code qarsoon iyadoo la fogeynayo khadadka loo baahnayn;
• isticmaalka dhibaatooyin soo raaca;
• caymiska ugu badnaan waxaa lagu gaarayaa by qoraal script imtixaan.

darrada:

• nidaamka kharashka badan, oo u baahan xirfad debugger;
• Xaqiidii badan sii sahamin sababtoo ah baaritaan buuxa oo dhan qaladaad qarsoon macquul tahay mid aad u adag;
• qaar ka mid ah xeerka loo gudbin doonaa lama dareemo.

imtixaanka sanduuqa White waxaa mararka qaarkood loo gudbiyaa by jirrabaya sanduuq oo hufan ama furan, dhismaha, imtixaanka macquul ah, ku salaysan code isha, iyo naqshadaha macquulka ah.

The kala duwan oo waaweyn:

1) jirrabaya gacanta socodka - istaraatijiyad dhismaha isticmaalaya model gacanta barnaamijka socodka iyo sida doorbidayey siyaabo fudud oo dheeraad ah si yar oo dheeraad ah oo adag,

2) laan waxaa loogu talagalay in ay wax ka barato debugging doorasho kasta (run ama been ah) of operator gacanta kasta, kaas oo sidoo kale ka mid ah xal isku daro,

3) imtixaanka waddada ugu weyn, kaas oo u ogolaanaya inaad ahaatid ah in la dhiso mashruuca nidaamka qiyaas kakanaanta oo macquul ah oo la takooro set salka meesha waddooyinku ku dil ah,

4) hubinta durdur xogta - xeeladaha socodka cilmi by qoritaan gaaban ku tirinay macluumaad ku saabsan ad iyo isticmaali doorsoomayaasha barnaamijka;

5) wareegyada ee imtixaanka - si buuxda diiradda u hawlgalka saxda ah ee geedi socodka xilliile ah.

debugging dabeecadda

imtixaanka sanduuqa Black oo daawaynaya software sida a "sanduuqa madow" - macluumaad ku saabsan Howlaha hoose ee barnaamijka aan la tirin, oo laga fiiriyaa oo keliya dhinacyada asaasiga ah ee nidaamka. Xaaladdan oo kale, inaad ahaatid u baahan yahay in la ogaado naqshadaha nidaamka aan heli code isha.

Faa'iidooyinka habkan:

• oolnimada for qeybta code ballaadhan yahay;
• sahal ah inaad ahaatid aragtida;
• aragtida user si cad u soocay dhinacyo sameeysa (barnaamijyada iyo inaad ahaatid ka madaxbannaan yihiin kasta oo kale), oo
• Abuuridda more deg deg ah ee imtixaanka.

software Imtixaanka habka sanduuqa madow ayaa khasaaraha soo socda:

• Hubaal sameeyaa dhowr ah oo la xusho oo ka mid ah xaaladaha imtixaanka, taasoo keentay in hoos imaad kooban;
• la'aanta faahfaahinta cad adag tahay in la horumariyo qabnay imtixaanka;
• oolnimada hooseeyo.

Magacyada kale ee technology this - dabeecadda, non-hufan, imtixaanka functional iyo habka debugging sanduuqa xidhan.

Qaybtan waxaa ka mid noqon kara kuwa soo socda farsamooyinka imtixaan software:

1) u dhiganta xijaab, kaas oo hoos u dhigi karaa set xogta baaritaanka sida xogta module software aqbasho waa la dumiyey qaybo gaar ah;

2) falanqaynta qiimaha soohdinta ay diiradda saartaa xaqiijinta xuduudaha ama xadka qiimaha xad-dhaaf ah - ugu yaraan, ugu badnaan, iyo qiimaha caadiga ah ee baadi;

3) fuzzing - isticmaalaa in lagu fuliyo raadinta by inputting qalad ama poluiskazhennyh xogta kharribeen in hab automatic ama semi-automatic;

4) dacwadood oo bixinta sababaha - farsamada ku salaysan abuurka garaafyada iyo go'aaminta xidhiidhka ka dhexeeya ficil iyo sababaha ay: aqoonsiga, inkiraad, macquul AMA ah oo macquul ah AND - afarta characters ugu weyn, ku muujiyey xiriirka ka dhexeeya sababta iyo saamaynta;

5) Xaqiijinta Arrays orthogonal codsatay in ay dhibaatooyin la xiriira meel la gelin yar aad iyo aad u macquul ah ee cilmi dhamaystiran;

6) jirrabaya nooeyada dhamaanteed - farsamo meesha set oo ah qiimaha imtixaanka ka kooban yahay oo dhan isku suurto gal binary ah labada nin kasta oo xuduudaheedu la gelin;

7) guurka gobolka debugging - farsamo waxtar u leh hubinta xaaladda mishiinka, iyo sidoo kale in ay dhex maraan ee gui user.

imtixaanka sanduuqa Black: Tusaalooyinka

farsamada madow-box ku salaysan yahay sooc, waraaqo, iyo tilmaanta interface software ama nidaamka. Intaa waxaa dheer, waxaad isticmaali kartaa daydo (rasmi ah ama aan rasmi ahayn), oo ka dhigan hab dhaqanka laga filayo ee software-ka.

Caadi ahaan, habkan loo isticmaalo debugging interface user iyo waxay u baahan tahay in la dhexgalo codsiga by bandhigid xog ururinta iyo natiijooyinka - ka shaashadda, ka warbixinta ama printouts.

inaad ahaatid, oo sidaas daraaddeed, macaamila software by inputting, by-simaha ku shido, badhamada ama interfaces kale. Doorashada xogta aqbasho, amarka maamulka ama isku xigxiga ee falalka keeni kartaa in tirada weyn guud ee isu-gaynta, sida ku cad tusaalaha soo socda.

Imisa baaritaan u baahan tahay in la sameeyo si ay u calaamadee dhammaan qiyamka suuragal ah in ay calanka 4 daaqadaha iyo beerta hal mar, waqti ee seconds? Marka ugu horeysa hortiisa xisaabinta waa mid fudud: 4 beeraha leh labada dal ee suuragalka ah - 24 = 16, oo waa loo laablaabi by tirada boosaska suurto gal ka 00 si ay u 99, 1600 i.e. baaritaano ay suurtagal tahay.

Si kastaba ha ahaatee, xisaabinta tani waa khalad, waxaan go'aan ka gaari kara in beerta labo dhibcood ayaa sidoo kale ku jiri kara meel, ie waxaa uu ka kooban yahay laba jagooyinka alphanumeric oo ka mid noqon kara characters alphanumeric, characters gaar ah, meelaha, iwm Sayidka, haddii .... nidaamka waa computer 16-bit ah, soo jeedin 216 = 65536 hal jago kasta oo ay sababtay 4294967296 kiisaska imtixaanka in ay tahay in la sii badisay 16-gaynta ee calanka siiya guud ahaan 68.719.476 736. Haddii ay qabtaan 1 imtixaanka per labaad, Ogow wadarta imtixaanka olzhitelnost waa 2 sano 177.5. Waayo, nidaamka 32 ama 64-bit, xitaa ka sii badan mudada.

Sidaa darteed waxaa loo baahan yahay in la yareeyo muddada this heer la aqbali karo. Sidaas darteed, farsamooyinka waa in la codsadaa in la yareeyo tirada xaaladaha imtixaanka iyada oo aan yareynta baaxadda imtixaanka.

isu-partitioning

Risaalo u dhiganta waa hab fudud oo waa mid ku habboon wixii doorsoomayaasha in ay joogaan in software ah, haddii la gelin ama wax soo saarka qiyamka, calaamad, tiro, iyo kuwa kale. Waxay ku salaysan tahay mabda'a ah in dhammaan xogta ka mid lamid ah Risaalo ka loola dhaqmi doonaa si la mid ah oo ay ku isku tilmaamo.

Inta lagu jiro baaritaanka, xulay hal wakiil oo ka xijaab walba isu-gaar ah. Tani waxay u ogolaaneysaa in aad si nidaamsan loo yareeyo tirada xaaladaha baaritaanka suurtogal ah iyada oo aan khasaaro ah oo hoos imaad ah amarradiisa iyo hawlaha.

natiijo kale oo partitioning this waa in la yareeyo qaraxa combinatorial dhexeeya doorsoomayaasha kala duwan iyo yaraynta la xidhiidha kiisaska imtixaanka.

Tusaale ahaan, in (1 / x) ^1/2 isticmaalaya saddex isku xigxigta, xogta, saddex Risaalo u dhiganta:

1. Dhamaan nambarada wanaagsan loola dhaqmi doono si la mid ah, waana in la siiyo natiijada saxda ah.

2. Dhamaan nambarada negative waxaa qabta si la mid ah natiijo isku mid ah. Tani waa sax ahayn, sababtoo ah asalka u ah tiro taban yahay khayaali ah.

3. Zero la si gooni gooni ah u maareeyeen doonaa oo u siin "qeybinta by eber" qaladka. Tani waa qayb ka mid ah la qiimo ah hal.

Sidaas darteed, waxaan arki saddex qaybood oo kala duwan, mid ka mid ah taas oo hoos u dhigay qiimaha hal. Waxaa jira hal qaybta "sax", taas oo ku siinayaa natiijo lagu kalsoonaan karo, iyo laba "qalad" natiijooyinka aan sax ahayn.

Falanqaynta qiimaha soohdinta

Processing on soohdimaha partitioning u dhiganta waxaa la samayn karaa si ka duwan sidii la filayay. Baaritaanka qiimaha xadidan - hab si fiican u yaqaan ee la falanqeeyo dhaqanka ee software ah meelaha sida. Farsamadan waxay suuro gelineysaa in la ogaado khaladaadka sida:

• Isticmaalka aan habboonayn ee ka shaqeeya oo xiriir ah (<,>, =, ≠, ≥, ≤);
• Baadi umad kaliya,
• dhibaatooyin wareegga iyo iterations,
• nooc qaldan ama size of doorsoomayaasha loo isticmaalo kaydinta macluumaadka;
• xadeynta macmal ah oo la xidhiidha macluumaadka noocyada iyo doorsoomayaasha.

imtixaanka translucent

habka sanduuqa cirro kordhiyaa caymiska imtixaanka, aad diiradda u saari karin dhammaan heerarka adag ee nidaamka isku jira farsamooyin madow iyo caddaan.

Isticmaalka farsamada this, inaad ahaatid ee horumarinta qiyamka baaritaanka waa in ay leeyihiin aqoon qaababka xogta gudaha iyo algorithms. Tusaalooyin ah hababka imtixaanka cawl-box waa sida soo socota:

• model naqshadda,
• Unified Qaabaynta Language (UML);
• model gobolka (mashiinka gobolka uguna).

In habka of sanduuqa cawl si ay u horumariyaan kiisaska imtixaanka bartay modules in codes injineernimada cad, iyo imtixaanka dhabta ah waxaa la sameeyaa oo ku interfaces oo ka mid ah barnaamijyada technology madow.

Kuwani hababka jirrabaya waxay leeyihiin faa'iidooyinka soo socda:

• isku darka of faa'iidooyinka sanduuqyada caddaan iyo madow farsamo;
• Tester waxay ku salaysan tahay interface iyo faahfaahinta functional, oo aan code isha;
• debugger ka dhigi kara xaaladaha imtixaanka weyn;
• jeeg waxaa laga sameeyey aragtida ah user, ma naqshadeeye barnaamijka;
• abuuro horumarinta imtixaanka caadadii;
• dhexdhexaadnimada.

darrada:

• caymiska imtixaanka ku eg, maxaa yeelay, ma jiraan wax ay helaan code isha;
• kakanaanta cilladaha ee codsiyada qaybiyey;
• siyaabo badan sii sahamin;
• haddii sameeysa barnaamijyada software-ka ayaa bilaabay baaritaanka, kadibna baaritaan dheeraad ah waxaa laga yaabaa in xad-dhaaf ah.

waa magac kale oo farsamooyinka sanduuqa cirro - debugging translucent.

Qaybtan waxaa ku jira hababka noocan ah ee imtixaanka:

1) isugu soo orthogonal - isticmaalka hoosaad ah oo dhan isku suurtogalka ah;

2) debugging furta isticmaalaya gobolka xogta barnaamijka;

3) kormeerka regressive qabtaa isbedelka cusub in software ah;

4) imtixaanka template in lafaguraa ee design iyo naqshadaha codsiga wanaagsan.

Isbarbar dhigga ee farsamooyinka imtixaan software

Isticmaalka hababka firfircoon keenaysaa in qarax combinatorial ee tirada imtixaanada u baahan in la horumariyo, fulin iyo la fuliyay. farsamo kasta waa in la isticmaalaa pragmatically, qaadashada xadka tixgeliyaan.

Habka keliya ee runta ah aanu jirin, waxaa jira oo kaliya waa kuwa ku habboon xaaladda gaarka ah. injineernimada Dhismayaasha noo oggolaan in la helo code a aan waxtar lahayn ama xaasidnimo ah, laakiin ay adag yihiin oo ma khuseyso barnaamijyada waaweyn. Hababka ku salaysan sooc - kuwa kaliya in ay awoodaan in ay aqoonsadaan code ka maqan, laakiinse iyagu ma ay garan kartaa qof dibada ah. Farsamooyinka qaarkood waa ku haboon gaar ah heerka imtixaanka, nooca qalad ama macno badan kuwa kale.

Hoos waxaa ku qoran ee kala duwan ugu weyn ee u dhexeeya saddex farsamooyinka imtixaan firfircoon - waxaa la siiyaa miiska la barbardhigo u dhexeeya saddexda nooc ee debugging software.

dhinaca	Habka sanduuqa madow	habka sanduuqa Gray	Habka White-box
Helitaanka macluumaad ku saabsan ka kooban barnaamijka	Baarayaa oo keliya dhinacyada aasaasiga ah ee	aqoon Qayb ku saabsan qaab dhismeedka gudaha ee barnaamijka	Inaad marin buuxa u code isha
Degree of qaybsanaanta barnaamijka	hooseeyo	Bartamaha	sare
Yaa soo saara debugging?	End users, tijaabiyeyaal iyo horumarinta	End users, horumarinta iyo debuggers	Horumarinta iyo tijaabiyeyaal
saldhig	Baaritaanka ku salaysan tahay xaaladaha degdegga ah dibadda.	Jaantus database, jaantus socodka xogta, gobolka aqoonta gudaha oo ka mid ah isku geynta iyo naqshadaha	Qalabka wuxuu gudaha waa ogyahay
Degree ee caymiska	Yar oo dhamaystiran iyo waxay u baahan tahay ugu yaraan waqtiga	Bartamaha	Imaan Karta ugu dhamaystiran. Waqti lumis
Xogta iyo xuduudaha gudaha	Debug kaliya by maxkamad iyo qalad	in la hubiyaa kartaa domains xogta iyo xuduudaha gudaha, haddii ay lagu yaqaan	Ugu fiican ee domains xogta baaritaanka iyo xuduudaha gudaha
geynta imtixaanka ku haboonaanta	No	No	Haa

qalabaynta

Hababka Automatic ah imtixaanka software waxaa inta badan loo fududeeyo habka ee kormeerka, iyadoo aan loo eegin deegaanka farsamo iyo macnaha guud ee ku. Waxay waxaa loo isticmaalaa in laba xaaladood:

1) in la qalabayn hawlaha daalin, soo noqnoqda ama la dhaafin sida la barbardhigo file in dhowr kun oo saf ku jira si ay u sii daayaan waqti fiirsashada of ahaatid qodobada badan oo muhiim ah;

2) hawl statistics ama hawlo aan si fudud loo samayn karaa by dadka sida xaqiijinta waxqabadka ama waqti jawaab falanqaynta in la qiyaasi karo in boqol ka mid ah labaad.

qalabka Test loo kala saari karaa siyaabo kala duwan. Qeybtu waxay soo socda waxay ku salaysan tahay hawlaha ay taageero:

• maamulka imtixaanka, oo ay ku jiraan taageero mashruuca maamulka, versions, gaadmada ah, falanqaynta halista, imtixaanka statistics, khaladaad, iin, iyo qalabka warbixinta;
• maamulka shuruudaha, taas oo ka mid ah shuruudaha lagu kaydiyo iyo caddaymaha, iyaga hubiyo dhammaystirka iyo madmadowga, ay mudnaan iyo uq ee imtixaan kasta;
• dib u eegida muhiimka ah iyo falanqaynta ma guurto ah, oo ay ku jirto la socodka socodka, iyo hawlo, duubista iyo kaydinta of comments, ogaanshaha iin iyo qorsheeyey links maamulka sixitaan ku liis hubineed iyo xeerarka, raad waraaqaha ilaha isgaarsiinta iyo falanqaynta guurto ah code in lagu ogaado cilladaha, hubinta waafaqsan heerarka code qoraal, falanqaynta ee dhismayaasha iyo tiirsanaanta, xisaabinta ee ku soo koobin ton oo ka mid ah xeerka iyo naqshadaha. Intaa waxaa dheer, isticmaali compilers, analyzers, matoorrada iyo xiriirka iskutallaabta-tixraacyada;
• Tusaale fiican, oo ay ku jiraan qalab loogu talagalay Qaabaynta dabeecada ganacsiga iyo tijaabin lagu daydo, oo
• horumarinta imtixaanka ay hubisaa in jiilka xogta la filayaa ku salaysan xaaladaha iyo daydo interface user iyo code, maareeyo si ay u abuuraan ama tifatir files iyo database, fariimaha, ansaxinta xog ku salaysan xeerarka maamulka, falanqaynta tirakoobka oo ka mid ah xaaladaha iyo khatarta;
• view muhiim ah by galaya xogta iyada oo interface user, API, line a amarka garaafyada isticmaalaya comparators si ay u aqoonsadaan baaritaano guul iyo guul daraystay,
• taageerada deegaanka debugging kuu ogolaanaya inaad si uu u bedelo hardware ka maqan ama software, ee Vol. h. qalabka Jilidda ku salaysan hoosaad ka go'an wax soo saarka, emulators terminal, telefoonada gacanta iyo qalabka network, deegaanka hubinta luqadaha, nidaamyada hawlgalka iyo hardware by bedelay darawalka qaybaha maqan, khayaal ah modules, iwm, iyo sidoo kale qalab loogu talagalay qabsaday iyo bedelayaan OS codsado xaddidaadda jilidda processor, RAM, ROM, ama shabakadda .;
• .. barbardhigo A of files xogta, xogta, hubi natiijooyinka la filayo inta lagu guda jiro iyo kadib imtixaanka waa complete, asagoo lagu firfircoon iyo isbarbardhigga Dufcaddii, Automatic "Ereyada";
• daahan cabbiro deegaamaynta ah ee xasuusta darroor iyo nidaamka la qiyaasayo dhaqanka gacanta ay sax ahayn ka yar codsiyada load dhalin load metelay, database, shabakadaha ama server in xaalad macquul ah ee koritaanka, waayo, cabbirka, falanqaynta iyo xaqiijinta warbixinta khayraadka nidaamka;
• ammaanka,
• imtixaanka waxqabadka, load iyo falanqaynta firfircoon;
• qalab kale, ee Vol h.. si aad u hubiso ka higaada iyo Saan, ammaanka network, helitaanka dhammaan bogagga website oo kale.

muuqaal

Iyadoo isbeddellada beddelo in industry software ah, geeddi-socodka debugging sidoo kale waa la beddeli karaa. Waxaa jira habab cusub oo imtixaanka software, sida naqshadda dhismaha ah adeeg-orientirovannae (SOA), teknoolajiyada wireless, adeegyada mobile, iyo E. sidaas on., Habab cusub oo software imtixaanka Ma furay. Qaar ka mid ah isbedel la filayaa in industry ee ka weyn sanadaha soo socda waxay ku qoran yihiin hoos ku qoran:

• tijaabiyeyaal siin doonaa model ah oo khafiifa in horumarinta awoodaan si loo hubiyo code jiri doonaa,
• horumarinta hababka baaritaanka, oo ay ku jiraan la daawado iyo habka barnaamijyada marxalad hore, la baabi'iyo doonaa badan oo is burinaya,
• joogitaanka imtixaanka dhexda u badan gaabin doonaa wakhtiga la ogaado qaladka,
• analyzer ma guurto ah iyo ogaanshaha waxay ka dhigan tahay in la sii ballaadhan loo isticmaalo;
• isticmaalka matrices macdanta, sida caymiska ee cayimidda, baaxadda caymiska model iyo xeerka go'aamin doona horumarinta mashaariicda;
• qalabka combinatorial ogolaan kara tijaabiyeyaal si loo ogaado meelaha mudnaanta debugging ah;
• tijaabiyeyaal bixin doonaan adeegyo badan oo dareen leh oo qiimo leh habka horumarinta software ah;
• debuggers abuuri karaan qalabka iyo hababka baaritaanka software ku qoran iyo la dhaqanka kala duwan oo ka mid ah luqadaha barnaamijyada;
• khubaro Debugging la more tababaran oo xirfad doonaa.

waxaa lagu beddeli doonaa by a hababka imtixaanka software janjeedha ganacsiga cusub, in la beddelo jidka is dhexgalka nidaamka iyo warbixinta ay bixiyaan iyo inta yaraynta halista iyo kordhaya faa'iidooyinka isbedel ganacsiga.