Бағдарламаны сенімділікпен қамтамасыз ету

Бағдарламаны сенімділікпен қамтамасыз ету -бұл корректтілікті сақтау қасиеті, тұрақтылық, эксплутация және техникалық қызмет көрсетуге берілген шарттарда белгілі бір уақыт периадынадағы қауіпсіздік және қол жетпестік.

Корректорлық -функционалды спецификацияны қанағаттандыру программасының қасиеті. Корректорлық- шығатын мағлұматтардың қабылдау аппараттық құралдардың қамтамасыз ету шартынадағы қанағаттандыратын спецификасындағы кіретін мағлұматтар аумағындағы өзгерістерін дұрыс есептеуді талап етеді.

Тұрақтылық -программаның корректорлық емес кіретін мағлұматтардың аппарттық қабылдамауларын, сезімтал емес қателліктердің орындалу процессінде болу қасиеті. Бұл қасиет аппаратураның қаыблдамауға қарсы тұру қасиетіне ұқсас.

Қауіпсіздік - программаның қателіктер тапқан жағдайда немесе аппаратураның қабылдамауы туындағанда және кіретін мағлұматтардың корректорлық емес кезі бар болған жағдайда дұрыс немесе қорғанышты шығатын мағлұматтарды есептей алу қасиеті.

Қорғалған шығатын мағлұматтар деп басқаратын жүйені қауіпті жағдайға алып келетін программаны жүзеге асырудағы дұрыс емес нәтижелер деп түсінеміз.

Қол жетімді емес - программалық қамтамасыз етудің бір қолданушының басқа бір қолданушы жеке мүлігі болып табылатын мағлұматтарына жүгіну мүмкіндігін жою қасиеті.

Қол жетімді еместік әр түрлі қолданушылардың мағлұматтарын және программаларын бір бірінен операциялық жүйе арқылы, кілттік сөздер, кодтар, және де басқа да қорғау жолдарымен ақпараттарды әбден оқшаулау.

Программалық қамтамасыз етудің қателіктер интенсивтілігі 1000 командадан 0,25 тен 10 аралығында жатыр. Демек,500 000 командасы бар жаңа жүйеден 125 тен 5000 ға дейін қате күту керек.

Программалық қамтамасыз етудің қателіктері программалық, алгоритмдік және жүйелік болып үшке бөлінеді.

Программалық командалардың программалу тілінде немесе трансляция барысында дұрыс емес жазылуында туындайтын қателіктер. Олардың саны программисттердің квалификациясына, программалаудың автоматизация дәрежесіне, тесттеудің сапасымен тереңдігіне байланысты.

Әзірлекдің бастапқы деңгейінде программанылық қателіктер бүкіл қателіктің үштен бір бөлігін құрайды, бірақ олар оп оңай табылады.

Алгоритмдік қателіктер мәселелерді дұрыс емес қойғаннан немесе оның алгоритм шешімін корректорлы емес тұжырымдағаннан пайда болады. Және де программалыққа қарағанда оны анықтау қиын болып келеді.

Әдеттегідейлерге мынадай қателіктер жатады: шешім шарттарының толық емес есебі немесе айнымалылардың диапазон өзгерістері; бөлінген ресурстардың шектен шығуы; жеке программалық модульдердің жүзеге асырудағы уақытты дұрыс бағаланбауы және т.б.