Инсталляциядан кейін жүйені қалыпқа келтіру

Жүйені қалпына келтіру нүктелері – бұл Windows-тың ағымдық күйінің түсірілімдері, ол жүйені бұрынғы күйіне қайта келтіруге мүмкіндік береді. Әрине, жүйені бұрынғы қалпына келтіргенде, одан кейін енгізілген өзгерістер жойылады, яғни жүйені соңғы қайта келтіру нүктесін құрғаннан кейінгі баптаулар, қолданбалы бағдарламалардың баптаулары және т.с.с. өшіріледі. Бірақ мұның барлығы жүйені қайта қалпына келтіру кезінде маңызды рөль атқармайды, себебі жүйені және басқа бағдарламаларды қайта орнатуға қарағанда пайдаланушы баптауларын қайта орнатуға аз ғана уақыт кетеді.
Жүйені қалпына келтіру нүктелерінің келесідей типтері болады:
- бастапқы нүктелер – мұндай нүктелер Windows алғаш рет іске қосылғанда құрылады. Олардың көмегімен барлық баптауларды бастапқы күйіне келтіруге және жаңадан орнатылған «таза» Windows-ты алуға болады;
- жүйенің бақылау нүктелері – жүйеге қандай да бір өзгерістер енгізілуіне байланысты әрбір 24 сағат сайын құрылып отырады;
- орнатудың бақылау нүктелері – бағдарлама орнату кезінде жүйені кейін бағдарламаны орнатқанға дейінгі күйге келтіру үшін құрылады;
- пайдаланушының бақылау нүктелері – пайдаланушы қолымен
құрылады;
- автоматты жаңарту қызметінің бақылау нүктелері – жүйені әрбір жаңарту алдында бақылау нүктелері құрылады;
- қалпына келтірудің бақылау нүктелері – жүйені алдыңғы бақылау нүктесі арқылы қалпына келтірудің алдында құрылады (қалпына келтірген соң жүйе жұмысы одан да нашарлаған жағдайда алдыңғы күйіне келтіру үшін);
- драйверлердің бақылау нүктелері – құрылғылардың белгісіз драйверлерін орнату алдында құрылады;
- резервті бақылау нүктелері – Backup утилитасы арқылы жүйені қалпына келтіру алдында құрылады (қалпына келтірген соң жүйе жұмысы одан да бұзылған жағдайда алдыңғы күйіне келтіру үшін).
Программалық қамтаманы тестілеу – жүйенің дұрыс жұмыс жасайтындығын тексеру үшін программалық өнімнің жұмыс сипаттамалары, орындалатын кодтың шығу деректерінің зерттелуі жəне тестілік деректерді жіберу [12].
Тестілеу – бұл верификация жəне аттестациялаудың динамикалық əдісі, себебі орындалатын жүйеде қолданылады.
Верификация жəне аттестация – деп тексеру жəне талдау процессі аталады, олардың жұмысы кезінде программалық қамтама өз спецификациясына жəне тапсырыс беруші талаптарына сəйкестігі тексеріледі. Верификация жəне аттестация программалық қамтаманың өмірлік циклын толық қамтиды, олар талаптарды талдау кезеңінде басталады жəне дайын программалық жүйенің тестілеу кезеңінде программалық кодты тексерумен аяқталады.

1. В.Н. Агафонов, В.Б. Борщев, А.А. Воронков, Логическое программирование в широком смысле. Пер. с анг. с фр.-М.: Мир, 1988.
2. А.Тей П., Грибуомон и т.д. Логический подход к искусственному интеллекту. –М.: Мир, 1990.
3. И. Братко. Программирование на языке Пролог для искусственного интеллекта. –М.: Мир, 1990.
4. Дж. Стобо. Язык программирования Пролог. –М.: Радио и связь, 1993.
5. Ц. Ин, Соломон Д. Использование Турбо-Пролога: Пер. с анг. – М.: Мир, 1987.
6. К.Кларк. Введение в логическое программирование на Micro Prolog-е.
7. Колисниченко Д. Секреты реестра Windows XP/Vista. -СПб. «БХВ- Петербург», 2008. –С.34.