Pojmy verifikácia a validácia sú spojené s kontrolou kvality softvéru. Tieto výrazy používame v našich článkoch a správach. Opakovane sme počuli rôzne komentáre a argumenty o tom, či statickú analýzu zdrojového kódu programu treba klasifikovať ako overovanie a validáciu a aký je rozdiel medzi týmito pojmami. Vo všeobecnosti má človek dojem, že každý do týchto pojmov vkladá svoje vlastné pojmy a to vedie k vzájomnému nedorozumeniu.
Rozhodli sme sa porozumieť terminológii, aby sme dodržali čo najsprávnejšiu interpretáciu týchto pojmov. Počas výskumu sme našli prácu V.V. Kulyamin "Metódy overovania softvéru". Poskytuje podrobný popis týchto pojmov a my sme sa rozhodli ďalej vychádzať z definícií uvedených v tejto práci. Tu sú niektoré úryvky z tejto práce súvisiace s overovaním a validáciou.
Overovanie a validácia sú činnosti zamerané na sledovanie kvality softvéru a zisťovanie chýb v ňom. Majú spoločný cieľ, líšia sa zdrojmi vlastností, pravidiel a obmedzení testovaných počas ich priebehu, ktorých porušenie sa považuje za chybu.
Pre ďalší výklad je potrebné zaviesť pojem „artefakt životného cyklu softvéru“. Artefakty životného cyklu softvéru sú rôzne informačné entity, dokumenty a modely vytvorené alebo používané počas vývoja a údržby softvéru. Artefakty sú teda technická špecifikácia, popis architektúry, model predmetnej oblasti v nejakom grafickom jazyku, zdrojový kód, užívateľská dokumentácia atď. Rôzne modely používané jednotlivými vývojármi pri vytváraní a analýze softvéru, ktoré však nie sú zaznamenané vo forme dokumentov prístupných iným ľuďom, nemožno považovať za artefakty.
Verifikácia kontroluje súlad niektorých artefaktov vytvorených počas vývoja a údržby softvéru s inými, ktoré boli predtým vytvorené alebo použité ako vstupné dáta, ako aj súlad týchto artefaktov a procesov ich vývoja s pravidlami a štandardmi. Overovaním sa kontroluje najmä súlad medzi normami, popisy požiadaviek (technické špecifikácie) na softvér, konštrukčné riešenia, zdrojový kód, užívateľská dokumentácia a fungovanie samotného softvéru. Okrem toho sa overuje, že požiadavky, konštrukčné riešenia, dokumentácia a kódex sú vypracované v súlade s normami a štandardmi prijatými v danej krajine, odvetví a organizácii pri vývoji softvéru a tiež, že pri ich tvorbe sú všetky operácie špecifikované v štandardy boli vykonané v požadovaných postupnostiach. Chyby a nedostatky zistené pri overovaní sú nezrovnalosti alebo rozpory medzi viacerými uvedenými dokumentmi, medzi dokumentmi a skutočnou prevádzkou programu, medzi štandardmi a skutočnými procesmi vývoja a údržby softvéru. Samostatnou úlohou je zároveň rozhodnúť, ktorý dokument je predmetom opravy (možno oboje).
Validácia kontroluje súlad akýchkoľvek artefaktov vytvorených alebo použitých počas vývoja a údržby softvéru s potrebami a požiadavkami používateľov a zákazníkov tohto softvéru, pričom sa berú do úvahy zákony danej oblasti a obmedzenia kontextu používania softvéru. . Tieto potreby a požiadavky sa najčastejšie nezdokumentujú – keď sa zaznamenajú, premenia sa na popis požiadaviek, jeden z artefaktov procesu vývoja softvéru. Preto je validácia menej formalizovaná činnosť ako overovanie. Koná sa vždy za účasti zástupcov zákazníkov, užívateľov, obchodných analytikov alebo vecných expertov - tých, ktorých názory možno považovať za dostatočne dobré vyjadrenie skutočných potrieb a požiadaviek užívateľov, zákazníkov a iných zainteresovaných strán. Metódy na jeho implementáciu často využívajú špecifické techniky na identifikáciu vedomostí a skutočných potrieb účastníkov.
Rozdiel medzi overením a validáciou je znázornený na obrázku 1.
Uvedené definície sú získané určitým rozšírením definícií zo štandardu IEEE 1012 pre overovacie a validačné procesy. V štandardnom slovníku pojmov softvérového inžinierstva IEEE 610.12 z roku 1990 je definícia overenia približne rovnaká, ale definícia validácie je trochu odlišná - hovorí, že validácia by mala kontrolovať súlad softvéru získaného ako výsledok vývoja s originálom. požiadavky naň. V tomto prípade by validácia bola špeciálnym prípadom overenia, ktorý sa nikde v literatúre o softvérovom inžinierstve neuvádza, a preto, a tiež preto, že bola opravená v IEEE 1012 z roku 2004, by sa táto definícia mala považovať za nepresnú. Časté používanie frázy B. Boehma:
Overenie odpovedá na otázku „Vyrábame produkt správne?“ a overenie odpovedá na otázku „Vyrábame správny produkt?“
zmätok tiež pridáva, keďže aforizmus tohto tvrdenia sa, žiaľ, spája s nejednoznačnosťou. Početné práce jeho autora však naznačujú, že overením a validáciou myslel približne rovnaké pojmy, ako sú definované vyššie. Tieto nezrovnalosti možno vysledovať aj v obsahu štandardov softvérového inžinierstva. Norma ISO 12207 teda považuje testovanie za typ validácie, ale nie za overovanie, čo je zjavne dôsledok použitia nepresnej definície zo štandardného slovníka.
Na záver by som rád poznamenal, že podľa vyššie uvedených definícií statická analýza zdrojového kódu programu zodpovedá verifikácii softvéru, ako je kontrola zhody programového kódu s rôznymi štandardmi kódovania. Statická analýza kontroluje súlad výsledkov fázy návrhu softvérového systému s požiadavkami a obmedzeniami formulovanými skôr.
Bibliografia
- V.V. Kulyamin "Metódy overovania softvéru". Inštitút systémového programovania RAS 109004, Moskva, ul. B. Komunisticheskaya, č.
http://www.ict.edu.ru/ft/005645/62322e1-st09.pdf - Štandard IEEE 1012-2004 pre overovanie a validáciu softvéru. IEEE, 2005.
- IEEE 610.12-1990 Štandardný glosár terminológie softvérového inžinierstva, opravené vydanie. IEEE, február 1991.
- B. W. Boehm. Softvérové inžinierstvo; Trendy výskumu a vývoja a obranné potreby. V R. Wegner, ed. Výskum. Pokyny v softvérovej technológii. Cambridge, MA: MIT Press, 1979.
- ISO/IEC 12207 Systémy a softvérové inžinierstvo - Procesy životného cyklu softvéru. Ženeva, Švajčiarsko: ISO, 2008.
Napriek zjavnej podobnosti pojmy „testovanie“, „overovanie“ a „validácia“ znamenajú rôzne úrovne kontroly správnej činnosti softvérového systému. Aby sme sa vyhli ďalším nejasnostiam, definujme tieto pojmy jasne.
Testovanie softvéru- druh činnosti v procese vývoja spojený s realizáciou postupov zameraných na odhaľovanie (dokazovanie prítomnosti) chýb (nezrovnalostí, nekompletností, nejasností a pod.) v súčasnej definícii vyvíjaného softvérového systému. Proces testovania sa týka predovšetkým kontroly správnosti softvérovej implementácie systému, súladu implementácie s požiadavkami, t.j. testovanie je riadené vykonávanie programu na zistenie nezrovnalostí medzi jeho správaním a požiadavkami.
Ryža. 1 Testovanie, overovanie a validácia
Overenie softvéru- všeobecnejší pojem ako testovanie. Účelom overenia je zabezpečiť, aby overovaný objekt (požiadavky alebo programový kód) spĺňal požiadavky, bol implementovaný bez neúmyselných funkcií a spĺňal konštrukčné špecifikácie a normy. Proces overovania zahŕňa inšpekcie, testovanie kódu, analýzu výsledkov testov, generovanie a analýzu správ o problémoch. Preto sa všeobecne uznáva, že proces testovania je neoddeliteľnou súčasťou procesu overovania a rovnaký predpoklad sa používa aj v tomto školiacom kurze.
Validácia softvérového systému- proces, ktorého účelom je dokázať, že v dôsledku vývoja systému sme dosiahli ciele, ktoré sme jeho používaním plánovali dosiahnuť. Inými slovami, validácia je kontrola, či systém spĺňa očakávania zákazníka. Otázky súvisiace s validáciou presahujú rámec tohto školiaceho kurzu a predstavujú samostatnú zaujímavú tému na štúdium.
Ak sa pozriete na tieto tri procesy z hľadiska otázky, na ktorú odpovedajú, testovanie odpovedá na otázku „Ako sa to robí? alebo "Spĺňa správanie vyvinutého programu požiadavky?", overenie - "Čo sa urobilo?" alebo „Spĺňa vyvinutý systém požiadavky?“ a validácia je „Urobilo sa, čo je potrebné?“ alebo "Spĺňa vyvinutý systém očakávania zákazníka?"
Overovanie je zvyčajne interný proces riadenia kvality, ktorý zabezpečuje súlad s pravidlom, normou alebo špecifikáciou. Jednoduchý spôsob, ako si zapamätať rozdiel medzi validáciou a overením, je, že validácia potvrdzuje, že „vy ste vytvorili správny produkt“ a overovanie potvrdzuje, že „ste produkt vytvorili tak, ako ste ho zamýšľali“.
Ďalší príklad typického overenia: vykonávanie testovania zariadení. S určitými požiadavkami testujeme produkt a zaznamenávame, či sú požiadavky splnené. Výsledkom overenia je odpoveď na otázku „Spĺňa produkt požiadavky?
Ale nie vždy je možné v konkrétnej situácii použiť produkt, ktorý spĺňa stanovené požiadavky. Napríklad liek prešiel všetkými požadovanými testami a dostal sa do predaja. Znamená to, že ho môže užívať akýkoľvek konkrétny pacient? Nie, keďže každý pacient má svoje vlastné charakteristiky a pre tento konkrétny liek môže byť škodlivý, to znamená, že niekto (lekár) musí potvrdiť: áno, tento pacient môže užívať tento liek. To znamená, že lekár musí vykonať validáciu: dať právnu platnosť konkrétnej aplikácii.
Alebo iný príklad. Spoločnosť vyrába rúry určené na kladenie do zeme v súlade s určitými špecifikáciami (Technické podmienky). Výrobky sú v súlade s týmito špecifikáciami, ale bola prijatá objednávka, ktorá zahŕňa kladenie potrubí pozdĺž morského dna. Môžu sa v tomto prípade použiť rúry, ktoré zodpovedajú existujúcim špecifikáciám? Odpoveď na túto otázku poskytuje práve validácia.
Je ľahké vidieť, že ďalším rozdielom je, že overenie sa vykonáva vždy, ale nemusí byť potrebné. Objaví sa len vtedy, keď vzniknú požiadavky týkajúce sa konkrétneho použitia produktu. Ak farmaceutický závod vyrába lieky, bude len kontrolovať ich súlad s požiadavkami a nebude sa zaoberať problémami užívania konkrétnych liekov konkrétnymi pacientmi.
Možno teda konštatovať nasledovné:
Takmer vždy sa vykonáva overovanie, vykonáva sa kontrolou (porovnávaním) vlastností výrobkov so stanovenými požiadavkami, výsledkom je záver o zhode (alebo nezhode) výrobku,
Validácia - v prípade potreby sa vykonáva analýzou stanovených podmienok použitia a posúdením zhody charakteristík produktu s týmito požiadavkami, výsledkom je záver o možnosti použitia produktu pre konkrétne podmienky.
Na základe vyššie uvedeného by validácia mala byť definovaná ako potvrdenie, založené na poskytnutí objektívnych dôkazov, že požiadavky určené na konkrétne použitie alebo aplikáciu sú presne a úplne špecifikované a účel je dosiahnutý.
Overenie - čo to je jednoduchými slovami? Čo je overovanie vo filozofii? Overovanie v iných oblastiach ľudskej činnosti? Ako sa prekladá slovo „overenie“? Jeho pôvod a význam? Ako sa overenie líši od overenia? Odpovede na tieto otázky sú v tomto článku.
Ďalšie užitočné články:Slovo „overenie“ pochádza z latinských slov verus, Čo znamená " pravda" A facere,Čo znamená " robiť“. T V doslovnom význame sa teda slovo prekladá ako „urobiť alebo potvrdiť pravdu niečoho“. Overiť znamená SKONTROLOVAŤ A POTVRDIŤ správnosť.
Overovanie – čo to znamená v rôznych oblastiach?
Overovanie vo filozofii- ide o zistenie pravdivosti teoretických tvrdení prostredníctvom ich experimentálneho overenia. Pojem "overenie" sa vo vede používa v rovnakom význame.
Overenie v banke- Čo to je? To znamená overenie identity klienta a údajov, ktoré o sebe uvádza, prípadne overenie transakcií realizovaných klientom. V súčasnosti zákazníci vykonávajú veľa transakcií online na internete pomocou platobných kariet. Každá operácia prechádza overením (potvrdením), napríklad odoslaním SMS s kódom na telefón klienta.
Overenie na internete- ide o potvrdenie vašej identity pri registrácii v platobných systémoch (WebMoney, YandexMoney, Qiwi atď.), V sociálnych sieťach, v rôznych užitočných službách. Na overenie, že ste to vy a nie robot alebo podvodník, sa spravidla na váš e-mail odošle potvrdzujúci list.
Overenie v systéme kvality— ide o kontrolu zhody produktu s normami GOST alebo medzinárodnými normami ISO.
Overovanie - príklady
Napríklad, sociálna sieť Twitter overuje účty celebrít aby mali používatelia istotu, že správy skutočne zverejňuje táto celebrita alebo jej oficiálny zástupca. Na účte Twitter používateľa, ktorý si tým prešiel overenie , je umiestnená modrá ikona so začiarknutím.
Ďalší príklad: do prepojiť platobnú kartu s účtom v platobnom systéme(napríklad PayPal), musíte prejsť overenie (overenie) platobnej karty.
Komu získať „Osobný pas“ v platobnom systéme WebMoney, potrebovať ísť overenie (overenie) pasu používateľa.
Ďalší príklad z IT oblasti. Spoločnosť zaoberajúca sa vývojom softvéru splnila objednávku na vývoj programu. Testovanie softvéru na zhodu so špecifikáciami zákazníka je povinnou súčasťou procesu plnenia zadania zákazníka. Testovanie sa vykonáva pre overenie pripravenosť softvérového produktu a súlad s požiadavkami zákazníka. A tu validácia Softvér bude vykonávať zákazník.
Ako sa overenie líši od overenia?
Mnohé z týchto slov sa považujú za synonymá, ktoré znamenajú potvrdenie. Medzi týmito pojmami je však rozdiel. Validácia a overovanie sú rôzne činnosti. Toto nie je jednoduchá otázka, ktorá mnohých zavádza. Preto, ak sa s tým chcete vyrovnať a pochopiť to... Tu stručne poviem, že v preklade z angličtiny znamená overenie kontrolu a overenie udelenie právnej sily.
Validácia - odovzdanie, potvrdenie právnej moci Overenie - kontrolaPrečo je potrebné overovanie v bankách, na internete a vo výrobe?
Prečo je potrebné overenie v bankách a na internete?— na sociálnych sieťach (VK a iné), ? Hlavným účelom overovania v bankách a na internete je boj proti podvodom.
Prečo je pri výrobe potrebná kontrola kvality produktu? Myslím, že odpoveď je jasná. Tu je overenie nevyhnutné, aby klienti dostali skutočne kvalitné produkty.
Dúfam, že článok bol pre vás užitočný a teraz viete, že ide o „overenie“ jednoduchými slovami.
Všetkým prajem veľa nápadov a radosti z ich uvádzania do života!
Na záver navrhujem pozrieť si užitočné video na získanie sebavedomia a sebavedomia, ktoré všetci tak veľmi potrebujeme:
Zdanlivá alebo skutočná anonymita na internete je faktorom, pre ktorý mnohí používatelia milujú World Wide Web a hľadajú najrôznejšie spôsoby, ako zachovať a udržiavať inkognito (z rôznych dôvodov).
Obsah:
Definícia
Podľa encyklopedických alebo slovníkových definícií môžeme povedať, že overovanie je potvrdením reality a pravdivosti jednotlivca alebo skupín jednotlivcov (napríklad v skupinách organizácií na sociálnych sieťach, pri vykonávaní akýchkoľvek bankových transakcií a pod.).
Tento výraz pochádza z latinského slova veritas – pravda, doslovne preložené ako „uskutočniť pravdu“, teda potvrdiť.
Proces overenia je teda priamym procesom odstránenia inkognito od osoby alebo organizácie.
Overovaniu však nepodliehajú len konkrétni ľudia či organizácie. Tento termín je použiteľný v rôznych iných oblastiach.
Potvrdenie telefónneho čísla alebo e-mailovej adresy odoslaním špecifického kódu alebo odkazu naň je tiež overením, nie však osoby, ale údajov.
V skutočnosti môže každá informácia, akékoľvek údaje, každá osoba alebo organizácia vyžadovať potvrdenie pravdy. V niektorých oblastiach je povinný, v iných žiadúci, v iných voliteľný atď. v určitých prípadoch môže poskytnúť určité bonusy alebo príležitosti.
Rozsah pôsobnosti výrazu
Tento koncept sa používa v mnohých oblastiach, no najrozšírenejší je vo finančnom sektore a na internete.
Vo finančnom sektore je to nanajvýš potrebné, pretože práve tu dochádza k najväčšiemu počtu podvodných aktivít, ktoré sa vždy vykonávajú s cieľom vyhnúť sa podvodom.
4 Aby sa predišlo výskytu klonovaných stránok, môže byť potrebné overenie na zábavné účely alebo s informáciami, ktoré kazia povesť osoby (to platí najmä pre verejne známe osoby, ale nie sú jediní, ktorí potvrdzujú svoje účty);
5 Všetky výhody a vlastnosti predchádzajúceho odseku sa vzťahujú nielen na osobné účty, ale aj na verejných stránkach organizácií alebo jednoducho obľúbených komunít na internete;
6 V vo väčšine prípadov je to potrebné na zaistenie pomyselnej bezpečnosti používateľov, ak sa napríklad zistia hrozby voči niekomu, je ľahšie stíhať osobu, ktorá ich podala, ak je jej účet overený (hoci v skutočnosti tento systém takmer nefunguje);
7 Keď sa zaregistrujete na platené predplatné webovej stránky, zvukovej knižnice, videotéky alebo knižníc u. Registrácia na potvrdenie reality je potrebná na vyriešenie prípadných peňažných sporov a zabránenie podvodným aktivitám zo strany používateľov;
8 Takmer všetky stránky pracujúce so systémami elektronických peňazí, aj na tieto účely vykonávajú overovací postup, najmä ak hovoríme o obrate viac či menej významných súm (napríklad implementuje niekoľko fáz potvrdenia účtu a v každej novej fáze je používateľovi poskytnutý prístup k pokročilejšia funkcionalita systému).
Nie všetci používatelia vedia, že mnohé sociálne siete, hoci štandardne nevyžadujú overenie, ho môžu vykonať na žiadosť používateľa. Napríklad na webovej stránke môžete kontaktovať Službu podpory, aby ste vykonali takýto postup, ak z nejakého dôvodu zistíte, že je to potrebné. Týmto spôsobom môžete overiť svoj účet alebo verejný účet.
Potvrdenie účtu
V akých prípadoch sa oplatí potvrdiť svoj účet alebo verejne?
1 Keď máte dostatočne veľký počet predplatiteľov, aby ste sa vyhli výskytu klonov;
2 Pri pravidelnom organizovaní akýchkoľvek stretnutí a/alebo podujatí, od r overený účet je dôveryhodnejší;
3 O vykonávaní akýchkoľvek finančných manipulácií alebo zadávaní žiadosti o ne(napríklad pri získavaní finančných prostriedkov na charitu) z rovnakých dôvodov;
4 Ak je k dispozícii ciele propagácie účtu alebo verejnosti z rovnakých dôvodov;
5 Pri uverejňovaní textov, obrázkov, hudby atď. vlastnej kompozície, iného duševného vlastníctva za účelom aspoň drobnej autorskoprávnej ochrany;
6 Pre politické alebo aktivistické aktivity(aj keď tu veľa závisí od typu aktivizmu);
7 Pri práci a zverejňovaní informácií v mene spoločnosti alebo organizácie atď.
8 V skutočnosti je možné overiť akýkoľvek účet. Administratíva, napríklad VKontakte, zvyčajne nemá otázky o účele alebo dôvode, pre ktorý sa potvrdenie robí.
Aj keď je dôležité zvážiť, že má aj množstvo negatívnych dôsledkov. A v prvom rade je to nedostatok anonymity – zhruba povedané, nesiete o niečo väčšiu zodpovednosť za zverejnené materiály a informácie. Chýbajúca anonymita vám síce stále neumožní napríklad uverejňovať príspevky, keďže aj bez potvrdenia účtu je pomerne ľahké zistiť polohu a identitu používateľa, ak si nastavíte takýto cieľ.
Ako získať?
Overenie sa vykonáva rôznymi spôsobmi a závisí od účelu, na ktorý je potrebné ho získať.
Potvrdenie čísla mobilného telefónu sa napríklad vykonáva jeho odoslaním, ktoré je potrebné zadať na webovej stránke, zavolať zamestnancovi organizácie atď.
Potvrdenie e-mailom sa zvyčajne vyžaduje iba na niektorých stránkach.
Navyše, vo väčšine prípadov, ak e-mailová adresa nie je potvrdená, nebudete sa môcť zaregistrovať na stránke.
S overovaním účtov na sociálnej sieti je situácia zložitejšia. Väčšina sietí to štandardne nevyžaduje – stačí potvrdiť vašu e-mailovú adresu a/alebo telefónne číslo. Zároveň si môžete vytvoriť účet s ľubovoľným názvom alebo akýmkoľvek obsahom.
Ale napríklad, ak chcete zmeniť meno alebo priezvisko uvedené vo vašom profile na sociálnej sieti, môžete napríklad na zmenu mena vyžadovať overenie účtu.
Dokumentácia
Účet je overený poskytnutím fotografie dokumentov - zvyčajne hlavnej stránky pasu, na ktorej je jasne viditeľné meno a priezvisko používateľa.
Na potvrdenie oficiálnych stránok skupín môžu byť potrebné určité informácie.
V závislosti od štatútu organizácie vrátane osvedčenia o registrácii právnickej osoby.
Vyžaduje, aby ste poskytli fotografie rôznych dokumentov v závislosti od úrovne potvrdenia - od a iných finančných dokumentov.
Dôležité! Pred odoslaním fotografií dokumentov do správy sa uistite, že stránka je spoľahlivá. Upozorňujeme, že ak existujú čo i len minimálne pochybnosti o reputácii stránky, nemôžete posielať fotografie dokumentov. Okrem toho pred odoslaním fotografie skontrolujte odkaz v paneli s adresou, či stránka nie je klonovaná, phishing atď.
Zákazník (žiadateľ). Táto rola patrí zástupcovi organizácie, ktorá si objednala vyvíjaný systém. Zvyčajne je žiadateľ vo svojej interakcii obmedzený a komunikuje len s projektovými manažérmi a špecialistom na certifikáciu alebo implementáciu. Zákazník má spravidla právo meniť požiadavky na produkt (iba v spolupráci s manažérmi), čítať projektovú a certifikačnú dokumentáciu, ktorá ovplyvňuje netechnické vlastnosti vyvíjaného systému.
Projektový manažér. Táto rola poskytuje komunikačný kanál medzi klientom a projektovým tímom. Produktový manažér riadi očakávania zákazníkov a rozvíja a udržiava obchodný kontext projektu. Jeho práca nesúvisí priamo s predajom, je zameraný na produkt, jeho úlohou je určiť a poskytnúť požiadavky zákazníkov. Projektový manažér má právo meniť požiadavky na produkt a finálnu produktovú dokumentáciu.
Programový manažér. Táto rola riadi komunikáciu a vzťahy v rámci projektového tímu, pôsobí ako koordinátor, vyvíja a spravuje funkčné špecifikácie, udržiava harmonogram projektu a podáva správy o stave projektu a iniciuje rozhodnutia rozhodujúce pre priebeh projektu.
Testovanie- proces spustenia programu za účelom zistenia chyby.
Testovacie údaje- vstupy, ktoré sa používajú na testovanie systému.
Testovacia situácia- vstupy na testovanie systému a očakávané výstupy v závislosti od vstupov, ak systém funguje podľa špecifikácie požiadaviek.
Dobrá testovacia situácia- situácia, ktorá má vysokú pravdepodobnosť odhalenia zatiaľ nezistenej chyby.
Úspešný test- test, ktorý odhalí zatiaľ nezistenú chybu.
Chyba- činnosť programátora vo fáze vývoja vedúca k tomu, že softvér obsahuje internú chybu, ktorá počas prevádzky programu môže viesť k nesprávnemu výsledku.
odmietnutie- nepredvídateľné správanie systému vedúce k neočakávanému výsledku, ktorý by mohol byť spôsobený poruchami v ňom obsiahnutými.
