Ж. Нысамбаев, Н. С. Уалиев
жүктеу/скачать 1,36 Mb. Pdf көрінісі
|
Akparattik kauipsizdik zhane akparattyk korgau Nysambaev
| 9.3 Бақылау-сынау стенді
Бетбелгілер мен қателерді жасалатын программалық қҧралдарда табу кешенді қҧрастырылатын жҥйенің бақылау-сынау стендін жасау болып табылады. Ол программалық қҧралдарды бірнеше рет ену әсерлерін сыртқы ӛзгеріп отыратын факторларға сәйкес ендіріп отырады, олардың кӛмегімен мҥмкін болатын бетбелгілердің әсерлері сияқты әсерлер тудырылады. Осы- лайша, бақылау-сынау стенді жасалатын жҥйенің моделі сияқты модель жасаушы ретінде қарастырылады, ол жасалатын программалық қҧралдың жҧмысын бетбелгілердің әсер ету жағдайларында жан-жақты талдайды. Бақылау-сынау стенді тӛмендегі талаптарды қанағаттандырылуы керек: 1. Стенд модернизация мен мҥмкіндіктерді арттыруға мҥмкіндік туды- ратын ашық жҥйе тҥрінде болуы тиіс. 2. Стенд нақты жҥйенің қҧрылымы мен ақпараттың ағындарына сәйкес болуы тиіс. 3. Модель мен нақты жҥйенің программалық модульдерінің бір-бірін айырбастауына мҥмкіндік тудыруы керек. 4. Стенд модульдерді сынауды автономды тҥрде жҥргізуге, сол сияқты программалық қҧралдарды тҧтастай алуы тиіс. Бақылау-сынау стенді тӛмендегі модульдерді қамтуы мҥмкін (11-сурет): - программалық модульдердің және нақты жҥйенің модульдерін қамтитын жҥйенің модулі болуы тиіс; - нақты жҥйенің программалық модульдерін динамикалық тҥрде ендіретін және тіркеуді іске асыратын жҥйенің модулінің конфигурациясының және сәйкес мәліметтер базасынан алынған программалық модульдердің модулін; - формальданған тҥрдегі қауіптерді модификация жасайтын және жинақ- тайтын қауіптер модульдерінің мәліметтер базасын; - мҥмкін болатын қауіптерді ену ақпаратына қойылатын шектеулерді және алдыңғы қадамдағы тестілеу нәтижелерін қамтитын ену әсерлерін қалыптастыру. . моделденген жҥйеге қарағанда сыртқы болып саналатын әсерлерді есепке алатын сыртқы әсерлердің моделі. . тестілеу нәтижелерін талдау моделі. Жасырын мәліметтерді ӛңдеуге арналған программалық ӛнімдерді жасағанда дайын программалар жоғары деңгейдегі тілдермен жасалған алғашқы программалар тҥрінде және орындалып жатқан модульдер тҥрінде сертификаттауға берілуі керек. Жоғары деңгейлі тілде жасалған программалардың болуы программаны бетбелгілердің бар-жоқтығын анықтауға тексеруді әжептәуір жеңілдетеді. Программалаудың бҧл деңгейінде тілдің конструкциясын жасауға стандарт 96 әдістер қолданылады. Сол сияқты ереже бойынша, программа жасалатын нақты ақпараттық қҧралдардың ерекшеліктері қолданылмайды. жүктеу/скачать 1,36 Mb. Достарыңызбен бөлісу:
|