Pamaagi sa testing software ug itandi sila. Pagsulay nga pamaagi sa "itom nga kahon nga" testing ug ang pamaagi sa "puti nga kahon nga"

Testing software (HK) pag-ila sa mga kal-ang, kakulangan ug kasaypanan sa code nga kinahanglan nga gitumong. Kini mahimo usab nga gihubit nga ingon sa proseso sa pagtimbang-timbang sa mga kagamitan, katuyoan ug sa kahusto sa software uban sa tabang sa mga pagtuki. Basic pamaagi sa integration ug testing sa mga aplikasyon software ug sa pagsiguro sa kalidad nga mao ang sa pagsulay sa paghingalan, design ug coding, kasaligan assessment, validation ug verification.

mga pamaagi

Ang nag-unang katuyoan sa software testing - kumpirmasyon sa sa kalidad sa software nga sistema pinaagi sa sistematikong aplikasyon debugging ubos sa pag-ayo kontrolado nga mga kahimtang aron sa pagtino sa ilang pagkakompleto ug tukma, ug ingon man sa detection sa natago mga sayop.

Ang mga paagi sa verification (testing) mga programa mahimong bahinon ngadto sa nagahunong ug dinamikong.

Ang kanhi naglakip sa pormal, monitoring ug teknikal nga review, inspection, nga lakang sa lakang sa pagtuki, auditing, ingon man usab sa nagahunong data dagan pagtuki ug pagdumala.

Dinamikong teknik mao ang:

1. White kahon testing. Kini mao ang usa ka detalyado nga pagtuon sa internal nga lohika ug gambalay sa programa. Kini mao ang gikinahanglan aron sa kahibalo sa source code.
2. Itom nga kahon testing. Kini nga paagi wala magkinahanglan sa bisan unsa nga kahibalo mahitungod sa sulod nga obra sa aplikasyon. atong hisgotan lamang sa nag-unang mga bahin sa sistema sa, dili nga may kalabutan sa o nakig-uban sa usa ka pipila sa iyang mga internal nga makataronganon nga gambalay.
3. Gray nga kahon nga pamaagi. kombinar Kini duha ka miaging mga pamaagi. Debugging uban sa limitado nga kahibalo sa internal nga ninglihok sa mga aplikasyon mao ang inubanan sa kahibalo sa nag-unang mga aspeto sa sistema.

transparent testing

Ang puti nga kahon nga pamaagi sa paggamit sa pagsulay scripts pagpugong istruktura sa pamaagi nga desinyo. Kini nga paagi nagtugot sa pagpadayag sa mga sayop sa pagpatuman, sama sa mga kabus sa pagdumala code nga sistema pinaagi sa pag-analisar sa usa ka bahin sa sulod nga obra sa software. Kini nga mga pagsulay mga pamaagi magamit sa integration, module ug sistema nga lebel. magsusulay Ang kinahanglan nga adunay access sa source code ug sa paggamit niini sa pagpangita sa nga yunit nagabuhat dili angay.

Pagsulay sa mga programa pinaagi sa puti nga-kahon may sa mosunod nga mga bentaha:

• kini nagtugot sa pag-ila sa usa ka sayop diha sa tinago nga code pinaagi sa pagwagtang sa wala kinahanglana nga mga linya;
• sa paggamit sa kilid-epekto;
• maximum nga coverage nga makab-ot pinaagi sa pagsulat sa usa ka pagsulay script.

disadvantages:

• high-gasto nga proseso, nga nagkinahanglan hanas debugger;
• sa daghan nga mga paagi nga magpabilin nga unexplored tungod kay bug-os nga check sa tanan nga posible nga tinago nga mga sayop mao ang kaayo komplikado;
• ang pipila sa mga code nga milabay mamatikdan.

White kahon testing usahay gipunting sa pagsulay sa usa ka transparent o bukas nga kahon, structural, makataronganon testing, base sa source code, ug lohika arkitektura.

Ang nag-unang matang:

1) sa pagsulay sa dagan sa pagkontrolar - structural nga pamaagi sa paggamit sa programa sa pagkontrol sa dagan model ug ingon pabor nga mas yano nga mga paagi sa may diriyut mas komplikado;

2) Ang sangang buhatan gidisenyo sa pagtuon debugging sa matag kapilian (tinuod o bakak) sa matag kontrol sa operator, nga usab naglakip sa usa ka hiniusa nga solusyon;

3) pagsulay sa mga nag-unang dalan, nga nagtugot sa mga magsusulay sa pagtukod makataronganon komplikado sukod pamaagi nga proyekto alang sa nagalain sa usa ka base set sa pagpatay nga alagianan;

4) sa pagsusi sa data sapa - sa dagan sa pagkontrolar sa pamaagi sa research sa mga pagpasabut bahin sa ihap sa impormasyon mahitungod sa ad ug sa paggamit sa mga baryable sa programa;

5) siklo sa pagsulay - bug-os nga naka-focus sa sa husto nga operasyon sa cyclic proseso.

pamatasan debugging

Itom nga kahon testing pagtratar sa software nga ingon sa usa ka "itom nga kahon nga" - nga impormasyon mahitungod sa mga sulod nga kalihokan sa programa dili maisip, ug gitan-aw lamang sa nag-unang mga aspeto sa sistema. Sa kini nga kaso, ang magasulay kinahanglan nga masayud sa sistema sa arkitektura nga walay access sa tinubdan code.

Bentaha sa niini nga paagi:

• efficiency alang sa dako nga code bahin;
• mopagaan sa panglantaw magsusulay;
• user panglantaw tin-aw nga mibulag gikan sa mga panglantaw developer (programmer ug magasulay mga independente sa usag usa);
• mas kusog paglalang sa pagsulay.

Testing software itom nga kahon nga paagi ang mosunod nga mga disadvantages:

• sa pagkatinuod nga gihimo sa usa ka pinili nga gidaghanon sa mga kaso sa pagsulay, nga miresulta sa limitado coverage;
• kakulang sa usa ka tin-aw nga paghingalan lisud nga sa pag-ugmad pagsulay scripts;
• ubos nga efficiency.

Laing mga ngalan alang niini nga teknolohiya - pamatasan, non-transparent, functional testing ug debugging pamaagi sa usa ka sirado nga kahon.

Kini nga kategoriya mahimong maglakip sa mosunod nga mga teknik sa software testing:

1) katumbas sa pagbulag, pagkabahin, nga pagpakunhod sa hugpong sa mga pagsulay data sama sa input software module data nagun-ob ngadto sa lain nga mga bahin;

2) utlanan bili pagtuki nag-focus sa sa verification sa mga utlanan o grabeng utlanan mga mithi - ang minimum, maximum, ug tipikal nga mga prinsipyo sa kasaypanan;

3) fuzzing - gigamit sa pagpatuman sa search pinaagi sa inputting mga sayop o dunot data poluiskazhennyh sa automatic o semi-automatic mode;

4) importante sa causality - sa usa ka teknik base sa paglalang sa kan ug pagtino sa relasyon tali sa aksyon ug mga rason niini: pagkatawo, supak, makataronganon O ug makataronganon UG - ang upat ka mga nag-unang karakter, nga nagpahayag sa relasyon tali sa hinungdan ug epekto;

5) Verification sa orthogonal arrays apply sa mga problema uban sa usa ka medyo gamay nga input nga dapit sa hilabihan gayud sa posibilidad sa exhaustive research;

6) sa pagsulay sa tanang mga parisan - sa usa ka teknik diin ang usa ka hugpong sa mga mithi sa pagsulay naglangkob sa tanan nga posible nga duha kalihokan sa matag parisan sa lantugi input;

7) debugging estado transition - sa usa ka teknik mapuslanon alang sa pagsusi sa kahimtang sa mga makina, ingon man sa paglawig pinaagi sa gui user.

Itom nga kahon testing: Ehemplo

itom-kahon teknik gibase sa specifications, dokumentasyon, ug mga paghulagway sa mga software interface o sistema. Dugang pa, kamo makahimo sa paggamit modelo (pormal o impormal nga), nga nagrepresentar sa mga gipaabot nga kinaiya sa mga software.

Kasagaran, kini nga pamaagi gigamit alang sa debugging sa user interface ug nagkinahanglan pakig-uban sa mga aplikasyon pinaagi sa pagpaila sa usa ka koleksyon sa data ug mga resulta - gikan sa screen, gikan sa mga taho o printouts.

magsusulay Ang Busa, interact sa software pinaagi sa inputting, pinaagi sa paglihok sa ibabaw sa mga pagbalhin, mga buton o sa ubang mga interface. Ang pagpili sa mga data input, ang kapunongan sa administrasyon o sa han-ay sa mga buhat modala ngadto sa usa ka dako nga gidaghanon sa mga kalihokan, sama sa gipakita sa mosunod nga panig-ingnan.

Sa unsang paagi nga sa daghan nga mga pagsulay nga kinahanglan sa paghimo sa sa aron sa pagsusi sa tanang mga posible nga mga prinsipyo alang sa 4 tamboanan flag ug usa-sa uma, ang mga panahon sa segundo? Sa unang pagtan-aw kalkulasyon mao ang yano nga: 4 kaumahan uban sa duha ka posible nga nag-ingon - 24 = 16, nga kinahanglan modaghan pinaagi sa gidaghanon sa mga posible nga mga posisyon gikan sa 00 ngadto sa 99, pananglitan 1600 posible nga mga pagsulay.

Apan, kini nga kalkulasyon nga sayop: nga kita pagtino nga ang duha-ka-punto kapatagan mahimo usab nga naglangkob sa usa ka luna, ie kini naglangkob sa duha ka letra-numero nga posisyon ug mahimong maglakip sa letra-numero nga mga karakter, espesyal nga mga karakter, mga luna, ug uban pa Busa, kon .... sistema mao ang usa ka 16-gamay computer, ang 216 = 65536 usa alang sa matag posisyon diha sa mosangpot nga 4294967296 kaso sa pagsulay nga sa modaghan sa 16 kombinasyon sa mga bandera nga naghatag sa usa ka kinatibuk-an nga 68.719.476 736. Kon sa pagbuhat sa ilang sa 1 pagsulay matag ikaduha, ang kinatibuk-ang pad olzhitelnost testing mao ang 2 177.5 ka tuig. Kay 32 o 64-gamay sistema, ang gidugayon sa dugang pa.

Busa adunay usa ka panginahanglan sa pagpakunhod niini nga panahon sa usa ka madawat nga ang-ang. Busa, ang mga teknik sa kinahanglan nga apply sa pagpakunhod sa gidaghanon sa mga kaso sa pagsulay nga walay pagkunhod sa kasangkaran sa testing.

panagtandi pagbahin

Ang katumbas partition mao ang usa ka yano nga pamaagi nga magamit alang sa bisan unsa nga baryable nga anaa sa sa software, bisan input o output mga hiyas, simbolo, numerawo, ug sa uban. Kini base sa baruganan nga ang tanan nga mga data gikan sa usa ka katumbas sa pagbulag, pagkabahin nga pagtagad sa samang paagi ug sa sama nga mga panudlo.

Sa panahon sa pagsulay, mga pinili nga sa usa ka representante sa matag partikular nga panagtandi partition. Kini nagtugot kaninyo sa sistematikong pagpakunhod sa gidaghanon sa mga posible nga mga kaso pagsulay nga walay pagkawala sa coverage sa mga sugo ug mga gimbuhaton.

Laing sangputanan sa pagbahin niini nga mao ang sa pagpakunhod sa combinatorial pagbuto sa taliwala sa mga lain-laing mga baryable ug ang nakig-pagkunhod sa mga kaso sa pagsulay.

Pananglitan, diha sa (1 / x) ^1/2 sa paggamit sa tulo ka han-ay sa data, sa tulo ka katumbas pagbulag, pagkabahin:

1. Ang tanan nga positibo nga mga numero nga pagtagad sa samang paagi ug kinahanglan nga mohatag sa husto nga mga resulta.

2. Ang tanan nga negatibo nga mga numero sa mga pagdumala sa samang paagi uban sa sama nga resulta. Kini mao ang sayop nga, tungod kay ang gamot sa usa ka negatibo nga gidaghanon mao ang hinanduraw.

3. Zero pagadumalaon gilain ug sa paghatag sa mga sayop "division pinaagi sa zero". Kini mao ang usa ka seksyon sa usa ka single nga bili.

Busa, atong makita ang tulo ka managlahi nga seksyon, ang usa sa nga pagkunhod sa usa ka bili. Adunay usa nga "husto" nga seksyon, nga naghatag kasaligan nga mga resulta, ug ang duha ka "sayop" uban sa sayop nga mga resulta.

utlanan bili pagtuki

Processing sa ibabaw sa mga utlanan sa mga katumbas pagbahin mahimo lahi kay sa gipaabot. Imbestigasyon sa utlanan nga mga hiyas - usa ka pag-ayo-nga nailhan nga pamaagi sa pag-analisar sa kinaiya sa mga software sa maong mga dapit. Kini nga paagi kini nga posible nga sa pag-ila sa maong mga mga sayop:

• sayop nga paggamit sa relasyon operators (<,>, =, ≠, ≥, ≤);
• ka sayop;
• problema sa mga siklo ug mga iterations,
• sayop nga matang o gidak-on sa baryable nga gigamit alang sa pagtago sa impormasyon;
• artipisyal nga limitasyon nakig-uban sa mga matang data ug baryable.

sihag testing

gray nga kahon nga pamaagi nagdugang sa pagsulay coverage, nga kamo mahimo-focus sa sa tanan nga mga lisud nga lebel sa sistema sa pinaagi sa usa ka kombinasyon sa itom ug puti nga mga teknik.

Pinaagi sa paggamit niini nga paagi, ang magsusulay alang sa kalamboan sa mga prinsipyo pagsulay kinahanglan nga adunay kahibalo sa internal nga mga istruktura data ug algorithms. Mga panig-ingnan sa gray-kahon mga pamaagi sa testing mao ang mosunod:

• arkitektura modelo;
• Unified modelo Language (UML);
• estado model (nga may kinutuban estado machine).

Sa pamaagi sa gray nga kahon sa pag-ugmad sa mga kaso test nagtuon modules sa puti nga engineering code, ug aktwal nga pagsulay ang gihimo sa ibabaw sa mga interface sa itom nga mga programa nga teknolohiya.

Kini nga mga pagsulay nga mga pamaagi sa mga mosunod nga mga bentaha:

• kombinasyon sa mga bentaha technician nga puti ug itom nga kahon;
• Magsusulay gibase sa interface ug functional paghingalan, ug dili ang source code;
• debugger makahimo dakung kaso sa pagsulay;
• check gihimo gikan sa punto sa panglantaw sa mga user, dili ang designer sa programa;
• paghimo sa batasan development test;
• pagpihig.

disadvantages:

• test coverage limitado tungod kay walay access sa tinubdan code;
• ang pagkakomplikado sa mga depekto sa-apod-apod aplikasyon;
• daghang mga paagi nga magpabilin nga unexplored;
• kon ang software developer nga gilusad sa pagsulay, unya dugang pa nga imbestigasyon mahimong sobra.

Laing ngalan sa gray nga mga teknik sa kahon - sihag debugging.

naglakip sa Kini nga kategoriya sa maong mga pamaagi sa testing:

1) orthogonal gubat - ang paggamit sa usa ka subset sa tanan nga posible nga mga kalihokan;

2) taguangkan debugging sa paggamit sa mga kahimtang sa mga data nga programa;

3) regresibong inspection nga gipahigayon sa bag-ong mga kausaban sa software;

4) template test nga analisar sa mga disenyo ug arkitektura sa usa ka maayo nga aplikasyon.

Pagtandi sa software teknik sa testing

Ang paggamit sa dinamikong mga pamaagi modala ngadto sa usa ka combinatorial pagbuto sa gidaghanon sa mga pagsulay nga kinahanglan nga naugmad, gipatuman ug gidala sa gawas. Ang matag teknik kinahanglan gamiton pragmatically, nga mga limitasyon sa iyang mga sa ngadto sa account.

Ang bugtong matuod nga pamaagi wala anaa, adunay usa lamang kadtong mga mas maayo nga haum sa mga piho nga konteksto. Structural engineering motugot kanato sa pagpangita sa usa ka walay pulos o malisyosong code, apan sila komplikado ug dili magamit sa dako nga mga programa. Pamaagi base sa specifications - lamang ang mga nga makahimo sa pag-ila sa mga kulang code, apan sila dili pag-ila sa usa ka dumuloong. Ang ubang mga teknik mao ang labaw nga angay alang sa usa ka partikular nga ang-ang pagsulay, sayop nga matang o sa konteksto kay sa uban.

Sa ubos mao ang mga nag-unang kalainan sa taliwala sa mga tulo ka dinamikong mga teknik sa testing - gihatag ang usa ka pagtandi sa lamesa sa taliwala sa tulo ka matang sa debugging software.

nga bahin	Ang itom nga pamaagi kahon	Gray nga pamaagi kahon	pamaagi White-kahon
Zimmerbelegungsplan sa impormasyon sa mga komposisyon sa mga programa	Mosusi lamang sa nag-unang mga bahin sa	Partial nga kahibalo mahitungod sa internal nga gambalay sa programa	Full access sa tinubdan code
Degree sa fragmentation sa programa	ubos	Central	hatag-as nga
Kinsa og debugging?	Matapos tiggamit, testers ug mga developers	Matapos tiggamit, developers ug debuggers	Developers ug mga testers
base	Testing gibase sa sa gawas nga mga sitwasyon sa emerhensiya.	Dayagram database, data dagan diagram, kahimtang sa internal nga kahibalo sa algorithm ug arkitektura	Ang internal nga device mao ang bug-os nga nahibalo
Ang matang sa coverage	Dili kaayo komprehensibo ug nagkinahanglan sa usa ka minimum nga sa panahon	Central	Kalagmitan ang labing komprehensibo. Oras-nga nagaut-ut
Data ug internal nga mga utlanan	Debug pinaagi lamang sa mga pagsulay ug kasaypanan	Mahimo nga gitan-aw sa mga data kabilin ug internal utlanan, kon sila nailhan	Ang labing maayo nga kabilin test data ug sa internal nga mga utlanan
Kaangay testing algorithm	Dili	Dili	Oo

automation

Automatic mga pamaagi sa software testing ang daghan simple ang proseso sa pagsusi, sa walay pagtagad sa mga teknikal nga palibot ug sa konteksto sa mga. Sila gigamit sa duha ka kaso:

1) sa automate sa paglangan, balik-balik nga o maid-id nga buluhaton sama sa file kon itandi sa pipila ka libo ka mga laray nga gihulma aron sa pagbuhi panahon alang sa konsentrasyon sa magasulay nga mas importante nga mga punto;

2) alang sa pagbuhat sa tracking o buluhaton nga dili sayon nga gihimo sa mga tawo sama sa performance verification o pagtuki tubag panahon nga mahimong masukod sa gatosan ka bahin sa usa ka ikaduha.

Test mga himan mahimong giklasipikar sa lain-laing mga paagi. Ang sunod nga division gibase sa mga buluhaton sa pagsuporta sa ilang:

• test management, nga naglakip sa proyekto sa pagdumala sa suporta, bersiyon, mga porma, risgo pagtuki, test tracking, mga sayop, mga depekto, ug pagreport mga himan;
• mga kinahanglanon sa pagdumala, nga naglakip sa mga kinahanglanon sa pagtipig ug specifications, check kanila alang sa kahingpitan ug sa ambiguity, ang ilang prayoridad ug ang traceability sa matag pagsulay;
• kritikal nga review ug nagapahulay, nagahunong analysis, lakip na ang dagan monitoring, ug mga buluhaton, recording ug sa paghipos sa mga komento, depekto detection ug nagplano pagtul-id sa pagdumala links sa checklist ug mga lagda, tracking komunikasyon tinubdan dokumento ug code nagahunong analysis sa pagmatikod depekto, pagsiguro pagsunod sa mga sumbanan sa pagsulat code, pagtuki sa mga istruktura ug mga dependencies, pagtantiya, pagbanabana sa metric lantugi sa code ug arkitektura. Dugang pa, sa paggamit sa mga nagtigom, analyzers, generators ug mga relasyon sa mga cross-reference;
• modelo, nga naglakip sa mga kahimanan alang sa modelo nga kinaiya sa negosyo ug pagsulay sa mga modelo;
• test development nagsiguro sa kaliwatan sa data gilauman sa basehan sa kahimtang ug user interface modelo ug code, sa pagdumala sa paghimo o pag-usab sa file ug sa database, messaging, data validation sa basehan sa mga lagda sa pagdumala, statistical analysis sa mga kahimtang ug mga risgo;
• sa usa ka kritikal nga panglantaw pinaagi sa pagsulod sa mga data pinaagi sa usa ka tan-awon user interface, API, sugo linya sa paggamit sa comparators aron sa pagtabang sa pag-ila sa malampuson ug molampos pagsulay;
• suporta debugging palibot nga nagtugot kaninyo sa pag-ilis sa nawala nga hardware o software, sa Vol. h. simulation ekipo base sa determinado output subset, terminal emulators, mobile phone ug network mga ekipo, ang palibot alang sa pagsusi sa mga pinulongan, operating sistema ug hardware pinaagi sa pag-ilis sa nawala nga sangkap drayber, tinumotumo modules, ug uban pa, ingon man usab sa mga kahimanan alang sa pagdakop ug pag-usab sa os sa paghangyo sa CPU simulation limitasyon, RAM, ROM, o network .;
• .. Usa ka pagtandi sa file data, database, check sa gilauman resulta sa panahon ug human sa pagsulay mao ang bug-os nga, apil dinamikong ug batch pagtandi, Automatic "orakulo";
• pagabuliton sukod alang sa localization sa handumanan leaks ug sayop sa iyang pagkontrolar sa kinaiya pagbana-bana nga sistema ubos sa gisundog nga load generating load aplikasyon, database, network o tigtagad sa usa ka realistiko nga situwasyon sa pagtubo alang sa sukod, pagtuki ug verification sa mga kapanguhaan nga sistema report;
• seguridad;
• performance testing, load ug dinamikong analysis;
• sa ubang mga himan, sa Vol. h. sa pagsusi sa espeling ug syntax, network security, ang anaa sa tanan nga mga mga panid website ug sa uban pang mga.

panglantaw

Uban sa pag-usab sa dagan sa industriya sa software, ang proseso sa debugging mao ang subject sa pag-usab usab. Adunay bag-ong mga paagi sa software testing, sama sa usa ka pag-alagad-orientirovannae arkitektura (SOA), wireless teknolohiya, mga serbisyo mobile, ug sa ingon sa. E., Wala giablihan sa bag-ong mga paagi sa testing software. Ang pipila sa mga kausaban nga gipaabot sa industriya sa ibabaw sa sunod nga pipila ka mga tuig gilista sa ubos:

• testers ang paghatag og usa ka lightweight model nga developers makahimo sa check sa imong code;
• pagpalambo sa mga pamaagi testing, lakip na ang pagtan-aw ug modelo sa mga programa sa usa ka sayo nga yugto, ang pagwagtang sa daghan sa mga kontradiksyon;
• atubangan sa daghang mga interceptions test shorten sa panahon sa kasaypanan detection;
• Nagapahulay, nagahunong analyzer ug detection nagpasabot sa mas kaylap nga gigamit;
• sa paggamit sa mga matrices mineral, sama sa coverage sa paghingalan, ang kasangkaran sa mga modelo ug code coverage motino sa kalamboan sa mga proyekto;
• combinatorial himan motugot testers sa pagtino sa mga prayoridad nga mga dapit alang sa debugging;
• testers ang paghatag sa usa ka labaw nga intuitive ug bililhon nga mga serbisyo sa tibuok proseso sa software development;
• debuggers makamugna mga himan ug software testing pamaagi sa gisulat sa ug sa pagpakig-uban sa usa ka matang sa programming mga pinulongan;
• Debugging eksperto mas propesyonal nga gibansay.

Ang pulihan sa usa ka bag-o nga negosyo-oriented nga mga pamaagi sa software testing, sa pag-usab sa dalan sa pakig-uban sa mga sistema ug ang impormasyon nga sila sa paghatag og samtang pagkunhod risgo ug pagdugang sa mga benepisyo sa mga kausaban sa negosyo.