Metotia o tofotofoga polokalama ma faatusatusa i latou. auala suʻega o le "pusa uliuli" tofotofoga ma le auala o le "pusa sinasina"

Suʻega polokalama (SW) faailoa avanoa, vaivaiga ma mea sese i le tulafono e tatau ona faatuatusi. E mafai foi ona faauigaina o le faagasologa o le iloiloina o le functionality ma le sao atoatoa o le polokalama i le fesoasoani o le auiliiliga. metotia Autu o le tuufaatasia ma le tofotofoina o talosaga polokalama ma le mautinoa lelei o le tofotofoina le specification, mamanu ma coding, iloiloga faatuatuaina, faamaoniga ma le faamaoniga.

auala

O le faamoemoega autu o le polokalama suʻega - faamaoniga o le lelei o le polokalama e ala i faiga talosaga faiga debugging i lalo o le pulea ma le faaeteete tuutuuga fuafua o latou le atoatoa ma le sao atoatoa, faapea foi le mauaina o mea sese o loo natia.

O le auala o le faamaoniga (suesuega) polokalame e mafai ona vaevaeina i static ma talaʻi.

O le muamua e aofia ai le aloaia, mataituina ma le iloiloga faapitoa, asiasiga, laasaga ma lea laasaga auiliiliga, suetusi, e faapea foi iloiloga static tafe faamatalaga ma le pulega.

o metotia maoae:

1. suʻega pusa White. O se suesuega auiliili o lenei o le manatu o tagata atamamai i le lotoifale ma le faatulagaina o le polokalama. E tatau ona malamalama o le code puna.
2. suʻega pusa Black. O lenei auala e le manaomia so o se malamalama e uiga i le galuega i totonu o le talosaga. Tatou mafaufau e na o le vaega autu o le faiga, e le faatatau i po e fesootai ma ni nai o lona fausaga talafeagai i totonu.
3. auala pusa Gray. E tuufaatasia taumafaiga muamua e lua. Debugging e tapulaa le malamalama i le faagaoioiga i totonu o le talosaga faatasi ai ma le malamalama o le vaega autu o le tino.

suʻega manino

O le auala pusa sinasina faaaogaina scripts suega pulea faatulagaga o le mamanu taualumaga. O lenei auala e mafai ai ona faaali mai e sese le faatinoga, e pei o faiga matitiva code pulega e iloiloina se vaega o le galuega i totonu o le polokalama. O nei tofotofoga metotia e talafeagai i le tuufaatasiga, taualumaga module ma faiga. O le tester tatau ona i ai le avanoa i le code puna ma faaaoga e iloa ai lea iunite amio le manatu.

Tofotofoina polokalame e papaʻe pusa ei ai le tulaga lelei o nei:

• E mafai ona iloa se mea sese i le code natia i le aveesea laina talafeagai;
• le faaaogaina o le itu-aafiaga;
• ua ausia inisiua aupito maualuga i le tusiaina o se faamatalaga suega.

tulaga le lelei:

• faagasologa tau-maualuga, e manaomia ai debugger tomai;
• tele ai avanoa tumau unexplored ona siaki auiliili o mea sese o loo natia e mafai uma e matua lavelave;
• o le a mavae amanaiaina nisi o code.

suʻega pusa White ua taʻua i nisi taimi e tofotofoina ai se pusa tioata pe tatala, fausaga, suʻega talafeagai, e faavae i luga o le code puna, ma le tusiata fale mafuaaga.

O le ituaiga o autu:

1) tofotofoina ai le tafe pulea - faaaogaina o fuafuaga faataatitia o le fausaga o le faataitaiga tafe pulea polokalama ma favoring sili atu ni auala faigofie e itiiti sili ona faigata;

2) Ua mamanuina le paranesi e suesue debugging filifiliga taitasi (moni pe sese) o faagaoioia pulea taitasi, lea e aofia ai foi se tali tuufaatasi;

3) suʻega o le ala autu, lea e faatagaina ai le tester e faatuina fua lavelave talafeagai galuega tau taualumaga mo le faaesea a faavae seti o ala o faatinoga;

4) O le siakiina o le faamatalaga vaitafe - o le tafe pulea fuafuaga o suesuega e ala i le faamatalaga o faitauina faamatalaga e uiga i le ta ma faaaoga le fesuiaiga polokalama;

5) taamilosaga o tofotofoga - atoatoa taulai atu i le faagaoioiga saʻo i faiga cyclic.

debugging amioga

suʻega pusa Black feutagaʻi le polokalama e pei o se "pusa uliuli" - faamatalaga e uiga i galuega i totonu o le polokalama e le o faitauina, ma siaki na o le vaega autu o le tino. I lenei tulaga, e manaomia e le tester ia iloa le faiga o le tusiata fale e aunoa ma le avanoa i le code puna.

Tulaga lelei o lenei auala:

• le lelei mo vaega code tele;
• faamama o vaaiga tester;
• tagata e faaaogāina le vaaiga o loo manino vavae ese mai le vaaiga atinae (Faapolokalameina ma tester e tutoatasi o le tasi i le isi);
• sili foafoaga vave o le tofotofoga.

Suʻega polokalama auala pusa uliuli ei ai le tulaga le lelei nei:

• moni faia a filifilia numera o mataupu tofotofoga, e mafua i le inisiua faatapulaaina;
• leai o faigata a specification manino e atiina ae scripts tofotofoga;
• le lelei maualalo.

Isi igoa mo lenei tekinolosi - amioga, e le manino, tofotofoga e faaaogaina i ma auala debugging o se pusa tapuni.

O lenei vaega e mafai ona aofia ai mea nei polokalama metotia suʻega:

1) e tutusa ma vasega, e mafai ona faaitiitia ai le seti o tofotofoga o faamatalaga e pei ona motusia faamatalaga module polokalama sao o ifo i lalo i vaega eseese;

2) auiliiliga tuaoi taua e taulai atu i le faamaoniga o tuaoi po o tulaga faatauaina tapulaa ogaoga - o le maualalo, maualuga, ma tulaga faatauaina masani o mea sese;

3) fuzzing - faaaogaina e faatino ai le suesuega e inputting mea sese po o le faaleagaina o faamatalaga poluiskazhennyh i le faiga otometi po semi-otometi;

4) taulia o causality - o se auala e faavae i luga o le foafoaga o graphs ma le fuafuaina o le sootaga i le va o le faatinoga ma lona mafuaaga: faasinomaga, negation, talafeagai PO ma talafeagai MA - o le tagata autu e fa, le faaalia o le sootaga o le mafuaaga ma le aafiaga;

5) faamaoniga o arrays orthogonal faatatau i faafitauli i se nofoaga sao itiiti e matua sili atu i le avanoa o suesuega o atoatoa;

6) tofotofoina uma taitoalua - o se auala pe afai o se seti o tulaga faatauaina suega aofia faapotopotoga binary mafai uma o paga taitasi o le faataamilosaga sao;

7) debugging tulaga suiga - o se auala aoga mo le siakiina o le tulaga o le masini, faapea foi e faatautaia e ala i le GUI tagata e faaaogāina.

suʻega pusa Black: Faataitaiga

e faavae auala pusa-uliuli i luga o le auiliili, pepa, ma faamatalaga o le Ofisa o polokalama faakomepiuta po o faiga. I le faaopoopo atu, e mafai ona e faaaogaina faataitaiga (aloaia pe faasamasamanoa), sui o le amio e tatau ona o le polokalama.

E masani lava, o loo faaaogaina lenei metotia mo debugging faaaogāina Ofisa ma e manaomia ai fegalegaleaiga i le talosaga e ala i le faailoa a faamatalaga aoina ma le taunuuga - mai le lau, mai le lipoti po o printouts.

O le tester, o lea, interacts i le polokalama e ala i inputting, e ala i le faia i luga o le switches, faamau po o isi interfaces. O le filifiliga o faamatalaga sao, o le faatulagaga o le pulega po o se faasologa o gaoioiga e mafai ona taitaiina atu ai i se aofaiga tele o pulega, e pei ona faaalia i le faataitaiga lenei.

E faapefea le tele o tofotofoga e tatau ona faia ina ia siaki faatauaina mafai uma mo le 4 faamalama fuʻa ma fanua tasi e ese mai, faatulaga le taimi i sekone? I fuafuaina muamua luma e faigofie lava: 4 fanua ma setete mafai lua - 24 = 16, e tatau ona faatele i le aofai o avanoa faigaluega e mafai ai mai le 00 i le 99, i.e. 1600 tofotofoga e mafai ai.

Ae peitai, e sese lenei fuafuaina: mafai ona tatou iloa e mafai ona aofia ai foi le fanua e lua tulaga o se avanoa, o lona uiga e aofia ai le lua tulaga alphanumeric ma e mafai ona aofia ai tagata alphanumeric, tagata faapitoa, avanoa, ma isi mea lea, pe afai .... faiga o se 16-si komepiuta, liliu 216 = 65536 le tasi mo le tasi tulaga i le taunuuga 4294967296 tulaga suega lea o le a faateleina i le 16 faapotopotoga a fuʻa e tuuina mai se aofaiga o 68.719.476 736. Afai latou faia i le 1 suega i le lona lua, o le cont atoa suʻega olzhitelnost o 2 177.5 tausaga. Mo le 32 po o faiga 64-sina, o le umi e sili atu.

O lea o loo i ai se manaomia o le faaitiitia o lenei vaitaimi i se tulaga ua taliaina. O lea la, e tatau ona faaaogaina metotia e faaitiitia ai le numera o mataupu suega e aunoa ma le faaitiitia o le lio o le suʻega.

Equivalence partitioning

partitioning Equivalence o se auala faigofie e talafeagai ai mo so o se fesuiaiga e auai i le polokalama, pe o sao po o tulaga faatauaina ma galuega faatino, amio, numeric, etc .. E faavae i luga o le mataupu faavae faapea o faamatalaga uma mai i se tasi e tutusa o le a faia vasega i le ala lava lea e tasi ma e le faatonuga lava lea e tasi.

I le taimi o le tofotofoina, e filifilia se sui e toatasi o le vasega equivalence faapitoa taitasi. O lenei e mafai ai e faaitiitia ai faiga o le aofai o mafai tulaga suega e aunoa ma le leai o se inisiua o poloaiga ma galuega tauave.

O se isi taunuuga o lenei partitioning o le faaitiitia o le pa combinatorial i le va o fesuiaiga eseese ma le fesootai faaitiitia o mataupu suega.

Mo se faataitaiga, i le (1 / x) ^1/2 faaaogaina tolu sequences faamatalaga, e tolu vasega tutusa:

1. numera lelei uma o le a faia i le ala lava lea e tasi ma e tatau ona tuuina atu taunuuga saʻo.

2. numera lelei uma ua taulimaina i le ala lava lea e tasi i le taunuuga lava e tasi. e le saʻo lenei mea, ona o le pogai lea o le tele le lelei o le faalemafaufau.

3. o le a taulimaina eseese ma tuuina atu i le mea sese "vaega e o." O se vaega lenei i se tasi o tulaga faatauaina.

O lea, ua tatou vaai e tolu ni vaega eseese, o se tasi lea ua faaitiitia i se tasi o tulaga faatauaina. E tasi le "saʻo" fuaiupu, lea e tuuina mai taunuuga faatuatuaina, ma le lua "sese" ma le taunuuga sese.

auiliiliga taua tuaoi

Gaosi e mafai ona faia i luga o le tuaoi o le partitioning tutusa ese faamoemoeina. Suesuega o tulaga faatauaina tapulaa - o se auala lauiloa o le iloiloina o le amioga o le polokalama i vaega faapena. O lenei auala e mafai ai ona faailoa mai e sese:

• faaaoga sese o faagaoioia relational (<,>, =, ≠, ≥, ≤);
• mea sese e tasi;
• faafitauli i le taamilosaga ma iterations,
• sese ituaiga po o le tele o fesuiaiga faaaogaina mo le teuina o faamatalaga;
• tapulaa faafoliga e fesootai ma faamatalaga ituaiga ma fesuiaiga.

suʻega translucent

faateleina auala pusa lanu efuefu le inisiua tofotofoga, e mafai ona e taulai atu i tulaga faigata uma o le lalolagi e ala i se tuufaatasiga o auala uli ma tagata papae.

O le faaaogaina o lenei metotia, o le tester mo le atinae o le suega o tulaga faatauaina e tatau ona malamalama o fausaga ma algorithms totonu faamatalaga. Faataitaiga o faaefuefu pusa metotia suʻega ua taua e faapea:

• faataitaiga fausaga;
• Lotogatasi Modeling Language (UML);
• faataitaiga tulaga (masini tulaga gata).

I le auala o le pusa lanu efuefu e atiina ae tulaga suega suesueina modules i tulafono laiti sinasina inisinia, ma o loo faatinoina le suega moni i luga o le interfaces o le polokalame faatekonolosi uliuli.

O nei metotia e tofotofoina ai le tulaga lelei o nei:

• tuufaatasiga o tulaga lelei faatekinisia pusa papae ma uliuli;
• e faavae Tester i luga o le Ofisa ma specification faaaogaina i, ae le o le code puna;
• debugger mafai ona e faia tulaga tofotofoga tele;
• siaki ua faia mai i le manatu o le tagata e faaaogāina, ae le o le mamanuina o le polokalama;
• faia atinae tofotofoga masani;
• objectivity.

tulaga le lelei:

• ua faatapulaaina inisiua suega ona ua leai se avanoa i le code puna;
• le lavelave o le faaletonu i le talosaga tufatufaina atu;
• le tele o auala tumau unexplored;
• pe afai ua faalauiloa le atinae polokalama faakomepiuta o le suega, ona toe mafai ona soona tele ni suesuega.

O le isi igoa mo le metotia pusa lanu efuefu - debugging translucent.

O lenei vaega e aofia ai le auala e pei o tofotofoga:

1) autau orthogonal - o le faaaogāina o se subset o faapotopotoga mafai uma;

2) debugging Taiala faaaogaina le tulaga o le faamatalaga polokalama;

3) asiasiga regressive faia i le suiga fou i le polokalama;

4) mamanu suega o iloiloga le mamanu ma le tusiata fale o se talosaga lelei.

Faatusatusaga o polokalama metotia suʻega

O le faaaogaina o metotia maoae e tau atu i se pa combinatorial o le aofai o tofotofoga e tatau ona atiina ae, faatinoina ma le tauaveina. e tatau ona faaaogaina pragmatically auala uma, ma ave ana tapulaa i tala.

Na o le pau e le oi ai auala moni, o loo i ai na o tulaga e sili ona talafeagai i le mataupu patino. inisinia fausaga mafai ai ona tatou maua se code le aoga po o le leaga, ae oi latou o ni faigata ma e le talafeagai i polokalama tele. Auala e faavae i luga o fuafuaga auiliili - nao e mafai ona faailoa le code misi, ae le mafai ona latou faailoa mai se tagata ese. O nisi auala e sili atu ona talafeagai mo se faapitoa tulaga tofotofoga, sese ituaiga po o tulaga nai lo isi.

O loo i lalo le eseesega autu o le va o le auala galue lea suʻega e tolu - Ua tuuina mai se faatusatusaga laulau i le va o ituaiga e tolu o debugging o polokalama faakomepiuta.

vaega	O le auala pusa uliuli	auala pusa Gray	auala pusa-White
I ai o faamatalaga i le tuufaatasiga o le polokalama	Iloiloina na o le vaega autu o le	malamalama Faailoga Tagata e uiga i le faatulagaga i totonu o le polokalama o	avanoa atoatoa i le code puna
Tikeri o le fragmentation o le polokalama	maulalo	Tutotonu	maualuga
O e maua debugging?	Faaiʻuina tagata e faaaogāina, testers ma developers	Faaiʻuina tagata e faaaogāina, developers ma debuggers	Developers ma testers
muli	e faavae suʻega i luga o le tulaga i fafo o faalavelave tutupu faafuasei.	Ata nofoaga autu o faamatalaga, faamatalaga faamauina ata tafe, tulaga o le malamalama i totonu o le algorithm ma le tusiata fale	o atoatoa le masini i totonu iloa
O le tele o inisiua	Itiiti atoatoa ma e manaomia ai a itiiti mai o le taimi	Tutotonu	E ono e sili ona atoatoa. Taimi e alu ai
Faamatalaga ma tuaoi i totonu	Debug na o le faamasinoga ma le mea sese	E mafai ona siaki le faamatalaga domains ma tuaoi i totonu, pe afai o loo iloa ai i latou	O le domains faamatalaga suega sili ona lelei ma tuaoi i totonu
algorithm suʻega talafeagai	leai	leai	ioe

faʻaautomatika

metotia otometi o tofotofoga polokalama ua tele faafaigofie le faagasologa o le asiasiga, e tusa lava po o le siosiomaga tau tomai faapitoa ma le tulaga o le. o loo faaaogaina i latou i mataupu e lua:

1) e faʻaautomatika le faigata, soo po o meticulous galuega e pei o le faila a faatusatusa i le tele o afe o laina ina ia faamalolo taimi mo le faasalaga o le tester vaega e sili ona taua;

2) mo le faatinoina o Siaki ai po o galuega e lē mafai ona faigofie ona faia e tagata e pei o le faatinoga faamaoniga po o suesuega o le tali taimi e mafai ona fuaina i hundredths o se lua.

e mafai ona faavasegaina meafaigaluega suega i auala eseese. O le vaega e sosoo ai e faavae i le galuega na latou lagolagoina:

• pulega tofotofoga, lea e aofia ai le lagolago tau pulega galuega, lomiga, configurations, iloiloga o tulaga lamatia, e Siaki ai tofotofoga, mea sese, faaletonu, ma meafaigaluega o lipoti;
• manaoga tau pulega, lea e aofia ai le teuina o manaoga ma auiliili, siaki i latou mo atoatoa ma ailililo, latou faamuamua ma le traceability o suega taitasi;
• iloiloga taua ma auiliiliga static, e aofia ai le mataituina o le tafe, ma galuega, pueina ma le teuina o faamatalaga, faaletonu mataituina ma le fuafuaina faasaoga pulega sootaga i checklists ma tulafono faafoe, sailia punavai o fesootaiga ma code auiliiliga static ona iloa faaletonu, ia mautinoa le tausisia o tulaga faatonuina o le faiga tusitusia code, auiliiliga o fausaga ma dependencies, fuafuaina o le faataamilosaga nati o le tulafono laitiiti ma le tusiata fale. I le gata i lea, faaaoga compilers, analyzers, eletise ma sootaga o le mau;
• modeling, lea e aofia ai meafaigaluega mo amioga modeling pisinisi ma tofotofo le faataitaiga;
• tofotofoga atinae e faamautinoa e le tupulaga o faamatalaga faamoemoeina i luga o le faavae o tuutuuga ma faataitaiga Ofisa o tagata e faaaogāina ma code, pulea e foafoa pe suia faila ma utufaamatalaga, feau, faamatalaga faamauina le faamaoniga i luga o le faavae o le tulafono o le pulega, auiliiliga faafuainumera o le tuutuuga ma tulaga lamatia;
• se vaaiga taua i le ulufale atu i le faamatalaga e ala i se graphical Ofisa o tagata e faaaogāina, API, laina poloaiga faaaogaina comparators e fesoasoani e faailoa tofotofoga manuia ma le manuia;
• lagolago debugging siosiomaga e mafai ai ona suia le misi o masini po o polokalama faakomepiuta, i Vol. h. faatupu meafaigaluega e faavae i luga o le subset galuega faatino naunau, tigaina emulators, telefoni feaveai ma fesootaiga meafaigaluega, le siosiomaga mo le siakiina o gagana, faagaoioia faiga ma meafaigaluega ma mea faapena i le suia o vaega o loo misi avetaavale, igoa lē moni modules, ma isi, faapea foi ma meafaigaluega mo le faoa ma le suia o le OS talosagaina le CPU tapulaa faatupu manatu, mamoe poʻa, ROMA, po o fesootaiga .;
• .. O se faatusatusaga o faila faamatalaga, utufaamatalaga, siaki le taunuuga faamoemoeina i le taimi ma le tuanai ai o le atoatoa i le tofotofoga, incl maoae ma faaputuga faatusatusaga, tipi saʻo "faaaliga";
• -O le fua mo le localization o manatua ni faafitauli ma le saʻo lona faiga amioga fuaina pulea i lalo o simulated talosaga avega faatupuina avega, utufaamatalaga, fesootaiga po o servers i se mea o tupu moni o le tuputupu ae mo fua, suesuega ma faamaoniga o lipoti punaoa faiga;
• faamalumaluga;
• faatinoga tofotofoina, avega ma auiliiliga maoae;
• isi meafaigaluega, i Vol. h. e siaki le sipelaga ma syntax, saogalemu o fesootaiga, le i ai o itulau website uma ma isi.

vaaiga

Faatasi ai ma le suia o faiga i totonu o le alamanuia o polokalama faakomepiuta, o le faagasologa o debugging e noatia foi e suia. E i ai metotia fou o le polokalama faakomepiuta mo le tofotofoina, e pei o se tusiata fale auaunaga-orientirovannae (SOA), tekinolosi faauaealesi, auaunaga telefoni feaveaʻi, ma isi. E., ua tatala ai ni auala fou o le tofotofoina o polokalama faakomepiuta. O nisi o suiga ua faamoemoe i le alamanuia i le isi nai tausaga o loo lisiina atu i lalo:

• testers le a tuuina atu se faataitaiga mama o le a mafai ona developers e siaki lou code;
• atinae o auala e tofotofoina, e aofia ai le maimoaina ma le modeling polokalame i se tulaga vave, o le a aveesea ai le tele o feteenaiga;
• afioaga o le tele interceptions suega a faapuupuu ai le taimi o le mauaina le mea sese;
• analyzer ma mauaina Static o lona uiga o le a sili atu faaaogaina lautele;
• le faaaogaina o matrices minerale, e pei o inisiua o le specification, o le lio o le faataitaiga ma code inisiua a fuafua ai le atinae o galuega faatino;
• meafaigaluega combinatorial faatagaina testers e iloa ai le vaega e faamuamua mo debugging;
• testers le a tuuina atu se auaunaga sili tupu fua ma taua i le faagasologa o atinae polokalama;
• debuggers mafai ona tatou fatuina meafaigaluega ma polokalama metotia suʻega tusia i ma fegalegaleai ma le tele o gagana polokalame;
• o le a sili atu e aoaoina faapolofesa atamamai Debugging.

O le a suia i se auala suʻega polokalama e fiafia i le pisinisi fou, e suia ai le ala o fesootaiga ma le faiga ma le faamatalaga e maua mai ao faaitiitia o tulaga lamatia ma le faateleina o le faamanuiaga o le suiga pisinisi.