Дастурни тестдан ўтказиш - Информатика и ИТ - Рефераты

Дастурни тестдан ўтказиш

Загружено в:

20.09.2019

Скачано:

0

Размер:

69.5 KB

www.arxiv.uz Дастурни тестдан ўтказиш. Тестни лойихалаш. Тестлаш усуллари. “Қора ва Ок” қути усуллари методологияси Режа: 1. Тестни лойихалаш. 2. Тестлаш усуллари. 3. Ок ва қора қутиларни методологияси.

www.arxiv.uz Дастурни созлаш ва тестдан ўтказиш. Дастур лойихалашда му- раккаб жараёнлар сифатида созлаш этапи ва тестдан ўтказиш жараёни хисобланади. Дастурни тестдан ўтказишнинг мақсади, яoни дастурни синашдан мақсад, ундаги мавжуд ва енгил хосил бўлган хатоларни аниқлашдир. Созлашдан мақсад хатоларни хосил бўлиш сабабини аниқлаш ва уларни бартараф зтиш. Дастурни созлаш учун ишни тестлаш режасини тузишдан бошланади. Режани тузишда хатони келиб чикиши ва уни характерига ендашилади. Асосий сабабларидан бири математик моделларни чукур ишлаб чикилмаганлиги ва вазифани бажариш алгоритми тулик қурилмаганлигидир; Дастурий бланкадаги бошлангич маoлумотлар хақидаги 1-тасаввур киритиш мосламасидаги клавиатура ёрдамида бошлангич маoлумотни ва дастурни текширишда локайдлилик. Хатоларни келиб чикиш сабаблари турли хиллигини хисобга олган холда уларни 2 та турга ажратилади: 1.Синтактик 2.Семантиқ Синтактик хатолар - дастур тилини таркибини ёзишдаги хатолар (сонлар, ўзгарувчилар, функциялар, операторлар, белги ва кичик дастурлар ). Семантиқ хатолар - катталикларни рухсат этилмаган кийматла- ридан фойдаланишда ва харакатни нотўғри таркиби билан боғлиқ бўлган хатолар. Асосий дастурлаш системаларида синтактик хатоларни аниқлаш автоматлаштирилган (фортран, паскалp, бейсик, пл/1 ва х.к). Семантиқ хатоларни аниқлаш унча яхши йўлга қуйилмаган. Тестлаш режасига одатда қуйидаги типлар киради: 1. Дастурни алгоритм схемаси билан солиштириш 2. Дисплей экранида дастурни визуалғ назорат қилиш еки дас- турий бланкадаги оригинални дастур распечаткасини урганиш, солиштиришни визуалғ урганиш.

www.arxiv.uz 3. Дастурни машина тилига олиб кўрсатиш. Бу этапда синтактик хатолар аниқланади. Дастур листингидаги синтактик хатоларни фортран, паскалp тилидаги кўрамалар деагностик хабар беради. Хатолар хақидаги хабарлар хар хил ЭВМ ларда ва система версияларида (фортран, паскалp, бейсик) шаклига қараб хар хил бўлиши мумкин. Интерпретацияловчи бейсик - навбатдаги операторни бажаришдахалакит килаетган хам синтактик, хам семантиқ хатоларни бирданига диагностика қилади. 4. Дастурни компановкалаш ва ташки алокаларни тахрирлаш. Ташки алокаларни тахрирлаш жараёнида ташки алокалар тахририй дастури еки вазифаларини тартибловчи шундай синтактик хатоларни аниқлайдики, бу хатоларда кичик дастурларда ёзилган праметрлар киймати бир бирига мос келмайди, аслида йук бўлган стандарт дастурларни чиқаради.Масалан SIN ўрнига SIH ва шунга ўхшаш хатолар. 5. Дастурни бажарилиши. Транслятор ва ташки алокалар тахрири томонидан барча хатолар бартараф этилгандан сўнг кейинги - ЭММ да дастурни машина тилида бажариш этапига утилади:дастур оператив хотирага юклатилади ва бошлангич маoлумотлар киритилгандан сўнг бошланади.Хато борлиги хақида белги пайдо бўлиши созлаш ўтказишна сабаб бўлади: белги йуклиги дастурда хато йуклигини билдиради. Тестлаш режаси бошлангич маoлумотларнинг рухсат этилган кийматларини хулосасини тўғрилигини хам текширишни уз ичига жамлайди. Тестлаш методлари (Усуллари). Одатда дастурни тестдан ўтказишда этапларга бўлиб урганилади. Бунда хар бир модулни текширишдан тортиб, то бутун системани якуний текширишлар каби этапларни олади. Агар бунда бирон бир ишончли кетма - кетликка ендашилмаса, ишончли таoминловчи дастур олиш жуда қийиндир. Тестлаш стратегияси иккита усулдан бирортасига асосан

www.arxiv.uz бажарилади: одатий қуйидан - юқорига қараб тестлаш, еки замонавий юқоридан - пастга қараб тестлаш. Қуйидан - юқорига қараб тестлаш. Бу усул кенг таркалган усул бўлиб, унда энг куйу поғонадаги бошлангич ёзилган модуллар текширилади. Сўнгра юқори қатламдаги элементлар дастурланади ва тестланади. Бу жараён то ёзилган дастур бутунлай якунланмагунча давом этади. Қуйидан - юқорига қараб тестлаш усули хозирги вақтда юқоридан - пастга қараб тестловчи ва дастурловчилвр томонидан куланмаяпти. Уларни фикрича бу усулда интерфейс ва алгоритмдаги кўпгина хатолар аниқланмай колиб кетмокда. Бу эса дастурни кайта-кайта ўзгартиришдан сўнг бузишга олиб келади. Иккинчи камчилиги эса: хар хил поғонадаги элементларни тес- тдан ўтказишда янгидан янги тестловчи мосламаларни,драйверларни ва тестловчи маoлумотларни талаб қилмоқда. Бу эса ўз-ўзигадан дастурлашда катта хажмда мехнат талаб қилади.

www.arxiv.uz Юқоридан пастга қараб тестлаш. Бу тестлаш усули юқоридан пастга қараб дастурлашни,юқоридан пастга қараб кодлашни қўшимча этапи хисобланади.Бу усулда олдин асосий дастур езилади ва сўнгра паст поғонадаги лойихаланмаган элементлар урин босувчи дастурлар билан алмаштирилади.Бундай скелетли дастур чақирилувчи дастур ва хар қандай малумотлар йуклигида хам уз ишини давом эттиради.Бу текшириш натижасида бази холларда бемани бўлган хатолар хам аниқланади.Кейинги кадам модул кушилишидан иборат бўлиб,унда бу модуллар кирувчи модулларни кўпайтирувчи бўлиши хам мумкин,-бу эса киритиш модули,бази бир ёрдамчи модул (охиргини дастурлаш тугаш дакикасига қадар) бўлиши мумкин.Бу текширишдан сўнг синаш оддий бир содда кирувчи малумотлар билан ўтказиш мумкин. Фавқулотда холларда текшириш. Дастурни тестлашнинг охирги этапи ўзгартиришларсиз рухсат этилан чегарасидан ташкарида жойлашган кийматларидан иборат бўлган малумотлардан фойдаланган холда бажарилади. Дастурларни фавқулотда ва қутилмаган холларда текширишда бир неча маслахатлар берилади.Бу маслахатлар текшириш вақтини тайерлашга ёрдам беради. Авваламбор тахрирланган малумотларни тўғрилигини текшириш керак бўлса,олдин рухсат этилган областни иккала чегарасида етган кийматни олинг, чунки шу кийматлар дастурни ишлашида кийнчиликлар тугдириш эхтимоли юқорироқ.Бир хилги холатларда қийинчиликларни бир нечта хатоларни жамлаган малумотлар тугдириши мумкин. Хатонинг яна бир тури - бу ишлов берилаетган малумотнинг бирлиги еки кейинги элементидаги хатолардир. Шунинг учун дастур ўз ишини одатий холга ўхшаб тугатмаслиги мухумдир.Бунинг учун теслашда ягона бир файлни формаланса етади.Чунки бу файл нотўғри элементдан ташкил топади.Агар бу ишлаш тестлаш босқичида бажарилган бўлса, дас- турни эксплутация қилишда қийинчиликлар юзага келади.

www.arxiv.uz " Қора " ва "Оқ" қути усуллари методологияси. Тестдан ўтказиш программаларини нормал холатда ишлашини гарантловчи жараёндир. Қора қути усули тестдан ўтказиш жараёнида ишлатиладиган усуллардан биридир унда программа кибернетик объект сифатида қабул килинади ва унинг кириш кийматлари ва чиқариш кийматлари бор деб холос. Қути ичида қандай жараён кетаетганлигини хисобга олинмайди. Қути киришига кийматлар берилади ва чикиш кисмида маoлум натижа олишни кузда тутилади. Иккинчи усулларидан бири бу ок қути усулидир. Бунда программани киритиш ва чиқариш бўлган объект сифатида қабул килинади ва кириш кийматлари канйдай қилиб чиқариш натижалари айланиш механизм (программа матни) хам маoлум бўлади.

www.arxiv.uz Программаларни тестлаш. Тестлаш воситалари. Тест ўтказиш этаплари. Тестларни расмийлаштириш. Дастурни тестлаш жараёнида мухум шартлардан бири шуки дастурлашга қанча вақт сарф бўлган бўлса тестлашга хам шунча вақт ажратиш керак.Чунки дастурлашда режалаштириш ишларига интилиш (тенденция) мавжуд бўлиб, шунинг учун барча лойхаларни муддатларини бузган холда бажарилишини тушиниш мумкин. Бу эса ишлаб чикишга, кодлашга, созлашга ва дастурни тестлашга алохида вақтлар ажратишни ва бирон бир жараённи бажариш вақтини бирор хафтага сурилса, колган этапларни бажариш мудатлари хам сурилишини куз олига келтириши керак. Тест ўтказиш этаплари: 1. Нормал шароитда текшириш. 2. Экстремал шароитда текшириш. 3. Фавқулот холатларда текшириш. Нормал шароитда текшириш. Программани ишлаш шароитидан чикан холда олинган кийматлар асосида текшириш. Программа нормал шароитда тўғри кийматлар чиқаришини кўрсатиш керак. Экстремал шароитда текшириш. Бу текширишда программадаги ўзгарувчиларнинг чегаравий кий матлари асосида тест утказилади. Масалан: Энг кичик кийматдан максимал кийматга эга (сонли ўзгарувчи учун) хамма белгиларни чоп қилиши (белгилик ўзгарувчилари учун). Бу текширишда ўзгарувчиларни нолғ киймати хам бўлади. Фавқулот холатда текшириш. Бу текшириш ўзгарувчининг кийматлар сохасидан ташкарида етган кийматлар асосида текшириш қилади. Режалаштириш.

www.arxiv.uz Тестдан ўтказиш жараёни вақтида программа ёзиш билан бир бўлганлиги хисобга олиб тестдан ўтказишни хам режалаштирилади. Тестлаш режасига одатда қуйидаги типлар киради. 1. Дастурни алгоритм схемаси билан солиштириш. 2. Дисплей экранида дастурни визуалғ назорат қилиш еки дас- турий бланкадаги оригинални дастур распечаткасини урганиш, солиштиришни визуалғ урганиш. 3. Дастурни машина тилига олиб кўрсатиш. Бу этапда синтактик хатолар аниқланади. Дастур листингидаги синтактик хатоларни фортран, паскалp тилидаги кўрамалар деагностик хабар беради. Хатолар хақидаги хабарлар хар хил ЭВМ ларда ва система версияларида (фортран, паскалp, бейсик) шаклига қараб хар хил бўлиши мумкин. Интерпретацияловчи бейсик - навбатдаги операторни бажаришда халакит килаетган хам синтактик, хам семантиқ хатоларни бирданига диагностика қилади. 4. Дастурни компановкалаш ва ташки алокаларни тахрирлаш. Ташки алокаларни тахрирлаш жараёнида ташки алокалар тахририй дастури еки вазифаларини тартибловчи шундай синтактик хатоларни аниқлайдики, бу хатоларда кичик дастурларда ёзилган праметрлар киймати бир бирига мос келмайди, аслида йук бўлган стандарт дастурларни чиқаради.Масалан SIN ўрнига SIH ва шунга ўхшаш хатолар. 5. Дастурни бажарилиши. Транслятор ва ташки алокалар тахрири томонидан барча хатолар бартараф этилгандан сўнг кейинги - ЭММ да дастурни машина тилида бажариш этапига утилади:дастур оператив хотирага юклатилади ва бошлангич маoлумотлар киритилгандан сўнг бошланади.Хато борлиги хақида белги пайдо бўлиши созлаш ўтказишна сабаб бўлади: белги йуклиги дастурда хато йуклигини билдиради. Тестлаш режаси бошлангич маoлумотларнинг рухсат этилган кийматларини хулосасини тўғрилигини хам текширишни уз ичига

www.arxiv.uz жамлайди.Дастурни тестлашнинг охирги этапи ўзгартиришларсиз рухсат этилан чегарасидан ташкарида жойлашган кийматларидан иборат бўлган малумотлардан фойдаланган холда бажарилади. Дастурларни фавқулотда ва қутилмаган холларда текширишда бир неча маслахатлар берилади.Бу маслахатлар текшириш вақтини тайерлашга ёрдам беради. Авваламбор тахрирланган малумотларни тўғрилигини текшириш керак бўлса,олдин рухсат этилган областни иккала чегарасида етган кийматни олинг, чунки шу кийматлар дастурни ишлашида кийнчиликлар тугдириш эхтимоли юқорироқ.Бир хилги холатларда қийинчиликларни бир нечта хатоларни жамлаган малумотлар тугдириши мумкин. Хатонинг яна бир тури - бу ишлов берилаетган малумотнинг бирлиги еки кейинги элементидаги хатолардир.Шунинг учун дастур уз ишини одатий холга ўхшаб тугатмаслиги мухумдир.Бунинг учун теслашда ягона бир файлни формаланса етади.Чунки бу файл нотўғри элементдан ташкил топади.Агар бу ишлаш тестлаш босқичида бажарилган бўлса, дас- турни эксплутация қилишда қийинчиликлар юзага келади. Дастурни тўғрилиги. Хамма дастурлар мантиқан олиб караганда айрим бир маoлумотлар таъсир курсатувчи худудларни аниқ кўрсатиши, яoни дастур иш бажариш кобилиятига эга бўлиши,малумотларни курсатилган чегараларда турганлигини аниқлаш учуи операторларни киритиш имконига эга бўлиши керак. Дастурни фойдаланишга беришдан олдин уни тўғрилигиги ишонч хосил қилиш керак.Нотўғриликни аниқлашни иккита усули бор: 1.Дастурни конструкцияси синтактик хато. 2.Дастур нотўғри натижалар кўрсатмоқда. Одатда дастурни тестдан ўтказишда этапларга бўлиб урганилади. Бунда хар бир модулни текширишдан тортиб, то бутун системани якуний текширишлар каби этапларни олади. Агар бунда бирон бир ишончли кетма - кетликка ендашилмаса, ишончли таoминловчи дастур олиш жуда

www.arxiv.uz қийиндир. Тестлаш стратегияси иккита усулдан бирортасига асосан бажарилади: одатий қуйидан - юқорига қараб тестлаш, еки замонавий юқоридан - пастга қараб тестлаш. Қуйидан - юқорига қараб тестлаш. Бу усул кенг таркалган усул бўлиб, унда энг куйу поғонадаги бошлангич ёзилган модуллар текширилади. Сўнгра юқори қатламдаги элементлар дастурланади ва тестланади. Бу жараён то ёзилган дастур бутунлай якунланмагунча давом этади. Қуйидан - юқорига қараб тестлаш усули хозирги вақтда юқоридан - пастга қараб тестловчи ва дастурловчилвр томонидан куланмаяпти. Уларни фикрича бу усулда интерфейс ва алгоритмдаги кўпгина хатолар аниқланмай колиб кетмокда. Бу эса дастурни кайта-кайта ўзгартиришдан сўнг бузишга олиб келади. Дастурчига маслахатлар. - Назорат қилиш усулларининг энг оз микдордагисидан фойдаларнинг. - Дастурни синашда хеч қандай камчиликларга йўл куймаган холда,аклий равишда ўтказинг. - Тестлашни иложи борича эртароқ бошланг. - Текширишда кул мехнатидан фойдаланинг. - Системани курилиш принципларини тўғрилигини текширишда оддий кўринишда куллашга харакат қилинг. - Тестларни юқоридан пастга қараб усулидан фойдаланишга харакат қилинг. - Навбатдаги хар қандай тестни янги маoлумотлар синфидан фойдаланинг. - Дастурни оддий, экстеремал ва фавкулодда холатларда текши- ринг. - Синашга кетадиган вақтни олдиндан режалаштиринг. - Дастурга киритилган ўзгартиришлардан сўнг уни яна тестдан ўтказинг.

www.arxiv.uz Адабиётлар : 1.Ван Тассел Д. Стилғ, разработка, эффективностғ, отладка и испқтание программ. М., Мир, 1991. 2. Лингер Р.,Теория и практика структурного программирования М.,Мир,1985. 3.В.В. Липаев. “Проектирование программнқх средств”, М.:”ВШ”, 1991. 4. Фокс Дж. “Программное обеспечение и его разработка”. Пер. с англ. М.: Мир, 1985. 5. С.С. Гуломов. “Иктисодий информатика”. Тошкент 1999 й. 6.www.uzedu.uz 7. www.ziyonet.uz

Похожие

Дастур эффективлиги. Дастурни оптималлаштириш. Дастур модификацияси

Программаларни тестлаш.Тестлаш воситалари. Тест ўтказиш этаплари. Тестларни расмийлаштириш

Программавий таъминот махсулот сифатида. Программавий махсулотни лойхалаш усуллари ва компонентлари

Программаларни созлаш. Масалаларни тавсифлаш, алгоритмни танлаш, тахминий хатоликлари. Умумий хатоликлар, хатосиз программалаштириш

Программаларни хужжатлаштириш