К ә с І би білім беру г. Н. Федорова бағдарламалық модульдерді біріктіруге қатысу
жүктеу/скачать 4,31 Mb. Pdf көрінісі
|
foreign 745
| Түрлі әзірлеу сатыларында бағдарламалық
қамсыздандырудың сенімділігін қамтамасыз ету Практикада бағдарлама сапасын тек жетілдірілген түрде ғана емес, сонымен қатар оларды әзірлеу процесінде бағалау маңызды және әзірлеу нысандарының сапасы оларды құрғанда және басқаруда технологиялық процестердің жоғарғы сапасы есебінен қол жеткізіледі. Бағдарламалық өнімнің сенімділігін жобаны әзірлеудің түрлі сатыларында жоспарлау керек. Әзірленетін бағдарламалық қамсыздандыру түрлі сенімділік дәрежесіне ие болуы мүмкін. Сенімділікті зерделеу үшін күрделі аналитикалық әдістемелерді қолдану жеткілікті, үлкен көлемде ақпарат жинау қажет болады, себебі бағдарламалық қамсыздандырудың өмірлік циклы кезінде сенімділікті өлшеу әдістері жасалады. Сенімділігі жоғары бағдарламалық өнімді жасау үшін қажетті: ■ қателерді болжау (сенімділік модельдерін құру); ■ қателердің алдын алу (бағдарламаларды қайта қолдану, бағдарламаларды, формалды әдістерді конструкциялаудың аспаптық құралдарын қолдану); 171 ■ қателерді жою (формалды тексеру, анықтау және аттестаттау); ■ істен шығу беріктілікті қамтамасыз ету (мониторинг, артық және айрықша жағдайларға талдау). Қателерді болжау талаптарды жоспарлау және қалыптастыру сатысында орындалады. Қателердің алдын алу - талаптарды қалыптастыру, жобалау және іске асыру сатыларында. Қателерді жою - жобалауды, іске асыру және тестілеу сатыларында. Істен шығуға беріктілікті қамтамасыз ету жобалау сатысында басталады және бағдарламалық өнімнің өмірлік циклының аяқталғанына дейін жалғасады (7.1-сурет). Бағдарламалық қамсыздандыру сапасының қажетті деңгейін қамтамасыз ететін іс-шараларды әкімшілік және технологиялық деп шартты түрде ажыратуға болады. Әкімшілік іс-шараларға мыналар жатады: ■ қызметкерлерді оқыту, қайта даярлау және біліктіліктерін арттыру; жүктеу/скачать 4,31 Mb. Достарыңызбен бөлісу:
|