Verification - la procezo de validación programaro

La terminoj "konfirmo" kaj "validigo" estas tre ofte uzata en la teknika literaturo kaj estas rilatigitaj kun la kvalito de la analizo de iu ajn programaro. En la scienca literaturo ekzistas diversaj interpretoj de ĉi tiuj konceptoj. Do, provu rigardi en la aferon.

La plej taŭga, en nia opinio, estas la jena difino. Validigo kaj konfirmo - estas aktivecoj kiuj celis plenumi la kontrolo de kvalito de la programaro por detekti erarojn en la fruaj stadioj de ĝi. Ŝajnas, ke ili havas komunan celon. Tamen, ĉi tiuj specioj havas diferencojn en la fontoj de kontrolebla ecoj, limigoj kaj reguloj, malobservo de kiu povas esti konsiderata eraro.

Verification - ĉeko de conformidad de la programaro teknikan dokumentaron provizita de la postuloj specifo, arkitekturo aŭ domajno modelo. En la "devo" de la termino estas inkludita kaj la komparo kalkulo proceduroj al la procezo de evoluado, reguloj kaj normoj.

Datumoj konfirmo eblas realigitaj por agordi la funkciadon de la plenumo programo establita normoj, postuloj, dezajno kaj uzanto dokumentado. En ĉi tiu kazo, deviga antaŭ-inspektado estu subigita al tiuj dokumentoj, kiuj estas kompare al ilia plenumo normoj kaj reguloj fiksitaj en la lando kie la programaro estas operaciita. Estas necese konsideri kaj respekton por ĉiuj sekvencoj de operacioj realigitaj.

Kaze de eraro aŭ difekto en la programo aŭ alia estas konflikto inter la supre menciitaj dokumentoj kaj la aktuala funkciado de la programo la decidon sur la elekto de instrumento por la korekto estu la solvo al aparta tasko.

Kontraste konfirmo validigo respondecas pri kontroli la plenumon de evoluintaj aŭ akompanis programaro bezonoj aŭ la bezonoj de klientoj aŭ uzantoj. Ĉi tiuj bezonoj estas ofte priskribitaj en iuj ajn dokumentoj. Tial validigo malpli formaligita ol konfirmo. Jen procezo en kiu reprezentantoj de la kliento, uzanto, kaj povas ankaŭ ĉeesti analizisto aŭ sperta en la temo areo. Alivorte, tiuj kiuj povas esprimi la specifajn bezonojn kaj la reala bezonoj de koncernatoj.

Verification - estas la respondo al la demando "Ĉu la programaro taŭge farita?", Kaj validigo - "Ĉu la dekstra programaro?".

Kiam serĉas respondon al tiuj demandoj, vi eble trovos ke la validigo (aŭ atesto) enhavo estas metita iomete pli larĝa ol la ĉeko (konfirmo). Tamen, konfirmo estas proksime ligita al certigante kontrolon super la programaro produkto kvalito.

Ekzemple, konfirmo de komputila programo provizas procezo en kiu la bazo por la celo estas certigi ke plenumi ĉi tiujn kondiĉojn, precipe akiris produkton vivociklo, al tiuj akiritaj en la antaŭa paŝo.

Se ni parolas pri la modelo konfirmo, jen ni koncentros sur konfirmo de la ĝusta display de la komputilo modeloj bezonis conceptual aŭ matematikaj modeloj.

Kiam konfirmo sistemo kodo analizas la fonto kodigo kaj kontroli lia trafa dokumenta priskribo.

La konfirmo procezo povas inkludi operacioj konsistanta alternativa kalkuloj. Komparo de teknika kaj scienca dokumentado de la nova projekto kun konvenaj dokumentado de ekzistanta projekto, deviga testado, elprovado de novaj programaro produkto kaj pruvante rezultoj.