Probak software metodoak eta alderatu ditu. Entseguak "kutxa beltza" probak metodoa eta "kutxa zuria" metodoa

Entseguak software (SW) identifikatzeko hutsuneak, gabeziak eta akatsak Kodea zuzenduta egon behar dela. Era berean, funtzionalitate eta zuzentasuna softwarearen ebaluatzeko analisiaren laguntzarekin prozesuan bezala definitu daiteke. Oinarrizko integrazio eta software aplikazioak probak metodo eta bermatu kalitatezko da zehaztapen, diseinu eta kodifikazioa, fidagarritasuna ebaluazioa, balioztatzeko eta egiaztapen probatzeko.

metodoak

software probak helburu nagusia - software sistemaren kalitatea arretaz kontrolatutako baldintzetan arazketa sistematikoa aplikazioen bidez berrespena beraien osotasun eta zehaztasuna, baita ezkutuko akatsik detektatzeko zehazteko.

egiaztapen metodoak (probak) programak ezin estatiko eta dinamikoa banatu daiteke.

Lehenengoak, besteak informal, jarraipena eta berrikuspena teknikoak, ikuskatzea, urrats azterketa, ikuskaritza urrats, baita estatikoan datu-fluxuaren analisia eta kudeaketa.

teknika dinamikoak dira:

1. White box probak. Hau da, barne-logika eta egitura programaren azterketa zehatza da. iturburu-kodea ezagutza beharrezkoa da.
2. Black box probak. Teknika honek ez du barneko aplikazioaren funtzionamendua buruzko edozein ezagutza eskatzen. sistemaren oinarrizko alderdiak bakarrik, ez lotutako edo haren barne egitura logikoa batzuk lotutako uste dugu.
3. Gris box metodoa. Aurreko bi ikuspegi uztartzen ditu. Aplikazio barne funtzionamendua ezagutza mugatua duten arazketa-sistemaren oinarrizko alderdiak ezagutza konbinatzen.

probak gardena

The white box metodoa erabilita proba gidoiak kontrolatzeko prozedura diseinua egitura. Teknika honi esker ezartzea akatsak, hala nola, pobreak kudeaketaren kode sistema gisa erakusteko barruko software funtzionamendua zati bat aztertuz. proba Metodo horiek integratzeko, modulua eta sistemaren mailetan dagokio. tester Iturburu-kodea sarbidea izan behar du eta erabili jakiteko zein unitate portaera inappropriately.

programak probatzen zuri-box arabera abantaila hauek ditu:

• Errore bat ezkutuko kode hautemateko beharrezkoak ez diren lerroak kenduz ahalbidetzen ditu;
• albo-ondorioak erabiltzea;
• gehienezko estaldura da proba gidoi bat idaztea lortzen da.

desabantailak:

• kostu handiko prozesua, araztailea kualifikatua eskatzen;
• etorbideak asko esploratu gabeko geratzen posible guztiak ezkutuko hutsen check sakon oso konplexua delako;
• Kodea batzuk gainditu egingo da oharkabean.

White box probak batzuetan aipatzen da koadro bat gardena edo irekiak, egiturazko, logikoa probak, oinarritutako iturburu-kodea, eta arkitektura logika probatzeko.

The barietate nagusiak:

1) fluxuaren kontrola probatzen - egiturazko estrategia programa kontrol fluxua eredua erabiliz eta gutxiago konplexuagoa modu gehiago simple erraztuz gisa;

2) adarra aukera bakoitza arazketa (egia edo gezurra) kontrol operadore bakoitzak, eta horrek ere irtenbide konbinatu bat barne aztertzeko diseinatu;

3) bide nagusia, eta horrek tester ahalbidetzen logikoa konplexutasun neurri prozedura-proiektu ezartzeko oinarri exekuzio bideak multzo bat isolatuta probak;

: Fluxuaren kontrola ikerketaren estrategian oharpenak dituen ad buruzko informazio zenbatu eta programaren aldagai erabili - 4) datuak erreka egiaztapena

5) probak zikloak - guztiz ziklikoa prozesuen eragiketa zuzena bideratuta.

jokabidearen arazketa

Black box probak softwarea tratatzen bat "kutxa beltza" gisa - barruko programaren funtzionamendua buruzko informazioa ez dira zenbatuko, eta sistemaren oinarrizko alderdi bakarra hautatuta. Kasu honetan, tester sistema arkitektura ezagutu iturri kodea sarbidea gabe behar du.

Planteamendu honen abantailak:

• kode segmentu handiak egiteko eraginkortasuna;
• pertzepzioa tester erraztasuna;
• Erabiltzaile ikuspegitik argi sustatzailearen ikuspegiak (programatzaile eta tester elkarrengandik independienteak dira) bereizita dago;
• proba sortzea azkarrak gehiago.

Entseguak software black box metodoa jarraituz desabantailak ditu:

• hain zuzen ere, egin proba kasuen kopurua hautatu bat, estaldura mugatua ondorioz;
• zehaztapen argi bat zaila proba gidoiak garatzeko falta;
• eraginkortasuna baxua.

Beste izen teknologia honen alde - jokabidearen, ez-gardena, probak funtzionala eta arazketa kaxa itxi batean metodoa.

Kategoria honek honako software azterketa teknikak daitezke:

1) partizioaren, zein proba datu sarrerak software modulu datuak hautsita behera zatitan bereizi multzo murriztu daiteke baliokidea;

2) muga balioa azterketa mugak edo muturreko muga balioak egiaztatzeko oinarritzen - minimoa, maximoa, eta akats balioak tipikoa;

3) fuzzing - akatsak edo datuak hondatuta modu automatikoan edo erdi-automatikoan poluiskazhennyh idatz bilaketa ezartzeko erabiltzen;

4) kausalitatea zenbatzen - oinarritutako grafikoak sortzea eta ekintza eta bere arrazoi arteko harremana zehazteko teknika bat: identitatea, ukazioa, logikoa OR eta logikoa ETA - lau protagonistak, kausa eta efektuaren arteko erlazioa adierazteko;

5) ortogonalak matrizeak egiaztapena sarrerako eremua nahiko txiki baten ikerketa sakona egiteko aukera gainditzen dituzten arazoak aplikatuko;

6) bikote guztiak probatzen - teknika bat da, non proba balio multzoa ahalik eta sarrera-parametro bikote bakoitzaren konbinazioak binary guztiak osatzen dute;

7) arazketa egoera trantsizio - teknika bat makinaren egoera egiaztatzea, baita nabigatzeko erabilgarriak GUI erabiltzaile.

Black box probak: Adibideak

beltz-box teknika zehaztapenak, dokumentazioa, eta irrati saioa edo sistema deskribapen oinarritzen da. Horrez gain, ereduak (formala edo informala) erabili ahal izango dituzu, software portaera espero ordezkari.

Normalean, metodo hau erabiltzaile interfazearen arazteko erabiltzen da eta datuak biltzeko eta emaitzak sartuz aplikazioa elkarrekintza eskatzen - pantailan, txostenak edo inprimatutako from.

tester, beraz, inputting etengailuak, botoiak edo beste interfaze jarduten by software elkarreraginean. Sarrera-datuak aukera, administrazio edo ekintza sekuentzia ordena konbinatuta kopurua guztira erraldoi bat ekarriko du, ikus adibide gisa.

Zenbat probak ordena 4 leihoak bandera eta bat-off eremuan balio posible guztiak egiaztatu egin behar segundotan denbora ezartzeko? Lehen begi kalkulua berean sinplea da: bi estatu posible duten 4 eremuak - 24 = 16, eta horrek posizio posibleen kopurua biderkatu behar 00-tik 99 to, adibidez 1600 posible probak.

Hala ere, kalkulu hau gaizki dago: zehaztu dezakegu bi puntuko eremuan, leku bat eduki dezakete, alfazenbakizko bi posizio ditu, eta alfazenbakizko karaktereak, karaktere bereziak, espazioak, etab sar daitezke Honela hots, bada .... sistema da, 16-bit ordenagailu bat, piztu 216 = 65536 inork posizio bakoitzerako, ondoriozko 4294967296 test kasu horretan 16 banderak konbinazio hori 68.719.476 736. burutu badute, guztira bat ematen biderkatuko dira 1 segundoko proba, guztira cont tan olzhitelnost probak 2 177.5 urtekoa da. 32 edo 64-bit-sistemak egiteko, iraupena, are gehiago.

Beraz, aldi honetan murrizteko onargarria maila bat behar da. Horrela, teknikak aplikatu behar proba kasuen kopurua murrizteko probak esparrua murriztu gabe.

baliokidetza partitzea

baliokidea partizioaren metodo sinple bat dela softwarearen agertu dira edozein aldagai dagokio, Da oinarritzen sarrerako edo irteerako balioak, sinbolikoa, zenbaki, eta beste batzuk ala ez. partizioaren baliokidea batetik, datu guztiek tratatuko dira, modu berean, eta da agindua bera.

Probetan, bakoitzaren baliokidetza bereziki partizioaren ordezkari bat hautatu. Horrek aukera ematen die sistematikoki posible proba kasuen kopurua murrizteko komandoak eta funtzioak estaldura galdu gabe.

partitzea honek beste ondorio bat da desberdina aldagai eta lotutako proba kasuak murrizteko arteko leherketa konbinatorioa murrizteko.

Adibidez, in (1 / x) For ^1/2 hiru datu sekuentziak, hiru baliokide partizioaren erabiliz:

1. Zenbaki guztiak positiboak izango dira modu berean tratatuko dira eta emaitza zuzena eman behar.

2. Zenbaki guztiak negatiboak dira emaitza bera modu berean kudeatu. Hau ez da zuzena, zenbaki negatibo baten erro irudimenezko delako.

3. Zero bereizita tratatuko dira eta error "zatiketa zero by" ematen. Hau balio bakar batekin atal bat da.

Horrela, hiru atal desberdin, eta horietako bat da balio bakar batera murriztu ikusiko dugu. Ez dago inor "zuzena" atalean, eta horrek emaitzak fidagarriak ematen, eta bi "oker" Emaitza okerra da.

muga balioa azterketa

baliokidea partitzea mugetan Prozesatzeko ezberdinean egin daiteke espero baino. muga-balioak ikerketa - Inguru hauetan software portaera aztertzeko metodo ezagun bat. Teknika hau posible egiten, hala nola, akatsak identifikatzeko:

• erlazional operadoreak erabilera okerraren (<,>, =, ≠, ≥, ≤);
• error bakar;
• ziklo eta iterazioak arazoak,
• okerreko mota edo informazioa gordetzeko erabiltzen den aldagai-tamaina;
• Datu mota eta aldagai lotutako muga artifiziala.

zeharrargitsu probak

gris box metodoa handitzen proba estaldura, ezin sistemako maila zaila guztiak fokua teknikak zuri-beltza eta konbinazio baten bidez.

Teknika hau erabiliz, proba balioak garatzeko tester datu barne egitura eta algoritmoak ezagutza izan behar dute. gris-box probak metodo adibideak honako hauek dira:

• arkitektura eredua;
• Unified Modeling Language (UML);
• estatuaren eredua (egoera mugatuko makina).

kutxa gris metodoa proba kasuak garatzea aztertu modulu white ingeniaritza kode, eta benetako proba teknologia beltza programen interfaze on egiten da.

probatzen Metodo horiek abantaila hauek dituzte:

• abantaila teknikari zuri eta beltzez kutxak konbinazioa;
• Tester interfazea eta zehaztapen funtzionalak, eta ez iturburu-kodea oinarritzen da;
• araztailea handia test kasu egin daiteke;
• check erabiltzaileari, ez programaren diseinatzailearen ikuspuntutik egina;
• sortzen proba pertsonalizatua garapena;
• objektibotasuna.

desabantailak:

• proba estaldura mugatua da han iturri kodea sarbidea ez delako;
• aplikazioetan banatzen akatsak konplexutasuna;
• Modu asko esploratu gabeko geratzen;
• software garatzaileak proba jarri du martxan bada, ondoren ikerketa gehiago gehiegizkoa izan daitezke.

kutxa gris teknikak beste izen - zeharrargitsu arazketa.

Kategoria honetan probak metodoak, hala nola sartzen dira:

1) ortogonalak array - konbinazio posible guztiak azpimultzo bat erabiltzea;

2) matrize arazteko programa datuen egoera erabiliz;

3) atzerakoia ikuskatzeko software aldaketak berria zuzendaritzapean;

4) template proba diseinua eta arkitektura aplikazio on baten aztertzen.

software azterketa teknikak konparazioa

metodo dinamikoa erabilera garatu behar da, ezarri eta egindako behar duten probak kopuruaren eztanda konbinatorioa bat dakar. Teknika bakoitzak pragmatikoki erabili behar da, bere mugak kontuan hartuta.

Benetako metodo bakarra ez da existitzen, ez da bakarra diren hobeto testuinguru zehatz egokitzen. Egitura-ingeniaritza baimendu kodea alferrikakoa edo maltzur bat aurkitzeko digu, baina konplexuak dira eta ez dira programak handietan aplikagarriak. oinarritutako zehaztapenak buruzko metodoak - dela falta kodea identifikatzeko gai dira bakarrak, baina ezin dute kanpotar bat identifikatzeko. teknika batzuk gehiago bereziki proba mailan, akats mota bat edo testuinguru besteak baino hobeak dira.

Jarraian dira hiru dinamikoa probak teknikak arteko desberdintasun nagusiak - hiru software arazketa forma arteko konparazio taula bat ematen da.

alderdi	The black box metodoa	Gris box metodoa	White-box metodoa
Informazio erabilgarritasuna programaren osaeran	oinarrizko alderdiak bakarrik aztertzen	Programaren barne-egiturari buruzko ezagutza partziala	iturburu-kodea sarbide osoa
programaren zatiketa lizentziatua	txikia	Central	handiko
Nork sortzen arazketa?	Amaitu erabiltzaileak, probatzaile eta sustatzaileak	Amaitu erabiltzaile, garatzaile eta debuggers	Developers eta probatzaile
base	Entseguak kanpoko larrialdi egoera oinarritzen da.	Diagramak datu-basea, datu-fluxuaren diagrama, algoritmo eta arkitektura barne ezagutzaren egoera	barneko gailua erabat jakitun da
estaldura-maila	Gutxiago integrala eta denbora gutxieneko bat eskatzen	Central	Balizko osatu du. Denbora asko
Datuak eta barruko mugak	Araztu trial eta akats bakarra	egiaztatu ahal izango du datuak domeinuak eta barruko mugak, dute ezagutzen badira	The best proba datuak domeinuak eta barruko mugak
Egokitasuna probak algoritmoa	Ez	Ez	Bai

automatizazioa

software azterketa metodo automatikoak askoz errazteko ikuskatzeko prozesuan, ingurune teknikoa eta testuinguruan kontuan hartu gabe. Dute bi kasuetan erabiltzen dira:

1) horrelako fitxategi hainbat mila ilarek alderatuta ordena denbora askatzeko tester puntu gehiago garrantzitsua kontzentrazioa egiteko moduan zeregin lapurtera, errepikakorra edo zorrotza automatizatzeko da;

2) jarraipen edo ezin dela erraz pertsonek esaterako performance egiaztatze edo analisi erantzun denbora hori segundu ehunekotan neurtzen ahal bezain burutu lanak egiteko.

Test tresnak modu ezberdinetan sailka daitezke. hurrengo zatiketa zereginak onartzen dute oinarritzen da:

• proba-kudeaketa, biltzen dituen proiektuen kudeaketa laguntza, bertsioak, konfigurazio, arriskuen azterketa, proba jarraipena, akatsak, akatsak, eta berri-tresnak;
• eskakizun kudeaketa, bertan biltegiratze baldintzak eta zehaztapenak barne, horiek egiaztatzeko osotasun eta anbiguotasuna, euren lehentasuna eta proba bakoitzaren trazabilitatea egiteko;
• berrikuspen kritikoa eta analisi estatiko, fluxua jarraipena, eta zereginak, grabaketa eta iruzkinak, akatsa detektatzeko gordetzeko eta aurreikusitako zuzenketak kudeaketaren zerrendak eta arauak, segimendua komunikazio iturria dokumentuak eta kodea analisi estatiko akatsak detektatzeko estekak, idatziz kodearen arauak betetzen bermatuz barne, egiturak eta mendekotasunen analisia, kodea eta arkitekturaren parametroak metrotan kalkulatzeko. Horrez gain, erabili konpiladoreak, analizagailu, generadoreak eta erreferentzia gurutzatuak harremanak;
• modelaketa, eta horrek modelaketa enpresa protestaka tresnak biltzen ditu eta eredu probatzeko;
• proba garapen baldintzak eta erabiltzaile-interfazea eredu eta kodea oinarrituta espero datuen sorrera bermatzen, kudeatu sortu edo kudeaketa, baldintzak eta arriskuak azterketa estatistika arauak oinarrituta fitxategi eta datu-baseak, mezularitza, datuen balidazioa aldatzeko;
• kritiko ikuspegi bat GUI, API, komando-lerro bat comparators erabilita arrakasta eta arrakastarik probak identifikatzeko bidez datuak sartuz;
• support arazketa ingurumena ahalbidetzen du falta hardware edo software, in Vol. h. simulazioa ekipamendu oinarrituta zehaztuko irteera azpimultzo, terminal emuladore, telefono mugikorrak eta sare ekipamendua, hizkuntzak, sistema eragilea eta egiaztatzeko ingurumenean ordezkatzeko duzu hardware falta diren osagaiak gidariaren ordez, fikziozkoak moduluak, eta abar, baita tresnak atzemateko eta OS aldatzeko CPU simulazio mugarik, RAM, ROM edo sare eskatu .;
• .. datu fitxategiak, datu-baseak, egiaztatu aurreikusitako emaitzak bitartean eta ondoren proba osoak, barne dinamikoa da eta batch konparazioa, automatikoa "orakuluak" konparatzeko A;
• neurketa estaldura memoria filtrazioak lokalizazio eta okerrak bere kontrol portaera kalkulatzeko sistemaren simulatu karga sortzen karga aplikazio, base, sare edo zerbitzariak neurketa, analisia eta sistemaren baliabideak txostena egiaztatzeko hazkunde eszenatoki errealista batean pean:
• segurtasuna,
• errendimendu probak, karga eta analisi dinamikoa:
• bestelako tresnak, Vol. h. ortografia eta sintaxia, egiaztatzeko sareko segurtasun, web-orri guztiak eta beste erabilgarritasuna.

ikuspegitik

software industrian joerak aldatzen batera, arazketa prozesua, gainera, aldatu egin da. Badira software azterketa metodo berriak, hala nola zerbitzu-orientirovannae arkitektura (SOA), haririk gabeko teknologia, zerbitzu mugikorrak, eta abar. E. bezala, ireki probak software modu berriak. direla industrian espero hurrengo urteetan zehar aldaketa batzuk agertzen dira:

• probatzaile eredu arina duten garatzaileentzako zure kodea egiaztatu ahal izango ditu ematen da;
• probak metodo, ikusten barne eta programak modelaketa hasieratik, kontraesan asko desagerrarazi egingo garapena;
• anitz interceptions proba presentzia error detektatzeko denbora laburtu egingo da;
• Analizatzaile estatikoa eta detektatzeko esan zabalduena erabiliko da;
• mineral matrizeak, esaterako zehaztapena estaldura gisa erabiltzea, eredu eta kodea estaldura esparrua proiektuak garatzeko zehaztu da;
• konbinatorioa tresnak baimendu probatzaile lehentasuna arazteko arlo zehazteko;
• probatzaile zerbitzuak intuitiboagoa eta baliotsua software garapenerako prozesu osoan zehar eskaintzen da;
• debuggers tresnak eta eta programazio hizkuntzak hainbat elkarreraginean idatzitako software azterketa metodoak sor daitezke;
• Arazketa adituak egongo gehiago profesionalki prestatutako dira.

ordezkatuko dira enpresa-bideratutako software azterketa metodo berriak, sistema elkarrekintza modu eta berriz arriskuak murriztea eta enpresa-aldaketak onurak handitzen eskaintzen duten informazioa aldatzeko.