Текшерүү - текшерүү үчүн программаларды иштеп

шарттары "текшерүү" жана "жарактуулугун" өтө көп техникалык адабиятында колдонулган жана кандай программалык талдоонун сапатына байланыштуу. Илимий адабияттарда бул түшүнүктөрдүн ар кандай жоромолдору бар. Ошондуктан, бул ишти карай аракет.

абдан ылайыктуу, биздин оюбузча, төмөнкү аныктоо саналат. Текшерүү жана текшерүү - сапатына контролдук кылуу багытталган иш-чаралар болуп программалык ага алгачкы баскычтарында каталарды аныктоо үчүн. Бул, алар чындап эле жалпы максат бар көрүнөт. Ошентсе да, бул түрлөр так касиеттери, ката каралышы мүмкүн чектөө жана башка ченемдик укуктук актыларды бузуулар алардын булактары боюнча айырмачылыктар бар.

Текшерүү - программалык шайкештигин текшерүү техникалык документтер тапшырма, архитектура же домен моделдин каралган. мөөнөткө киргизилген жатат "дежур" жана өнүктүрүү, эрежелерди жана стандарттарды жараянына салыштыруу эсептөө жол-жылы.

Маалымат текшерүү сактоо программасы белгиленген ченемдерди, талаптарды иштеп чыгуу, жана колдонуучу документтерди иштөөсү үчүн жүзөгө ашырылышы мүмкүн. Мындай учурда, милдеттүү түрдө алдын-ала текшерүү программа иштеп өлкөнүн белгиленген ченемдердин жана эрежелердин сакталышы боюнча аларга салыштырганда жаткан документтердин, алынууга тийиш. Ал жасаган иш-аракеттердин бардык тизмектеринин карап чыгуу жана урмат эске алуу зарыл.

программада ката же майып болгон учурда же жазалаш үчүн документ тандоосу боюнча жогоруда көрсөтүлгөн документтерди жана программага учурдагы ишине карама-каршы чечим кабыл алынган эмес, белгилүү бир милдеттерди чечүү керек.

Текшерүү колдонуу өнүккөн же коштолгон программалык муктаждыктарына же кардарлардын же колдонуучулардын муктаждыктарына ылайык келишин текшерүү үчүн жооптуу айырмаланып. Бул муктаждыктар көп учурда кандайдыр бир документтерде жазылган эмес. жарактуулугун текшерүү аз текшерүүнүн жыйынтыктары расмий себеби мына ушунда. Бул кардар, пайдалануучу, ошондой эле анализ же экспертти катыша алат, алардын өкүлдөрү жараяны айыл. Башка сөз менен айтканда, ал белгилүү бир муктаждыктарын жана кызыкдар реалдуу керектөөлөрүн айтууга болот.

Текшерүү - деген суроого жооп болуп саналат "туура жасалган программа барбы?" Деп, ал эми текшерүү - "оң программалык Will".

Бул суроолорго жооп издеп жатканда, жарактуулук (же күбөлүк) мазмун текшерүүсүнөн (текшерүү) караганда бир аз кененирээк койду деп таба алат. Бирок, текшерүү тыгыз программалык продукт сапатын контролдоону камсыз кылуу менен тыгыз байланышкан.

Мисалы, ЭЭМ үчүн программанын текшерүү максатында үчүн негиз болуп ушул талаптар, атап айтканда, алынган продукт мөөнөтү ичинде, мурдагы кадамда алынган адамдар менен жолугушат камсыз кылуу үчүн кайсы бир ишти камсыз кылат.

биз үлгү текшерүү жөнүндө сөз кыла турган болсок, бул жерде түшүнүктүк же зарыл болгон компьютер моделдерин туура көрсөтүү текшерүү багытталат математикалык моделдер.

текшерүү системасы коду код жана анын дал даректүү сыпаттамасы текшерүүдө булагы жоромолдонушу менен пайда болот.

Текшерүү иши башка эсептерди камтыган аракеттерди кошууга болот. Учурдагы долбоор тиешелүү документтери менен жаңы долбоордун техникалык жана илимий документтерди салыштырып, милдеттүү түрдө текшерүүдөн, жаңы программалык продуктунун тестирлөөнүн жана көрсөткөн натыйжалары.