Awọn ọna ti igbeyewo software ki o si afiwe wọn. HIV ọna ti "dudu apoti" HIV ati awọn ọna ti "funfun apoti"

Igbeyewo software (SW) da ela, shortcomings ati awọn aṣiṣe ninu awọn koodu ti o nilo lati wa ni a koju. O le tun ti wa ni telẹ bi awọn ilana ti iṣiro awọn iṣẹ-ati titunse ti awọn software pẹlu awọn iranlọwọ ti awọn onínọmbà. Ipilẹ ọna ti Integration ati igbeyewo ti software elo ati ki o rii daju didara ni lati se idanwo awọn sipesifikesonu, oniru ati ifaminsi, wa dede iwadi, afọwọsi ati ijerisi.

awọn ọna

Awọn ifilelẹ ti awọn idi ti software igbeyewo - ìmúdájú ti awọn didara ti software eto nipasẹ ifinufindo ṣatunṣe awọn ohun elo labẹ fara dari ipo lati mọ wọn aṣepari ati awọn išedede, bi daradara bi awọn erin ti pamọ aṣiṣe.

Awọn ọna ti ijerisi (HIV) eto le wa ni pin si miiran ati ki o ìmúdàgba.

Awọn tele ni informal, monitoring ati imọ awotẹlẹ, se ayewo, igbese nipa igbese onínọmbà, iṣatunṣe, bi daradara bi aimi data sisan onínọmbà ati isakoso.

Ìmúdàgba imuposi ni o wa:

1. White apoti igbeyewo. Eleyi jẹ alaye iwadi ti awọn ti abẹnu kannaa ati be ti awọn eto. O jẹ pataki lati imo ti awọn orisun koodu.
2. Black apoti igbeyewo. Yi ilana ko ni ko beere eyikeyi imo nipa awọn akojọpọ iß ti awọn ohun elo. A ro nikan ni ipilẹ ise ti awọn eto, ko jẹmọ si tabi ni nkan ṣe pẹlu kan diẹ ti awọn oniwe-ti abẹnu mogbonwa be.
3. Gray apoti ọna. O daapọ meji ti tẹlẹ yonuso si. Ṣatunṣe pẹlu opin imo ti awọn ti abẹnu functioning ti awọn ohun elo ti wa ni idapo pelu imo ti awọn ipilẹ ise ti awọn eto.

sihin HIV

Awọn funfun apoti ọna lilo igbeyewo iwe afọwọkọ sakoso be ti ti ilana oniru. Yi ilana laaye lati fi han imuse aṣiṣe, gẹgẹ bi awọn talaka isakoso koodu eto nipa gbeyewo apa kan ninu awọn akojọpọ iß ti awọn software. Awọn wọnyi ni igbeyewo awọn ọna ti wa ni wulo si Integration, module ati eto awọn ipele. Awọn ndan gbọdọ ni wiwọle si orisun koodu ati ki o lo o lati wa jade eyi ti kuro huwa aiṣedeede.

Igbeyewo awọn eto nipa funfun-apoti ni o ni awọn wọnyi anfani:

• Ti o faye gba lati ri ohun ašiše ni farasin koodu nipa yiyọ kobojumu ila;
• awọn lilo ti ẹgbẹ-igbelaruge;
• o pọju agbegbe ti wa ni waye nipa kikọ kan igbeyewo akosile.

alailanfani:

• ga-iye owo ilana, to nilo ti oye debugger;
• ọpọlọpọ awọn avenues wa unexplored nitori nipasẹ ayẹwo ti gbogbo awọn ti ṣee farasin aṣiṣe jẹ gidigidi eka;
• diẹ ninu awọn ti awọn koodu ti yoo wa ni koja lekunrere.

White apoti igbeyewo ti wa ni ma tọka si nipa igbeyewo a sihin tabi ìmọ apoti, igbekale, mogbonwa HIV, da lori awọn orisun koodu, ati kannaa faaji.

Awọn ifilelẹ ti awọn orisirisi:

1) igbeyewo awọn sisan iṣakoso - igbekale nwon.Mirza lilo awọn eto iṣakoso sisan awoṣe ati bi favoring diẹ rọrun ona lati díẹ eka sii;

2) eka ti a ṣe lati iwadi ṣatunṣe kọọkan aṣayan (otitọ tabi eke) ti kọọkan Iṣakoso netiwọki, ti o tun ni a ni idapo ojutu;

3) igbeyewo ti awọn ifilelẹ ti awọn ona, ti o gba ndan lati fi idi mogbonwa complexity odiwon ti ilana ise agbese fun isolating a mimọ ti ṣeto ti ipaniyan ọna;

4) yiyewo awọn data san - awọn sisan iṣakoso nwon.Mirza ti iwadi nipasẹ awọn annotations ka alaye nipa awọn ipolongo ati ki o lo awọn eto oniyipada;

5) ti waye ni igbeyewo - ni kikun lojutu lori awọn isẹ ti o tọ salayipo lakọkọ.

iwa ṣatunṣe

Black apoti igbeyewo awọn itọju awọn software bi a "dudu apoti" - alaye nipa awọn akojọpọ iß ti awọn eto ko ba wa ni kà, o si ẹnikeji nikan ni ipilẹ ise ti awọn eto. Ni idi eyi, awọn ndan nilo lati mọ awọn eto faaji lai wiwọle si orisun koodu.

Anfani ti yi ona:

• ṣiṣe fun o tobi koodu apa;
• irorun ti Iro ndan;
• olumulo irisi ti wa ni kedere niya lati awọn Olùgbéejáde ăti (komputa ati ndan wa ni ominira ti kọọkan miiran);
• diẹ dekun ẹda ti igbeyewo.

Igbeyewo software dudu apoti ọna ni o ni awọn wọnyi alailanfani:

• nitõtọ ošišẹ ti a yan nọmba kan ti igbeyewo igba, Abajade ni lopin agbegbe;
• aini ti a ko sipesifikesonu soro lati se agbekale igbeyewo iwe afọwọkọ;
• kekere ṣiṣe.

Miiran orukọ fun yi ọna ti - iwa, ti kii-sihin, iṣẹ-HIV ati ṣatunṣe ọna ti a titi apoti.

Ẹka yìí le ni awọn wọnyi software igbeyewo imuposi:

1) deede si ipin, eyi ti o le din ṣeto ti igbeyewo data bi input software module data ti wa ni dà si isalẹ sinu lọtọ awọn ẹya ara;

2) ààlà iye onínọmbà fojusi lori ijerisi ti aala tabi awọn iwọn iye iye - awọn kere, o pọju, ati aṣoju iye ti aṣiṣe;

3) fuzzing - lo lati se awọn search nipa inputting aṣiṣe tabi ibaje data poluiskazhennyh ni laifọwọyi tabi ologbele-laifọwọyi mode;

4) julo ti causality - a ilana da lori awọn ẹda ti awọn aworan ati awọn ti npinnu awọn ibasepọ laarin awọn igbese ati awọn oniwe-idi: idanimo, isododi, mogbonwa OR ati mogbonwa AND - mẹrin akọkọ ohun kikọ, ṣalaye awọn ibasepọ laarin awọn fa ati ipa;

5) ayewo ti duro ni oro imole loo si awọn iṣoro pẹlu kan jo kekere input agbegbe gidigidi awọn seese ti tán iwadi;

6) igbeyewo gbogbo awọn orisii - a ilana ibi ti a ti ṣeto ti igbeyewo iye ninu gbogbo awọn ti ṣee alakomeji awọn akojọpọ ti kọọkan bata ti input sile;

7) ṣatunṣe ipinle orilede - a ilana wulo fun yiyewo awọn ipo ti awọn ẹrọ, bi daradara bi lati lilö kiri nipasẹ awọn GUI olumulo.

Black apoti igbeyewo: Apeere

dudu-apoti ilana ti wa ni da lori awọn pato, iwe, ati awọn apejuwe ti awọn software ni wiwo tabi eto. Ni afikun, o le lo dede (lodo tabi informal), o nsoju awọn reti ihuwasi ti awọn software.

Ojo melo, yi ọna ti o ti lo fun ṣatunṣe ni wiwo olumulo ati ki o nbeere ibaraenisepo pẹlu awọn ohun elo nipa to ni lenu a data gbigba ati awọn esi - lati iboju, lati awọn iroyin tabi printouts.

Awọn ndan, nitorina, interacts pẹlu awọn software nipa inputting, nipa anesitetiki lori awọn yipada, awọn bọtini tabi awọn miiran atọkun. Awọn wun ti input data, awọn aṣẹ ti isakoso tabi ọkọọkan ti sise le ja si kan tobi lapapọ nọmba ti awọn akojọpọ, bi o han ni awọn wọnyi apẹẹrẹ.

Bawo ni ọpọlọpọ igbeyewo nilo lati ṣe ni ibere lati ṣayẹwo gbogbo awọn ti ṣee iye fun awọn 4 windows Flag ati ọkan-pipa aaye, ṣeto akoko ni aaya? Ni akọkọ oju isiro ni o rọrun: 4 oko pẹlu meji ṣee ṣe ipinle - 24 = 16, eyi ti o gbọdọ wa ni isodipupo nipa awọn nọmba ti o ti ṣee ipo lati 00 to 99, i.e. 1600 ṣee ṣe igbeyewo.

Sibẹsibẹ, yi isiro jẹ ti ko tọ: a le mọ pe awọn meji-ojuami oko tun le ni awọn aaye kan kun, ie ti o oriširiši meji alphanumeric ipo ati ki o le ni alphanumeric ohun kikọ, pataki ohun kikọ, awọn alafo, bbl Bayi, ti o ba .... eto ti wa ni a 16-bit kọmputa, tan 216 = 65536 ọkan fun kọọkan ipo ninu awọn iyorisi 4294967296 igbeyewo igba ti o wa ni lati wa ni isodipupo nipasẹ 16 akojọpọ ti awọn asia ti yoo fun a lapapọ ti 68.719.476 736. ti wọn ba ṣe ni 1 igbeyewo fun keji, lapapọ Tesi olzhitelnost HIV ni 2 177.5 years. Fun 32 tabi 64-bit awọn ọna šiše, awọn Iye akoó ani diẹ sii.

Nitorina nibẹ ni a nilo lati din asiko yi si ohun itewogba ipele. Bayi, awọn imuposi yẹ ki o wa ni loo lati din awọn nọmba ti igbeyewo igba lai atehinwa awọn dopin ti HIV.

ṣe deede ti ipin

Awọn deede ipin ti wa ni a rọrun ọna ti o jẹ wulo fun eyikeyi oniyipada ti o wa ni bayi ni software, boya input tabi o wu iye, AMI, nomba, ati awọn miran. O ti da lori awọn opo ti gbogbo awọn data lati ọkan deede ti awọn ipin ti yoo wa ni mu ni ọna kanna ati nipa awọn kanna ilana.

Nigba igbeyewo, ti a ti yan ọkan asoju ti kọọkan pato ṣe deede ipin. Eleyi faye gba o lati ọna din awọn nọmba ti o ti ṣee igbeyewo igba laisi pipadanu ti agbegbe ti ofin ati awọn iṣẹ.

Miran Nitori ti yi ipin ni lati din combinatorial bugbamu laarin awọn ti o yatọ oniyipada ati awọn nkan idinku ti igbeyewo igba miran.

Fun apẹẹrẹ, ni (1 / x) ^1/2 lilo mẹta data lesese, mẹta deede ipin:

1. Gbogbo nomba rere yoo wa ni mu ni ọna kanna ati ki o yẹ fun o tọ esi.

2. Gbogbo nomba odi ti wa ni lököökan ni ni ọna kanna pẹlu awọn esi kanna. Eleyi jẹ ko tọ, nitori awọn root kan ti a ti odi nọmba ni riro.

3. Odo yoo wa ni lököökan lọtọ ki o si fun awọn aṣiṣe "pipin nipa odo". Eleyi jẹ kan apakan pẹlu kan nikan iye.

Bayi, a ri meta ọtọọtọ, ọkan ninu awọn eyi ti o ti dinku si kan nikan iye. Nibẹ ni ọkan "ti o tọ" apakan, eyi ti yoo gbẹkẹle awọn esi, ati meji "ti ko tọ" pẹlu ti ko tọ esi.

ala iye onínọmbà

Processing lori awọn aala ti awọn deede ti ipin le ṣee ṣe otooto ju ti ṣe yẹ. Iwadi ti iye iye - a daradara-mọ ọna ti gbeyewo awọn ihuwasi ti awọn software ni iru agbegbe. Yi ilana mu ki o ṣee ṣe lati da iru aṣiṣe:

• aibojumu lilo ti ibatan awọn oniṣẹ (<,>, =, ≠, ≥, ≤);
• nikan ni aṣiṣe;
• isoro ni waye ati iterations,
• ti ko tọ si orisi tabi iwọn ti àwọn ayípadà lo fun titoju alaye;
• Oríkĕ idiwọn ni nkan ṣe pẹlu data orisi ati oniyipada.

translucent HIV

grẹy apoti ọna mu ki awọn igbeyewo agbegbe, o le fojusi lori gbogbo awọn nira awọn ipele ti awọn eto nipasẹ kan apapo ti dudu ati funfun imuposi.

Lilo yi ilana, awọn ndan fun awọn idagbasoke ti igbeyewo iye yẹ ki o ni imo ti abẹnu data ẹya ati awọn aligoridimu. Apeere ti grẹy-apoti igbeyewo ọna wa bi wọnyi:

• ayaworan awoṣe;
• Iṣọkan Modelling Language (UML);
• ipinle awoṣe (adópin ipinle ẹrọ).

Ni awọn ọna ti awọn grẹy apoti lati se agbekale igbeyewo igba iwadi modulu ni funfun ti ina- awọn koodu, ati gangan igbeyewo ni ošišẹ lori awọn atọkun ti awọn dudu ọna eto.

Awọn wọnyi ni igbeyewo awọn ọna ni awọn wọnyi anfani:

• apapo ti awọn anfani Onimọn funfun ati dudu apoti;
• Ndán wa ni da lori wiwo ati iṣẹ-sipesifikesonu, ki o si ko awọn orisun koodu;
• debugger le ṣe nla igbeyewo igba;
• ayẹwo ni se lati ojuami ti wo ti awọn olumulo, ko awọn onise ti awọn eto;
• ṣẹda aṣa igbeyewo idagbasoke;
• objectivity.

alailanfani:

• igbeyewo agbegbe wa ni opin nitori nibẹ ni ko wiwọle si orisun koodu;
• awọn complexity ti awọn abawọn pin awọn ohun elo;
• ọpọlọpọ awọn ọna wa unexplored;
• ti o ba ti software developer ti se igbekale awọn igbeyewo, ki o si siwaju iwadi le jẹ nmu.

Orúkọ mìíràn fun awọn grẹy apoti imuposi - translucent ṣatunṣe.

Ẹka yìí pẹlu iru awọn ọna ti igbeyewo:

1) duro ni oro orun - awọn lilo ti a ayosile ti gbogbo awọn ti ṣee akojọpọ;

2) matrix ṣatunṣe lilo awọn ipinle ti awọn eto data;

3) regressive se ayewo waiye ni awọn titun ayipada si awọn software;

4) awoṣe igbeyewo ti o se itupale oniru ati faaji ti kan ti o dara ohun elo.

Lafiwe ti software igbeyewo imuposi

Awọn lilo ti ìmúdàgba ọna nyorisi kan combinatorial bugbamu ti awọn nọmba ti igbeyewo ti o nilo lati wa ni idagbasoke, muse ati ti gbe jade. Gbogbo ilana yẹ ki o wa ni lo pragmatically, mu awọn oniwe idiwọn sinu iroyin.

Awọn nikan otito ọna ti ko ni tẹlẹ, nibẹ ni nikan awon ti o wa ni o dara ti baamu si kan pato tọ. Igbekale ina- gba wa lati ri a be tabi irira koodu, sugbon ti won ba wa ni eka ati ni o wa ko wulo to tobi eto. Awọn ọna da lori awọn pato - nikan ni eyi ti o wa ni anfani lati da awọn sonu koodu, sugbon ti won ko le da ohun outsider. Diẹ ninu awọn imuposi ni o wa diẹ dara fun a pato igbeyewo ipele, aṣiṣe iru tabi o tọ ju awọn miran.

Ni isalẹ wa ni akọkọ iyato laarin awọn mẹta ìmúdàgba igbeyewo imuposi - ti ni a fun a lafiwe tabili laarin awọn mẹta iwa ṣatunṣe software.

aspect	Awọn dudu apoti ọna	Gray apoti ọna	White-apoti ọna
Wiwa ti alaye lori awọn tiwqn ti awọn eto	Ayewo nikan ni ipilẹ ise ti	Apa kan imo nipa awọn ti abẹnu be ti awọn eto	Ni kikun wiwọle si awọn orisun koodu
Ìyí ti Fragmentation ti awọn eto	kekere	Central	ga
Ti o fun wa ṣatunṣe?	Mu awọn olumulo, testers ati kóòdù	Mu awọn olumulo, Difelopa ati debuggers	Kóòdù ati testers
mimọ	HIV ni da lori awọn ita pajawiri ipo.	Awọn aworan atọka database, data sisan awọn aworan atọka, ipinle ti abẹnu imo ti awọn alugoridimu ati faaji	Awọn ti abẹnu ẹrọ ni kikun mọ
Ìyí agbegbe	Kere okeerẹ ati ki o nbeere kan kere ti akoko	Central	Oyi awọn julọ okeerẹ. Akoko-n gba
Data ati awọn ti abẹnu aala	Yokokoro nikan nipa iwadii ati awọn ašiše	Le ti wa ni ẹnikeji awọn data ibugbe ati awọn ti abẹnu aala, ti o ba ti won ti wa ni mo	Ti o dara ju igbeyewo data ibugbe ati awọn ti abẹnu aala
Ìbójúmu HIV alugoridimu	ko si	ko si	bẹẹni

adaṣiṣẹ

Laifọwọyi awọn ọna ti software igbeyewo ti wa ni Elo gbangba awọn ilana ti se ayewo, lai ti awọn imọ ayika ati awọn ti o tọ ti awọn. Wọn ti wa ni lo ni meji igba miran:

1) lati automate awọn tedious, ti atunwi tabi tele awọn iṣẹ-ṣiṣe gẹgẹ bi awọn faili lafiwe si ọpọlọpọ ẹgbẹrun ila ni ibere lati tu akoko fun fojusi ti awọn ndan diẹ pataki ojuami;

2) fun sise titele tabi awọn iṣẹ-ṣiṣe ti o le ko wa ni awọn iṣọrọ nipasẹ ošišẹ ti eniyan bi išẹ ijerisi tabi onínọmbà esi akoko ti o le wa ni won ni ìdá a keji.

Igbeyewo irinṣẹ le wa ni classified ni awọn ọna oriṣiriṣi. Nigbamii ti pipin wa ni da lori awọn iṣẹ-ṣiṣe ti won ni atilẹyin:

• igbeyewo isakoso, ti o ba pẹlu ise agbese isakoso support, awọn ẹya, awọn atunto, ewu onínọmbà, igbeyewo titele, aṣiṣe, abawọn, ki o si riroyin irinṣẹ;
• awọn ibeere isakoso, ti o ba pẹlu ipamọ ibeere ati ni pato, ṣayẹwo wọn fun aṣepari ati ambiguity, wọn ayo ati awọn traceability ti kọọkan igbeyewo;
• lominu ni awotẹlẹ ki o si aimi onínọmbà, pẹlu sisan monitoring, ati awọn iṣẹ-ṣiṣe, gbigbasilẹ ati ibi ipamọ ti comments, abawọn erin ati ngbero awọn atunṣe isakoso ìjápọ si checklists ati awọn ofin, titele ibaraẹnisọrọ orisun iwe ati koodu aimi onínọmbà lati ri abawọn, aridaju ibamu pẹlu awọn ajohunše ti kikọ koodu, igbekale ti ẹya ati awọn dependencies, isiro ti awọn metric sile ti awọn koodu ati faaji. Ni afikun, lo compilers, analyzers, Generators ati ajosepo ti agbelebu-jo;
• modeli, ti o ba pẹlu irinṣẹ fun modeli owo iwa ati idanwo awọn si dede;
• igbeyewo idagbasoke idaniloju awọn iran ti data o ti ṣe yẹ lori ilana ti ipo ati ni wiwo olumulo dede ati koodu, ṣakoso awọn lati ṣẹda tabi yi awọn faili ati infomesonu, fifiranṣẹ, data afọwọsi lori igba ti awọn ofin ti isakoso, iṣiro igbekale ti ipo ati ewu;
• a lominu ni wo nipa titẹ awọn data nipasẹ kan ayaworan ni wiwo olumulo, API, pipaṣẹ ila lilo comparators lati ran da aseyori ati ki o yanju igbeyewo;
• support ṣatunṣe ayika ti o fun laaye lati ropo sonu hardware tabi software, ni Vol. h. Simulation ẹrọ da lori awọn pinnu wu ayosile, ebute emulators, mobile awọn foonu ati nẹtiwọki ẹrọ, awọn ayika fun yiyewo ede, awọn ọna šiše ati awọn hardware nipa rirọpo awọn sonu irinše iwakọ, fictitious modulu, ati bẹbẹ lọ, bi daradara bi irinṣẹ fun yiya ati iyipada awọn OS awọn ibeere awọn Sipiyu kikopa aropin, Ramu, ROM, tabi nẹtiwọki .;
• .. A lafiwe ti data awọn faili, infomesonu, ṣayẹwo awọn yẹ esi nigba ati lẹhin igbeyewo jẹ pari, ìbáṣepọ ìmúdàgba ati ipele lafiwe, Aifọwọyi "Àsọtẹlẹ";
• bo wiwọn kan fun isọdibilẹ ti iranti n jo ati tọ awọn oniwe-Iṣakoso iwa esitimeti eto labe ti ro pe fifuye o npese fifuye ohun elo, infomesonu, awọn nẹtiwọki tabi olupin ni a bojumu ohn ti idagbasoke fun wiwọn, onínọmbà ati gégé ti eto oro Iroyin;
• aabo;
• išẹ HIV, fifuye ati ìmúdàgba onínọmbà;
• miiran irinṣẹ, ni Vol. h. lati ṣayẹwo awọn Akọtọ ati sintasi, nẹtiwọki aabo, wiwa ti gbogbo awọn aaye ayelujara ojúewé ati awọn miiran.

irisi

Pẹlu awọn iyipada po si ni awọn software ile ise, awọn ilana ti n ṣatunṣe jẹ tun koko ọrọ si ayipada. Nibẹ ni o wa titun ọna ti software igbeyewo, gẹgẹ bi awọn iṣẹ kan-orientirovannae faaji (soa), alailowaya imo, mobile iṣẹ, ati bẹ lori. E., ti la soke titun ona ti igbeyewo software. Diẹ ninu awọn ti ayipada ti o ti wa ni o ti ṣe yẹ ninu awọn ile ise lori awọn tókàn ọdun diẹ ti wa ni akojọ si isalẹ:

• testers yoo pese a lightweight awoṣe ti kóòdù yoo ni anfani lati ṣayẹwo rẹ koodu;
• idagbasoke ti igbeyewo ọna, pẹlu wiwo ati modeli eto ni ohun tete ipele, yoo se imukuro ọpọlọpọ ninu awọn itakora ti;
• niwaju ọpọ interceptions igbeyewo yoo si kekere akoko ti aṣiṣe erin;
• Aimi itu si wẹwẹ ati erin tumo si lati wa ni diẹ o gbajumo ni lilo;
• awọn lilo ti ni erupe ile iwon, bi agbegbe ti awọn sipesifikesonu, awọn dopin ti awọn awoṣe ki o si koodu agbegbe yoo mọ awọn idagbasoke ti ise agbese;
• combinatorial irinṣẹ gba testers lati mọ awọn ayo agbegbe fun ṣatunṣe;
• testers yoo pese kan diẹ ogbon ati ki o niyelori awọn iṣẹ jakejado awọn software idagbasoke ilana;
• debuggers le ṣẹda awọn irinṣẹ ati software igbeyewo awọn ọna ti kọ ninu ati ki o sere pelu pẹlu kan orisirisi ti siseto ede;
• Ṣatunṣe amoye yoo wa ni diẹ agbejoro oṣiṣẹ.

Yoo wa ni rọpo nipasẹ kan titun owo-Oorun software igbeyewo awọn ọna, lati yi awọn ọna ti ibaraenisepo pẹlu awọn ọna šiše ati awọn alaye ti won pese nigba ti olorijori ti ewu ati jijẹ awọn anfani ti awọn owo ayipada.