Программалық жабдықтарды жөндеу/отладка



жүктеу 24,6 Kb.
бет1/2
Дата15.12.2022
өлшемі24,6 Kb.
#40640
түріПрограмма
  1   2
срсп Сабит Ә.А. ВТ-20-1


Әбілқас Сағынов атындағы Қарағанды техникалық университеті

«Ақпараттық-есептеуіш жүйелер» кафедрасы
СРСП

Пәні:БҚ әзірлеудің заманауи әдістері

Жетекші: Сүлеймен А.Е
Студент: Сабит Ә.А.
Тобы: ВТ-20-1

2022 жыл


  1. Программалық жабдықтарды жөндеу/отладка.

Бағдарламаны жөндеу-бұл терең білімді қажет ететін бағдарламалық жасақтаманы әзірлеудің ең қиын кезеңдерінің бірі:



  • пайдаланылатын техникалық құралдарды басқару ерекшеліктері,

  • Операциялық жүйе,

  • қоршаған орта және бағдарламалау тілі,

  • іске асырылатын процестер,

  • әр түрлі қателіктердің табиғаты мен ерекшеліктері,

  • жөндеу әдістері және тиісті бағдарламалық құралдар.

Жөндеу-бұл бағдарламалық жасақтаманы тестілеу кезінде табылған қателерді оқшаулау және түзету процесі. Локализация-бұл қалыпты есептеу процесінің бұзылуына себеп болған Бағдарлама операторын анықтау процесі. Қатені түзету алдында оның себебін анықтау керек, яғни қатені қамтитын операторды немесе фрагментті анықтау керек. Қателіктердің себептері айқын немесе өте жасырын болуы мүмкін.


Тұтастай алғанда, жөндеудің күрделілігі келесі себептерге байланысты:





  • бағдарламашыдан қолданылатын техникалық құралдарды, операциялық жүйені, қоршаған ортаны және бағдарламалау тілін, іске асырылатын процестерді, әртүрлі қателіктердің табиғаты мен ерекшеліктерін, жөндеу әдістерін және тиісті бағдарламалық құралдарды басқару ерекшеліктерін терең білуді талап етеді;

  • психологиялық тұрғыдан ыңғайсыз, өйткені өз қателіктеріңізді іздеу керек және әдетте шектеулі уақыт жағдайында;

  • бағдарламаның әртүрлі бөліктеріндегі қателердің өзара әсері болуы мүмкін, мысалы, адрестік қателіктерге байланысты бір модульдің жад аймағын екіншісіне ысқылау арқылы;

  • нақты тұжырымдалған жөндеу әдістері жоқ.

Бағдарламаны жөндеу кез-келген жағдайда қате туралы барлық ақпаратты ойлауды және логикалық түсінуді қамтиды. Қателердің көпшілігін қосымша ақпарат алмай-ақ бағдарлама мәтіндері мен тестілеу нәтижелерін мұқият талдау арқылы жанама түрде анықтауға болады. Бұл жағдайда әртүрлі әдістер қолданылады:





  • қолмен тестілеу;

  • индукция;

  • дедукциялар;

  • кері бақылау.

2.Қателердің классификациясы.

Бағдарламаларда қателіктердің үш негізгі түрі бар:


- компиляция кезеңіндегі қателер (немесе синтаксистік қателер)


- орындау кезеңіндегі қателер немесе семантикалық қателер);
- логикалық қателер.

Бағдарламадағы немесе жүйедегі қатені білдіреді, соның салдарынан бағдарлама күтпеген мінез-құлық пен нәтиже береді. Бағдарламалық жасақтама қателерінің көпшілігі бағдарламаны жасаушылар оның бастапқы кодында немесе дизайнында жіберген қателіктерден туындайды. Сондай-ақ, кейбір қателер әзірлеуші құралдарының дұрыс жұмыс істемеуінен туындайды, мысалы, қате кодты шығаратын компилятор.


Синтаксистік қателер синтаксистік ережелерді бұзудан туындайды бағдарламалау тілі. Компилятор синтаксисті анықтаған кезде қате, содан кейін қатенің орнын (позициясын немесе жолын) белгілейді және хабарламаны шығарады қате туралы.


Ең көп таралған синтаксистік қателер:


- теру қателері (теру қателері);


- өткізіп алған нүктелі үтір;
- сипатталмаған айнымалыларға сілтемелер;
- процедура параметрлерінің дұрыс емес санын (немесе түрін) беру немесе функциялар;
- айнымалыға қате типтегі мәндерді тағайындау.

Синтаксистік қатені түзеткеннен кейін компиляцияны орындауға болады қайта. Барлық синтаксистік қателер мен сәтті компиляция жойылғаннан кейін-ции бағдарлама орындалу кезеңіндегі қателерді іздеуге және іздеуге дайын-қателіктер.


Семантикалық қателер бағдарлама құрастырылған кезде пайда болады, бірақ операторларды орындау кезінде бірдеңе дұрыс болмайды. Мысалы, бағдарлама енгізу үшін жоқ файлды ашуға немесе бөлуге тырысады нөл. Семантикалық қателер анықталған кезде бағдарламаны орындау аяқталды- және қате туралы хабарлама шығады. Мысалы, Turbo Pascal жүйесінде хабарлама келесі түрде көрсетіледі:

Run-time error ## at seg:ofs


Қате нөмірі бойынша (##) оның пайда болу себебін анықтауға болады.


Логикалық қателер-бұл бағдарламаларды жобалау және енгізу қателері-біз. Логикалық қателер дұрыс емес немесе күтпеген білімге әкеледі.- айнымалыларды, графикалық кескіндердің дұрыс емес түрін немесе- күткен кезде кодты толтырыңыз. Бұл қателерді бақылау жиі қиын- ются, компилятор да, орындаушы жүйе де оларды анықтамайды синтаксистік және семантикалық қателер сияқты автоматты түрде. Әдетте жүйелер бағдарламалауға заңды табуға көмектесетін жөндеу құралдары кіреді.

  1. Программалық жабдықтарды жөндеудің әдістері,методы отладки

Бағдарламаны жөндеу кез-келген жағдайда қате туралы барлық ақпаратты ойлауды және логикалық түсінуді қамтиды. Қателердің көпшілігін қосымша ақпарат алмай-ақ бағдарлама мәтіндері мен тестілеу нәтижелерін мұқият талдау арқылы жанама түрде анықтауға болады. Бұл жағдайда әртүрлі әдістер қолданылады:





  • қолмен тестілеу;

  • индукция;

  • дедукциялар;

  • кері бақылау.

Қолмен тестілеу әдісі. Бұл берілген топтың ең қарапайым және табиғи тәсілі. Қатені анықтаған кезде сынақ жинағын пайдаланып, сынақ бағдарламасын қолмен орындау керек, онымен жұмыс істегенде қате табылды.


Бұл әдіс өте тиімді, бірақ үлкен бағдарламаларға, күрделі есептеулері бар бағдарламаларға және қате бағдарламашының кейбір операцияларды орындау туралы қате түсінігіне байланысты болған жағдайда қолданылмайды.


Бұл әдіс көбінесе басқа жөндеу әдістерінің ажырамас бөлігі ретінде қолданылады.


Индукция әдісі. Әдіс қате есептеу нәтижелері немесе қате туралы хабар ретінде көрінуі мүмкін қате белгілерін мұқият талдауға негізделген. Егер компьютер жай "қатып қалса", онда қатенің көрінісі фрагменті соңғы алынған нәтижелер мен пайдаланушының әрекеттеріне сүйене отырып есептеледі. Осылайша алынған ақпарат бағдарламаның тиісті бөлігін қарап, ұйымдастырылады және мұқият зерттеледі. Осы әрекеттердің нәтижесінде қателер туралы гипотезалар жасалады, олардың әрқайсысы тексеріледі. Егер гипотеза дұрыс болса, онда олар қате туралы ақпаратты егжей - тегжейлі айтады, әйтпесе олар басқа гипотезаны алға тартады. Индукция әдісімен күйін келтірудің реттілігі суретте көрсетілген. 10.3 алгоритм схемасы түрінде.


Ең маңызды кезең - қателік белгілерін анықтау. Қате туралы деректерді ұйымдастыра отырып, оның көріністері туралы белгілі барлық нәрсені жазып алған жөн, сонымен қатар олар қателік фрагменті қалыпты түрде орындалатын жағдайларды да, қате пайда болатын жағдайларды да жазады. Егер деректерді зерттеу нәтижесінде ешқандай гипотеза пайда болмаса, онда қате туралы қосымша ақпарат қажет. Қосымша ақпаратты, мысалы, ұқсас сынақтарды орындау нәтижесінде алуға болады.


Дәлелдеу барысында олар қатенің барлық көріністерін осы гипотеза түсіндіретінін анықтауға тырысады, егер бәрі болмаса, онда гипотеза дұрыс емес немесе бірнеше қателер бар.


Дедукция әдісі. Дедукция әдісіне сәйкес, алдымен қатенің осы көрінісін тудыруы мүмкін көптеген себептер қалыптасады. Содан кейін себептерді талдай отырып, қолда бар мәліметтерге қайшы келетіндер алынып тасталады. Егер барлық себептер алынып тасталса, онда зерттелетін бөлікке қосымша тестілеу жүргізілуі керек. Әйтпесе, ең ықтимал гипотезаны дәлелдеуге тырысады. Егер гипотеза алынған қате белгілерін түсіндірсе, онда қате табылды, әйтпесе олар келесі себепті тексереді


Кері бақылау әдісі. Шағын бағдарламалар үшін кері бақылау әдісін қолдану тиімді. Қате нәтижені шығару нүктесінен бастаңыз. Осы нүкте үшін қолда бар нәтижеге әкелуі мүмкін негізгі айнымалылардың мәндері туралы гипотеза құрылады. Әрі қарай, осы гипотезаға сүйене отырып, алдыңғы нүктедегі айнымалылардың мәндері туралы ұсыныстар жасалады. Процесс қатенің себебін анықтағанға дейін жалғасады.


3. Программалық жабдықтарды жөндеудің жалпы әдістемесі


Құрылғыларды бір-бірімен байланыстыратын жүйелер мен сигналдарды, пайдаланушы адам мен компьютердің қарым-қатынасын, техникалық, программалық құралдар жиынтығын жəне техникалық өзара келісімдерді интерфейс деп атайды. (inter- өзара, face-бет).



жүктеу 24,6 Kb.

Достарыңызбен бөлісу:
  1   2




©g.engime.org 2024
әкімшілігінің қараңыз

    Басты бет
рсетілетін қызмет
халықаралық қаржы
Астана халықаралық
қызмет регламенті
бекіту туралы
туралы ережені
орталығы туралы
субсидиялау мемлекеттік
кеңес туралы
ніндегі кеңес
орталығын басқару
қаржы орталығын
қаржы орталығы
құрамын бекіту
неркәсіптік кешен
міндетті құпия
болуына ерікті
тексерілу мемлекеттік
медициналық тексерілу
құпия медициналық
ерікті анонимді
Бастауыш тәлім
қатысуға жолдамалар
қызметшілері арасындағы
академиялық демалыс
алушыларға академиялық
білім алушыларға
ұйымдарында білім
туралы хабарландыру
конкурс туралы
мемлекеттік қызметшілері
мемлекеттік әкімшілік
органдардың мемлекеттік
мемлекеттік органдардың
барлық мемлекеттік
арналған барлық
орналасуға арналған
лауазымына орналасуға
әкімшілік лауазымына
инфекцияның болуына
жәрдемдесудің белсенді
шараларына қатысуға
саласындағы дайындаушы
ленген қосылған
шегінде бюджетке
салығы шегінде
есептелген қосылған
ұйымдарға есептелген
дайындаушы ұйымдарға
кешен саласындағы
сомасын субсидиялау