Pagsulay mga programa - sayop detection proseso sa produkto software

Sa software development, usa ka mahinungdanon nga bahin sa proseso sa produksyon ang base sa software testing. Unsa kini, ug sa unsa nga paagi nga ang maong kalihokan sa paghisgot sa sini nga artikulo.

Unsa ang gitawag nga usa ka pagsulay?

Kini nagtumong sa proseso pinaagi sa nagdagan sa software sa pag-ila sa mga dapit sa sayop nga operasyon sa code. Kay labing maayo nga mga resulta, tinuyong gitukod lisud nga hugpong sa mga data input. Ang nag-unang katuyoan sa inspeksyon mao ang paghimo sa labing maayo nga oportunidad alang sa kapakyasan sa software. Bisan tuod usahay pagsulay sa naugmad nga programa mahimo nga simple nga ngadto sa usa ka rutina check sa pagtrabaho kapasidad ug sa pagbuhat sa mga gimbuhaton. Kini magaluwas panahon, apan sa kasagaran giubanan pinaagi sa pagkadili kasaligan sa software, user kahigawad, ug sa ingon sa.

epektibo

Kon sa unsang paagi sa maayo ug sa madali mga kasaypanan, usa ka mahinungdanon nga epekto sa gasto ug sa gidugayon sa software development gikinahanglan nga kalidad. Busa, bisan pa sa kamatuoran nga ang testers makadawat og usa ka suweldo pipila ka mga higayon nga mas gamay kay sa mga developers, ang gasto sa ilang mga serbisyo sa mao ang kasagaran sa 30 - 40% sa gasto sa tibuok proyekto. Kini mao ang tungod sa gidaghanon sa mga personnel, sukad sa search alang sa sayop - kini mao ang usa ka talagsaon ug medyo lisud nga proseso. Apan bisan pa kon ang software nga miagi sa usa ka respectable nga gidaghanon sa mga pagsulay, walay 100% garantiya nga ang sayop dili mahitabo. Lang wala mahibalo sa diha nga mahitabo. Sa pag-awhag testers sa pagpili sa matang sa mga pagsulay nga mas lagmit sa pagpangita og sayop, sa lain-laing mga himan kadasig nga gigamit: ang duha moral ug materyal nga.

Paagi sa buhat

labing taas mao ang sa diha nga sa pag-implementar sa nagkalain-laing mga mekanismo aron sa pagsiguro nga mga sayop sa software wala pa mahitabo sukad sa sinugdan. Sa pagbuhat niini, kamo kinahanglan gayud nga pag-atiman sa husto nga arkitektura design, tin-aw nga mga termino sa reperensiya, ug kini mao ang importante nga dili sa paghimo sa pagbag-o sa komunikasyon, sa diha nga buhat ibabaw sa mga proyekto nagsugod na. Sa kini nga kaso, ang magsusulay sa tahas sa pagpangita ug pag-ila sa usa ka gamay nga gidaghanon sa mga sayop nga magpabilin diha sa katapusan nga resulta. Kini sa pagluwas sa panahon ug sa salapi.

Unsa ang pagsulay?

Kini mao ang usa ka importante nga bahin sa mga kalihokan sa inspeksyon, nga mao ang gikinahanglan alang sa malampuson nga detection sa depekto sa code. Sila mao ang gikinahanglan aron sa pagpugong sa mga husto nga aplikasyon. Ano ang nalakip sa mga pagsulay? Kini naglangkob sa mga data ug sa ilang mga inisyal nga mga prinsipyo nga kinahanglan nga nakuha ingon nga ang mga sangputanan nga (o intermediate). Aron sa malampuson nga pag-ila sa mga problema ug mga panagsumpaki, pagsulay kinahanglan nga human sa algorithm naugmad, apan wala magsugod programming. Kini mao ang madanihon sa paggamit sa pipila ka mga paagi sa pagbana-bana sa mga gikinahanglan nga data. Sa kini nga kaso, sa pagdugang sa posibilidad sa pagmatikod sa usa ka sayop tungod kay kamo pagsusi sa code gikan sa usa ka lain-laing mga panglantaw. Complex pagsulay kinahanglan nga mohatag og verification sa gawas nga epekto sa nahuman nga software produkto, ingon man usab sa iyang buhat algorithms. Sa partikular nga interes ug paghatag og panaplin nga nagakadunot nga mga kaso. Mao kini ang, sa batasan sa mga sayop nga mahimo sa kasagaran nagpadayag nga sa pagbalik-balik naglihok sa usa o labaw pa nga mga panahon dili kaayo kay sa giplano. Importante usab ang computer testing, nga pinaagi niini kamo makahimo sa pagsusi nga ang gitinguha nga resulta sa lain-laing mga makina. Kini mao ang gikinahanglan aron sa pagsiguro nga ang software magabuhat sa tanan nga mga kompyuter. Dugang pa, ang computer test, nga sa kalamboan nga gidala sa gawas sa, mao ang importante sa sa paglalang sa multi-plataporma development.

Arts o kasamok

Mga programa sa kasagaran tumong sa pagtrabaho uban sa dako nga sets data. Mao kini nga gikinahanglan sa paghimo sa bug-os nga? Dili Kaylap naangkon sa batasan sa "miniaturization" sa programa. Sa kini nga kaso adunay usa ka makatarunganon nga pagkunhod sa gidaghanon data kon itandi sa nga nga gamiton. ni tan-awon sa usa ka panig-ingnan: adunay usa ka programa, nga nagmugna sa usa ka taguangkan sa gidak-on 50x50. Sa laing mga pulong - kamo kinahanglan gayud nga sa kamut sa pagsulod sa 2500 mga mithi. Kini mao ang sa pagkatinuod mahimo, apan kini sa usa ka hataas nga panahon. Apan aron sa pagsulay sa kalihukan, ang software magadawat sa usa ka taguangkan kansang kabahin mao ang 5x5. Sa pagbuhat niini, kamo kinahanglan nga mosulod labaw pa kay sa 25 mga mithi. Kon, sa niini nga kaso, ang usa ka normal, sayop-free nga operasyon, kini nagpasabot nga ang tanan nga mga butang anaa sa kahusay. Bisan tuod adunay mga lit-ag nga anaa sa sa kamatuoran nga uban sa miniaturization kahimtang mahitabo, nga miresulta sa pagbag-o mahimong bug-os nga ug temporaryong mawala. Kini mao usab kaayo talagsaon, apan sa gihapon mahitabo mao nga adunay mga bag-ong mga bugs.

tumong gigukod

Pagsulay mao ang dili usa ka sayon nga buluhaton tungod sa kamatuoran nga kini nga proseso mao ang dili uyon nga pormal sa iyang kinatibuk-. Ang dagkong mga programa hapit dili gayud makabaton sa gikinahanglan nga tukma batakan. Busa, ingon sa usa ka sumbanan sa paggamit sa usa ka gidaghanon sa mga direkta nga data, nga, bisan pa niana, dili bug-os pagpamalandong sa mga kinaiya ug mga gimbuhaton sa software development nga debugged. Dugang pa, sila kinahanglan nga pinili nga sa ingon nga ang husto nga resulta kalkulado sa atubangan sa unsa nga paagi nga ang software produkto pagasulayan. Kon kamo dili-asdang, kini mao ang nagtintal sa paghunahuna sa tanan nga mga bahin, ug kong ang resulta sa makina gets sa gipaabot nga range, kini naghimo sa usa ka sayop nga desisyon, nga ang tanan mao ang husto.

Check ubos sa lain-laing mga kahimtang sa

Ingon sa usa ka pagmando sa, programa sa testing mahitabo sa mga tomo nga mga gikinahanglan alang sa minimum nga kagamitan, katuyoan test sa usa ka limitado nga gidak-on. Nga mga Kalihokan nga gihimo uban sa kausaban sa mga lantugi, ingon man sa ilang working kahimtang. Ang testing proseso mahimong bahinon ngadto sa tulo ka hugna:

• Check ubos sa normal nga mga kahimtang. Sa kini nga kaso pagsulay kita sa nag-unang mga kagamitan, katuyoan sa naugmad software. Ang resulta kinahanglan nga katumbas sa gilauman.
• Check sa grabeng mga kahimtang. Sa mga kaso, ingon nga samag kahulogan sa utlanan data, nga adversely makaapekto sa performance sa mga gibuhat sa software. Ingon sa usa ka panig-ingnan, kita sa pagtrabaho uban sa usa ka hilabihan ka dako nga o gamay nga mga numero o bisan bug-os nga pagkawala sa impormasyon nga nadawat.
• Pagsusi sa talagsaong mga kahimtang. Kini naglakip sa paggamit sa data nga anaa sa unahan sa pagtambal. Sa ingon nga mga sitwasyon, kini mao ang kaayo dili maayo nga sa diha nga ang software nahibalo kanila ingon mapuslanon sa pagtantiya, pagbanabana ug naghatag og usa ka katuohan nga resulta. Pag-atiman sa kinahanglan nga gikuha nga sa maong mga mga kaso adunay usa ka pagsalikway sa bisan unsa nga data nga dili proseso sa husto nga paagi. Kini mao ang gikinahanglan usab aron sa paghatag alang nagpahibalo user mahitungod niini

Pagsulay: Matang

Paghimo software nga walay sayop mao ang lisud kaayo. Kini nagkinahanglan sa usa ka igo nga kantidad sa panahon. Aron sa pagkuha sa usa ka maayo nga produkto mao ang kanunay nga gigamit sa duha ka matang sa pagsulay: "Alpha" ug "Beta". Unsa sila? Kon ang mga tawo sa paghisgot mahitungod sa alpha testing, kini nagpasabot sa review nga gipahigayon sa iyang kaugalingon diha sa kahimtang sa kalamboan "laboratory" nga kondisyon. Kini mao ang katapusan nga yugto sa pagsulay sa wala pa ang programa nga ibalhin ngadto sa katapusan-tiggamit. Busa, developers naningkamot sa pagpabalik sa palibot sa maximum. Kay kasayon sa operasyon, data mahimong Logged sa paghimo sa usa kronolohiya sa mga problema ug sa ilang mga solusyon. Ubos sa beta test sa pagsabut sa suplay sa software sa usa ka limitado nga gidaghanon sa mga tiggamit, aron nga sila pahimuslan sa programa ug sa pag-ila sa mga sayop nga imong makatambong. Usa ka espesyal nga bahin sa niini nga kaso mao ang kamatuoran nga sa kasagaran ang software wala gigamit alang sa iyang gitagana nga katuyoan. Tungod sa kapakyasan niini nga giila diin may bisan unsa sa wala pa makita. Kini mao ang na normal ug kabalaka mahitungod niini dili kinahanglan.

test mahuman

Kon sa miaging lakang nga malampuson nga nahuman, kini nagpabilin sa pagtuman sa pagdawat pagsulay. Siya sa niini nga kaso mahimo nga usa ka lamang pormalidad. Atol niini nga pagsulay moabut kumpirmasyon nga walay dugang nga mga problema ang nakaplagan ug ang software mahimong gipagawas sa merkado. Ang labing importante nga mahimong sa katapusan nga resulta, ang pag-ayo kini nga matuoron ang. Pag-atiman sa kinahanglan nga gikuha aron sa pagsiguro nga ang tanan nga mga lakang na malampuson nga nahuman. Ania ang testing proseso sama sa sa usa ka bug-os nga. Karon ang ni pagsusi sa teknikal nga mga detalye ug makig-istorya mahitungod sa maong usa ka mapuslanon nga himan, sama sa mga programa sa pagsulay. Unsa sila ug sa diha nga ang gigamit?

computer-aided testing

Kaniadto kini naghunahuna nga ang dinamikong pagtuki sa naugmad software - kini mao ang kaayo bug-at nga paagi nga epektibo nga gigamit sa mamatikdan depekto. Apan tungod sa nagkadaghan nga komplikado ug gidaghanon sa mga programa nagpakita atbang panglantaw. Automated testing gigamit diin ang labing importante nga mga prayoridad mao ang efficiency ug kaluwasan. Ug kinahanglan sila mahimong ubos sa bisan unsa input. Ingon sa usa ka panig-ingnan, ang mga programa alang sa nga kini mao ang angay nga sa maong testing, naglakip sa mosunod: protocol network, web server, sandboxing. Kita nagpadayon sa pagtan-aw sa usa ka pipila ka mga sample, nga mahimo nga gamiton alang sa maong mga kalihokan. Kon kamo interesado sa libre nga programa sa pagsulay, ang kalidad mao ang lisud nga sa pagpangita sa taliwala nila. Apan may mga cracked "pirated" nga mga bersiyon sa mga pag-ayo-malig-on nga mga proyekto, mao nga kamo magtumong sa ilang mga serbisyo.

pagdahili

Kini nga himan makatabang sa pag-ila depekto nga gisulayan mga programa sa dinamikong mode pagtuki. mikolekta Kini data ug analisar sa performance sa track gidisenyo butang. magsusulay Ang gihatag ang usa ka hugpong sa mga inputs nga hinungdan sa sayop o laktaw sa kasamtangan nga hugpong sa mga pondo. Salamat sa usa ka maayo nga pagsulay sa algorithm og sa usa ka dako nga gidaghanon sa mga posible nga mga sitwasyon. Ang programa magadawat sa usa ka lain-laing mga hugpong sa mga input data, nga motugot nga kopya sa usa ka dako nga gidaghanon sa mga sitwasyon ug paghimo sa mga kahimtang diin ang labing lagmit mao ang panghitabo sa usa ka kapakyasan. Usa ka importante nga pagpahimulos sa mga programa mao ang paggamit sa heuristic metriko. Kon adunay usa ka problema, nan ang aplikasyon sayop mao ang kaayo lagmit. Apan kini nga programa adunay mga limitasyon sama sa usa lamang ka tseke gimarkahan input suksokanang o file. Sa diha nga ang pagtuman sa sa usa ka operasyon sama sa mga programa sa testing maglangkob detalyado nga impormasyon mahitungod sa mga problema uban sa mga bili pointer, walay kinutuban galong, sayop pakigpulong o mga daot tungod sa paggamit sa mga librarya. Siyempre, kini dili mao ang usa ka bug-os nga listahan sa mga nakadipara mga sayop ug sa ilang bugtong komon nga mga panig-ingnan. Pagtul-id sa mga kakulangan, alaut, adunay developers - automated nga paagi mao ang mga dili angay alang sa niini nga mga katuyoan.

Klee

Kini mao ang usa ka maayo nga programa alang sa pagsulay sa panumduman. Kini nagpugong sa gibana-bana nga 50 ka mga tawag sa sistema sa ug sa usa ka dako nga gidaghanon sa virtual proseso sa ingon gipatay sa susama o gilain. Apan sa kinatibuk-an, ang programa sa dili sa pagtan-aw alang sa pipila suspetsoso nga mga dapit, ug ang nagproseso sa maximum posible nga kantidad sa code ug analisar gigamit alagianan data. Tungod niini, sa pagsulay sa programa agad sa gidak-on sa butang. Sa diha nga ang pagsusi sa bet nga gibutang sa simbolikong proseso. Sila mao ang usa sa mga posible nga mga paagi sa paghimo sa mga buluhaton sa usa ka programa nga gisulayan. Salamat sa sa samang operasyon mao ang posible nga sa pag-analisar sa usa ka dako nga gidaghanon sa mga variants sa sa buhat sa aplikasyon pagsulay. Kay ang matag dalan sa set input data gitipigan sa iyang pagsulay, nga nagsugod sa tseke. Kini kinahanglan nga nakita nga ang testing programa sa paggamit sa Klee makatabang sa pag-ila sa usa ka dako nga gidaghanon sa mga kalainan, nga dili kinahanglan nga. Kini makakaplag mga problema bisan sa mga aplikasyon nga naugmad sa daghang dekada.