Հաստատման - գործընթացը վավերացնող ծրագրային

Ժամկետները «Ստուգման» եւ «վավերացնող» շատ հաճախ օգտագործվում է տեխնիկական գրականության եւ կապված են որակի վերլուծության ցանկացած ծրագրային. Գիտական գրականության մեջ կան տարբեր մեկնաբանություններն այդ հասկացությունների: Այնպես որ, փորձում ենք դեպի հարցում:

Առավել նպատակահարմար է, մեր կարծիքով, հետեւյալն է սահմանումը: Վավերացում եւ ստուգման են գործողությունները, որոնք ուղղված են իրականացնում որակի վերահսկողություն է ծրագրային ապահովման է հայտնաբերելու սխալներ է վաղ փուլերում դրա: Այն կարող է թվալ, որ նրանք ունեն ընդհանուր նպատակ: Այդուհանդերձ, այդ տեսակներ ունեն տարբերությունները աղբյուրներից ստուգելի հատկությունների, սահմանափակումների եւ կանոնակարգերի, խախտում, որը կարելի է համարել սխալ է.

Հաստատման - ստուգել համապատասխան ծրագրային տեխնիկական փաստաթղթերի կողմից տրամադրված պահանջները հստակեցում, ճարտարապետության կամ դոմենից մոդելի. Է «հերթապահ» տերմինի ներառված եւ համեմատական հաշվարկի ընթացակարգերի գործընթացի զարգացման, կանոնների եւ ստանդարտների:

Տվյալների ստուգման կարող են իրականացվել է սահմանել գործունեությունը կատարման ծրագիրը սահմանված ստանդարտների, պահանջների, դիզայն, եւ անձնագիրը փաստաթղթերը. Այս դեպքում, որպես պարտադիր նախնական ստուգումը պետք է ենթակա լինի այդ փաստաթղթերում, որոնք համեմատ դրանց համապատասխանության չափանիշներին եւ կանոնակարգերին, որոնք ամրագրված են այն երկրում, որտեղ ծրագրային ապահովման գործարկվող. Անհրաժեշտ է հաշվի առնել եւ հարգանքի բոլոր հաջորդականությունների գործառնությունների.

Այն դեպքում, սխալի կամ թերության ծրագրի կամ ուրիշ կա հակամարտություն միջեւ վերը նշված փաստաթղթերի եւ ներկայիս գործառնության ծրագրի վերաբերյալ որոշումը, ընտրության գործիքի համար ուղղման պետք է լուծում է կոնկրետ խնդիր:

Ի տարբերություն Ստուգաչափման վավերացում համար պատասխանատու է ստուգելու համապատասխանությունը զարգացած կամ ուղեկցվում ծրագրային կարիքների կամ հաճախորդների կարիքներին կամ օգտագործողների. Այս կարիքները հաճախ չեն արձանագրվում է ցանկացած փաստաթղթերում: Դա է պատճառը, վավերացում պակաս, պաշտոնականացվեց քան ստուգման: Սա մի գործընթաց է, որը ներկայացուցիչներ հաճախորդի, մասին, եւ կարող է նաեւ հաճախել վերլուծաբան կամ փորձագետ թեմատիկայի: Այլ կերպ ասած, նրանք, որ կարող է արտահայտել կոնկրետ կարիքները եւ իրական կարիքները շահագրգիռ կողմերի:

Հաստատման - ն պատասխանը այն հարցին, «Արդյոք ծրագրային պատշաճ արել», եւ վավերացում - «Արդյոք ճիշտ ծրագրային ապահովման»:

Երբ փնտրում պատասխանի այդ հարցերին, դուք կարող եք գտնել, որ վավերացում (կամ սերտիֆիկացման) բովանդակության համար մի փոքր ավելի լայն է, քան չեկի (ստուգման): Սակայն, ստուգումը սերտորեն կապված է վերահսկողությունն ապահովելու ծրագրային արտադրանքի որակի.

Օրինակ, ստուգում է համակարգչային ծրագիրը նախատեսում է մի գործընթաց, որի համար հիմք է Նպատակն է ապահովել, որ այդ պահանջներին բավարարելու, մասնավորապես ձեռք բերված ապրանքը կյանքի ցիկլի, նրանց ձեռք բերված նախորդ քայլ:

Եթե մենք խոսում ենք այն մասին, որ մոդելային ստուգման, այստեղ մենք պետք է կենտրոնանալ ստուգման ճիշտ դրսեւորում համակարգչային մոդելների անհրաժեշտ հայեցակարգային կամ մաթեմատիկական մոդելները:

Երբ ստուգման համակարգը կոդը վերլուծում է աղբյուրը կոդավորման եւ ստուգելով նրա համապատասխանող վավերագրական նկարագրությունը:

Հաստատման գործընթացը կարող է ներառել գործողություններ կազմված այլընտրանքային հաշվարկներ: Համեմատությունը տեխնիկական եւ գիտական փաստաթղթերի նոր ծրագրի համապատասխան փաստաթղթերի գոյություն ունեցող նախագծի, պարտադիր փորձարկման, փորձարկման նոր ծրագրային արտադրանքի եւ ցուցադրում արդյունքների: