Entseguak programak - error atzemateko programa produktuaren prozesua

software garapen, ekoizpen-prozesuaren parte garrantzitsu bat da software probak oinarritzen da. Zer da eta nola, besteak beste, jarduera izango artikulu honetan eztabaidatu da.

Zer da proba bat deitu?

Hau prozesua aipatzen software exekutatzen kodea funtzionamendua okerra kokapenak detektatzen dira. Emaitza hobeak lortzeko, nahita eraiki sarrera daturik multzo zaila. ikuskatzeko eta bere helburu nagusia da, porrot egiteko aukera onena sortzeko software. lanean gaitasunaren check errutina bat sinplifikatu batzuetan garatutako programa probatzen arren eta funtzioak burutzeko. Honek denbora aurrezten, baina askotan softwarearen unreliability, erabiltzaile atsekabea, eta abar lagunduta.

eraginkortasuna

Nola ondo eta azkar, akats, kostua eragin handia eta software garapenerako beharrezko kalitate iraupena dute. 40 proiektu osoa kostuaren% - Beraz, Izan ere, probatzaile duten soldata bat garatzaileei baino hainbat aldiz txikiagoa jaso arren, beren zerbitzuen kostua normalean 30 erabakitzen ditu. Hau da langileen kopurua dela eta, bilaketa akatsa geroztik - hau ezohikoa eta nahiko zaila prozesu bat da. Baina software gainditu da, nahiz eta probak kopuru errespetagarria, ez dago% 100 bermea akatsa ez gertatuko dela. Just ez dakit direnean gertatzen dira. probatzaile sustatzea dira gehiago litekeena errua aurkitu probak mota aukeratzeko, motibazioa tresna ezberdinak erabiltzen dira: bai moral eta material.

Lan Approach

egokiena da hainbat mekanismo martxan jarri ahal izateko softwareak akatsik ez du hasieratik izan dadin. Horretarako, egoki arkitektura diseinua, erreferentzia dagokionez argi zaindu behar duzu, eta garrantzitsua da, ez komunikazioa, doikuntza egin nahi proiektuan lan hasi da dagoeneko. Kasu honetan, aurkitzeko eta azken emaitza jarraituko duela akatsik kopuru txiki bat identifikatuz zeregin tester. Hau bai denbora eta dirua gorde egingo da.

Zer da proba?

Hau ikuskatzeko jardueren alderdi garrantzitsu bat, eta hori beharrezkoa da kodearen akatsak detektatzeko arrakastatsua da. Beharrezkoa dira ordena aplikazio zuzena kontrolatu ahal izateko. Zer da proba sartuta? ditu bertan ondoriozko (edo tarteko) gisa lortu behar datuak eta beren hasierako balioen da. Ordena arazo eta kontraesanak ongi identifikatzea, probak algoritmoa ondoren garatu zen, baina ez da hasi programazioa izan behar du. Komenigarria da hainbat planteamendu erabili behar den datuen zenbatetsi da. Kasu honetan, akats bat detektatzeko duzu beste ikuspegi batetik kodea aztertu daitekeelako probabilitatea handituz. Complex probak kanpoko amaitutako software produktuen ondorioak, baita bere lanaren algoritmoak egiaztatzea eman behar. Interes berezia eskeintzen marjinala endekatua kasu. Horrela, akatsak praktikan askotan agerian zikloaren aldiz bat edo gehiago gutxiago aurreikusi baino funtzionatzen. ordenagailu probak, eta horren bitartez nahi den emaitza makinak desberdinetan dagoela egiaztatu ahal izango da. Hau beharrezkoa da ordena ziur software hori izango ordenagailu guztietan lan egiteko. Gainera, ordenagailu proba, eta bertan garatzen burutuko dira, plataforma anitzeko garapen sortzea garrantzitsua da.

arazoak Arts

Programak askotan helburua datu multzo handi batekin lan. Erabat egiterako beharrezkoa da? Zk Hedatuago erosi "miniaturizazioa" programaren praktika. Kasu honetan arrazoizko datuen bolumena murriztea da aldean gisa erabili ahal izateko. Dezagun adibide bat bilatzeko: ez programa, tamaina 50x50 matrize bat sortzen da. Bestela esanda - eskuz idatzi beharko duzu 2500 baloreak. zalantzarik Posible da, baina oso denbora luzea izango da. Baina horretarako funtzionalitate probatzeko ere, software matrize horren dimentsio 5x5 da jasotzen. Horretarako, 25 baino gehiago balioak idatzi behar duzu. Bada, kasu honetan,, akatsik eragiketa normal bat, dena ordena da esan nahi du. daude, izan ere, batez miniaturizazioa egoera gertatzen da, aldaketa ondorioz bihurtzen inplizitua eta aldi baterako desagertzen gezurra pitfalls arren. Era berean, oso arraroa da, baina oraindik gertatzen da, ez dagoela bugs berriak dira.

Helburu lortu nahi

Entseguak ez da lan erraza, izan ere, prozesu hau ez dela frogatu bere osotasunean formalizatzea. programak Handiak ia inoiz ez dute beharrezko zehatza erreferentzia. Beraz, jarraibidea zeharkako datuak, eta, hala ere, ezin da guztiz ezaugarriak eta funtzioak software garapen hori arazten islatu kopuru bat erabiliz. Gainera, hautatu behar dute, beraz, emaitza zuzena software produktua nola probatu aurretik kalkulatu. Ez baduzu aurrera, guztiak buruz kontuan hartu tentagarria da, eta makina emaitza espero den tartean lortzen bada, egingo da erabakia okerra da, dena da zuzena.

baldintza desberdinetan Check

Oro har, programa probak bertan beharrezkoak dira gutxieneko proba neurri bateraino funtzionalitate bolumen batean gertatzen da. parametroak aldaketa, baita beren lan baldintza egindako jarduerak. azterketa prozesua hiru fasetan banatu daiteke:

• baldintza normaletan Check. Kasu honetan, garatutako software oinarrizko funtzionalitatea probatu dugu. Emaitza espero etorri behar du.
• Check muturreko baldintzetan. Kasu horietan, muga-data, ondorio kaltegarriak izan ditzake sortu software errendimendua sinonimo gisa. Adibide gisa, zenbaki oso handiak edo txikiak edo are jasotako informazioa eza osoa egiten dugu lan.
• aparteko egoeretan egiaztatzen. datuen erabilera tratamendua haratago dira eskatzen du. Egoera horietan, oso txarra da software hautematen denean horiek kalkulatzeko baliagarri gisa eta emaitza sinesgarri bat ematen. Arreta berezia jarri behar direla kasu horietan ez dagoela ezin izan da ongi prozesatu daturik gaitzespena bat da. Beharrezkoa da, halaber, horri buruz erabiltzaileak informatzeko eman

Entseguak: motak

Sortu software akats gabe oso zaila da. Hau denbora kopuru handi bat eskatzen du. "Alpha" eta "Beta": produktu on bat, askotan, bi proba-mota erabiltzen da lortu. Zer dira? Jendeak Alfa probak buruz hitz egin, berrikuspena zuzendaritzapean berak garapenaren "laborategi" baldintza estatuan esan nahi du. Hau probak azken etapa da programan egon azken erabiltzaileen transferitu aurretik. Beraz, sustatzaile den gehienezko inguruan piztu nahian. Eragiketa erraztasuna, datuak oraindik daitezkeen arazoak eta beren soluzioak kronologia bat sortzeko. beta proba Under software hornikuntza erabiltzaile kopurua mugatua den ulertzeko, beraz, programaren ustiatu ahal izango dute, eta galdutako duzun akatsak identifikatzea. kasu honetan ezaugarri berezi bat, izan ere, askotan software ez da bere helbururako erabili da. porrot honen identifikatu egingo delako non ez zen ezer ikusi aurretik. Hau da nahiko normal eta kezka ez da beharrezkoa buruz.

proba osatzea

Aurreko urrats egin dira ongi burutu bada, onarpen probak egiteko izaten jarraitzen du. Kasu honetan zuen tramite soil bat bihurtzen da. Proba honetan zehar berrespena no arazo gehiago aurkitu dira, eta software merkatuan kaleratu ahal dator. Garrantzitsuena azken emaitza izango da, estuago egiaztatu beharko da. Arreta hartu behar diren urratsak guztiek arrakastatsuak izan dira ziurtatzeko. Hemen azterketa prozesua osotasunean da. Orain dezagun murgilduko xehetasun tekniko sartu eta, besteak tresna erabilgarria buruz hitz, test programak gisa. Zer dira eta erabiltzen denean?

ordenagailuz lagundutako probak

Aurretik pentsatu zen software garatutako analisi dinamikoa dela - hurbilketa astunegia eraginkortasunez akatsak detektatzeko erabiltzen da. Baina ondorioz konplexutasun eta bolumena handitzeko programak ikuspegi kontrako agertu. Automated probak erabiltzen da non lehentasunak garrantzitsuenak eraginkortasuna eta segurtasuna dira. Eta dute edozein sarrera azpian egon beharko luke. Adibide gisa, programa hori egokia da, hala nola probak bertan, besteak beste, honako hauek: sare protokoloak, web zerbitzaria, isolatzea. to bat gutxi batzuk laginak, eta horrek jarduera horiek egiteko erabili ahal izango da begiratzen jarraituko dugu. free zara probak programak interesa baduzu, kalitatea zaila da horien artean aurkituko. Baina bada pitzatu "pirateatu" ondo ezarritako proiektuen bertsioak, beraz, beren zerbitzuak aipatzeko dezakezu.

mendizale

Tresna honek akatsak analisi dinamiko moduan programak probatu detektatzeko laguntzen. datuak biltzen ditu eta pista diseinatu objektuaren errendimendua aztertzen. tester The error eragin edo freskatu, dauden mugak multzo hori sarrera-multzo bat ematen da. Egoera posible ugari garatutako algoritmoa test ona esker. Programa desberdinak sarrera daturik, zein egoeratan ugari simulatu eta baldintza ziurrenik hutsegite bat agerraldia da sortzen uzten multzo bat jasotzen. Programaren abantaila garrantzitsu bat heuristiko metrotan erabilera da. Han bada arazo bat da, ondoren, aplikazio akatsa oso litekeena da. Baina programa hau, besteak beste, inork check markatu sarrerako socket edo fitxategi bakar gisa mugak ditu. Noiz eragiketa bat burutzeko, hala nola probak programa gisa nulua erakuslea arazoak, loops infinitua, helbide okerra edo eragozpenen ondorioz liburutegiak erabilerari buruzko informazio zehatza edukiko du. Jakina, hau ez da detektatu akatsak eta haien adibide komun bakarra zerrenda osoa. Zuzentzeko gabeziak, ai, izan garatzaileei - bitarteko automatikoak ez dira helburu horiek egokiak.

KLEE

memoria probatzeko programa ona da. 50 inguru sistema deiak eta, beraz, paraleloan edo bereizita gauzatu prozesu birtual ugari atzeman daiteke. Baina, oro har, programa ez da lekuak susmagarriak batzuk bila, eta ahalik kodea kopuru maximoa prozesuak eta datuak bideak erabili aztertzen. Horregatik, proba programa objektuaren tamainaren araberakoa da. Noiz apustua egiaztatzen da prozesu sinbolikoak jartzen. ahalik eta modu zereginak egiteko hori probatu programa batean bat dira. eragiketa paralelo esker posible da proba aplikazioa lana aldaera ugari aztertzeko. Sarrerako datu multzoen bidea bakoitzeko bere proba, txekea hasi ondoren gordetzen dira. Kontuan izan behar da KLEE erabiliz probak programak aldakuntzak, eta horrek ez luke kopuru handi bat identifikatzen laguntzen. arazoak aurkitu ahal izango da, nahiz eta hori hamarkadotan garatu diren aplikazioetan.