5 Mavzu - 3-qism

Дастурий таъминотни текшириш. Reviews and inspections

Хатоликлар статистикаси Синовдан олдин ҳар 1000 сатрда хатоларнинг ўртача сони

Хатоликлар сабаби: -вазифани нотўғри тушуниш -вазифани хато ечиш -ечимларни кодга нотўғри ўтказиш

Дастурнинг мураккаблиги

• Дастур хатоларининг асосий сабаби - унинг мураккаблиги
• Software hardware дан мураккаброқ

Мураккаблиги - катта размерлигида

Хатолар билан курашиш

• Хатоларсиз дастурлаш
• -мураккаблиги билан қаттиқ фарқ қилади
• Ишлаб чиқаришни автоматлаштириш
• -мумкин бўлган тизимларнинг мураккаблигини оширади
• -муҳим хато манбаларини ўзгартиради
• Ишлаб чиқариш ва назорат қилиш сифати интеграцияси
• -дастурий таъминот сифатини бошқариш усуллари ва воситалари керак
• Стандартлаштириш
• -стандартларга мувофиқлигини текшириш учун усул ва воситалар керак

Дастурий таъминотнинг тўғрилигини бошқариш бўйича барча ёндашувларни иккита катта гуруҳга бўлиш мумкин:

• яратиш босқичида дастурий таъминот сифатини бошқариш;
• иш вақтида дастурий таъминот сифатини назорат қилиш.

Биринчи гуруҳдаги ёндашувлар, дастурий таъминотни ишга тушириш ва ишлатилишидан олдин ҳам унинг тўғрилигини таҳлил қилишга имкон беради. Бундай ёндашувлар учта катта гуруҳга бўлинади:

• - статик таҳлил;
• - тестлаш ;
• - верификация қилиш

Статик тахлил

• Хатоликлар шаблонини аниқлаймиз, хатоликлар қидирувини автоматлаштирамиз, шубхали жойларининг рўйхатини шакллантирамиз
• Яхши автоматлаштирилади аммо натижалар одатда инсон томонидан тахлил қилинади
• Кўп учрайдиган хатоликларни қўллашда қулай

Тестлаш

• -Тестлар тузиб, тизимни ушбу тестда синаб кўрамиз, натижалар талабга жавоб беришини текширамиз
• -Вазифаларни бажариш одатда автоматлаштирилади
• -Деярли барча тизимларда қўллаш мумкин
• -Кўп хатоликлар топилади лекин бу дегани барча хатоликлар дегани эмас
• -Тестнинг сифати, тузилган тестлар тўпламига боғлиқ,яхши тест тузиш конкрет вазифа ва технологияга боғлиқ

Верификация

• Дастур функцияларининг тўғри ишлаши
• Модулларининг вазифасини тўғри бажарилаётгани
• вхк

Иккинчи гуруҳнинг ёндашишлари маҳсулотни тузгандан ва ундан фойдаланишни бошлаганидан кейин намоён бўлади. Уларнинг асосий вазифаси ҳар қандай муҳим хато аниқланган тақдирда дастурни тўхтатиш ёки тўхтатиб туришдир. Нотўғри бажаришни давом эттиришдан кўра, дастурнинг бажарилишини тўхтатиш (ёки тўхтатиб туриш) яхшироқ эканлигига ишонилади. Динамик бошқарув шунингдек олдинги босқичларда аниқланмаган хатоларни тезда топишга ва йўқ қилишга имкон беради.

• Иккинчи гуруҳнинг ёндашишлари маҳсулотни тузгандан ва ундан фойдаланишни бошлаганидан кейин намоён бўлади. Уларнинг асосий вазифаси ҳар қандай муҳим хато аниқланган тақдирда дастурни тўхтатиш ёки тўхтатиб туришдир. Нотўғри бажаришни давом эттиришдан кўра, дастурнинг бажарилишини тўхтатиш (ёки тўхтатиб туриш) яхшироқ эканлигига ишонилади. Динамик бошқарув шунингдек олдинги босқичларда аниқланмаган хатоларни тезда топишга ва йўқ қилишга имкон беради.

Бундай ҳолатларда жиддий хатолар бўлиши мумкин:

• - бутун сонни ажратиш операциясини бажаришда махражнинг нол қиймати.
• - Ташқи қурилма билан алоқа ўрнатишда хатолик юз бериши.
• - Мавжуд хотиранинг тўлиб қолиши
• - Фавқулодда қувватни ўчириш сигнали

ДТ сифатини назорат қилиш учун нима қилиш керак?

• Тўғрилигини текшириш қоидалари
• Экспертиза (review, inspection)
• Тестлаш
• Статистик таҳлил
• Формал усуллар
• Динамик тахлил
• Синтетический усуллар