Ijerisi - awọn ilana ti validating software

Awọn ofin "ijerisi" ati "afọwọsi" ti wa ni gan igba lo ninu awọn imọ litireso ati ki o wa ni jẹmọ si awọn didara ti awọn onínọmbà ti eyikeyi software. Ni awọn ijinle sayensi litireso nibẹ ni o wa orisirisi adape ti awọn wọnyi agbekale. Nítorí, gbiyanju lati wo sinu awọn ọrọ.

Awọn julọ yẹ, ninu wa wo, ni awọn wọnyi definition. Afọwọsi ati ijerisi - ni o wa akitiyan ti o ti wa ni Eleto ni rù jade awọn didara Iṣakoso ti awọn software lati ri aṣiṣe ni ibẹrẹ ipo ti o. O yoo dabi wipe won ni a wọpọ ìlépa. Ṣi, awọn wọnyi eya ni orisirisi ba wa ni awọn orisun ti verifiable-ini, awọn ihamọ ati ilana, o ṣẹ ti eyi ti le wa ni kà a ìfípáda.

Ijerisi - a ayẹwo tẹlẹ ti awọn software imọ iwe pese nipa awọn ibeere sipesifikesonu, faaji tabi ašẹ awoṣe. Ni "ojuse" ti awọn igba ti wa ati awọn lafiwe isiro ilana lati awọn ilana ti idagbasoke, ofin ati awọn ajohunše.

Data ijerisi le wa ni ošišẹ lati ṣeto awọn functioning ti awọn ibamu eto mulẹ awọn ajohunše, awọn ibeere, oniru, ati awọn olumulo iwe. Ni idi eyi, a dandan ami-se ayewo yio si jẹ koko ọrọ si awon iwe aṣẹ, eyi ti wa ni akawe si wọn ibamu pẹlu awọn ajohunše ati ilana ṣeto jade ni orile-ede ibi ti awọn software wa ni o ṣiṣẹ. O jẹ pataki lati ya sinu ero ati ọwọ fun gbogbo awọn lesese ti mosi ṣe.

Ni awọn iṣẹlẹ ti ẹya ašiše tabi bajẹ ninu eto tabi ohun miiran ti o wa ni a rogbodiyan laarin awọn loke-darukọ awọn iwe aṣẹ ati awọn ti isiyi functioning ti awọn eto awọn ipinnu lori awọn ti o fẹ ti irinse fun atunse yẹ ki o wa ojutu si kan pato iṣẹ-ṣiṣe.

Ko ijerisi afọwọsi jẹ lodidi fun ijẹrisi ibamu pẹlu idagbasoke tabi de software aini tabi awọn aini ti awọn onibara tabi awọn olumulo. Awọn wọnyi ni aini ti wa ni igba ko gba silẹ ni eyikeyi iwe aṣẹ. Ti o ni idi afọwọsi kere formalized ju ijerisi. Eleyi jẹ kan ilana ninu eyi ti asoju ti awọn onibara, olumulo, ati ki o le tun lọ ohun Oluyanju tabi akọsẹmọsẹ ni koko agbegbe. Ni gbolohun miran, awon ti o le han awọn kan pato aini ati awọn gidi aini ti oro na.

Ijerisi - ni idahun si ibeere "Ṣé software daradara ṣe?", Ati afọwọsi - "yio ọtun software?".

Nigba ti wiwa fun ohun idahun si ibeere wọnyi, o le ri pe awọn afọwọsi (tabi iwe eri) akoonu ti ṣeto die-die anfani ju awọn ayẹwo (ijerisi). Sibẹsibẹ, ijerisi wa ni pẹkipẹki sopọ si aridaju Iṣakoso lori awọn software ọja didara.

Fun apẹẹrẹ, gégé eto kọmputa kan pese kan ilana ninu eyi ti awọn igba fun awọn Ero ni lati rii daju wipe pade wọnyi awọn ibeere, ni pato gba ọja aye ọmọ, fún àwọn gba ninu awọn ti tẹlẹ igbese.

Ti a ba soro nipa awọn awoṣe ijerisi, nibi ti a yio fojusi lori ijerisi ti awọn ti o tọ àpapọ ti awọn kọmputa si dede ti nilo ti ero tabi mathematiki si dede.

Nigba ti ijerisi eto koodu itupale awọn orisun ifaminsi ati ijẹrisi awọn oniwe-tuntun itan apejuwe.

Awọn ijerisi ilana le ni mosi ni ninu yiyan isiro. A lafiwe ti imọ ati sayensi iwe ti awọn titun ise agbese pẹlu deede iwe ti tẹlẹ ise agbese, dandan HIV, HIV ti titun software ọja ati afihan awọn esi.