«аочное дистанционное образование с получением государственного диплома через Internet










ѕолучить информацию о поступлении
 
√лавна€ Ќовости  арта сайта ‘отоальбом √остева€ книга  онтакты

ќсновы безошибочного программировани€
јнализ правильности алгоритмов

{LTS}

 

јнализ правильности алгоритмов

Ќа практике часто приходитс€ встречатьс€ {SITELINK-S522}с программами, со­держащими ошибки{/SITELINK}. Ќапример, в самой последней операционной системе Windows специалистами обнаружено много ошибок, кото­рые врем€ от времени вы€вл€ютс€ на Ё¬ћ.

ѕрограмма содержит ошибки, если ее выполнение на Ё¬ћ при­водит к получению сбоев, отказов или неправильных результатов. ѕрограмму в таком состо€нии нельз€ использовать дл€ решени€ практических задач.

ќтказ - это ситуаци€, когда выполнение программы прекраща­етс€ вообще. ѕрограммы, содержащие такого рода ошибки считаютс€ неработоспособными, и от их использовани€ следует отказыватьс€.

—бой - это потер€ части данных либо получение непредусмот­ренных данных. “акого рода ошибки говор€т о их частичной нера­ботоспособности программ либо об их недостаточной надежности.

–езультат неправильный, если он не соответствует требовани€м, предъ€вл€емым к работе программ. ѕрограммы, содержащие такие ошибки, считаютс€ работоспособными, но их применение может приводить к получению ошибочных результатов.

ќ правильности программ нельз€ утверждать ничего если неиз­вестны предъ€вл€емые к ним требовани€. “олько при наличии стро­гих, четких спецификаций можно судить о правильности работы программ.

Ќаличие точной постановки задач позвол€ет говорить о правиль­ности не только конечных результатов, но и различных способов и методов их решени€.

—пособ правильный, если он дает правильные результаты. —пособ неправильный, если он дает неправильные результаты или не дает результатов вообще.

ћетод неправильный, если существуют допустимые данные, дл€ которых он дает неправильные результаты либо не дает результатов вообще.

ћетод правильный, если он дает правильные результаты дл€ любой задачи данного класса. »спользование правильных методов служит основой дл€ составлени€ алгоритмов и программ, не содер­жащих ошибок.

јлгоритм содержит ошибки, если можно указать допустимые ис­ходные данные, при которых либо будут получены неправильные результаты, либо результаты не будут получены вовсе. »спользование алгоритмов, содержащих ошибки, приводит к созданию программ, также содержащих ошибки.

{SITELINK-S523}јлгоритм считаетс€{/SITELINK}{SITELINK-S523} правильным{/SITELINK}, если он дает правильные резуль­таты дл€ любых допустимых исходных данных. ѕравильность алго­ритмов решени€ прикладных задач и наличие в них ошибок можно провер€ть двум€ основными способами.

ѕервый способ - проверка основных этапов построени€ алго­ритма:

задача, постановка, метод, алгоритм

¬торой способ - анализ результатов выполнени€ алгоритмов и их сравнение с выбранными методами решени€ и постановкой задачи:

алгоритм, метод, постановка, задача

—равнение результатов выполнени€ алгоритма с описанием метода решени€ показывает, что это одна и та же система формул, что подтверждает правильность алгоритма.

—истематические методы анализа правильности алгоритмов и программ опираютс€ на сопоставление тех же самых описаний, которые используютс€ при их систематическом составлении.

ќсновные типы алгоритмических ошибок в программах:

  • ошибки в выбранных методах решени€;
  • ошибки в постановке решаемых задач;
  • дефекты в сценари€х диалога с Ё¬ћ;
  • ошибки организации ввода данных;
  • неправильна€ реализаци€ методов решени€.

»счерпывающий анализ правильности алгоритмов и устранение из программ ошибок всех перечисленных типов возможны только при наличии соответствующих спецификаций: постановок задач, описаний методов решени€ и спецификаций ввода-вывода данных.

Ѕудем считать, что {SITELINK-S150}программа правильна€{/SITELINK}, если она дает правильные результаты дл€ любых допустимых исходных данных. “акого рода программы вполне можно использовать дл€ решени€ прикладных задач.

ѕрограмма считаетс€ надежной, если она не дает сбоев и отказов ни при каких исходных данных. Ќадежность - об€зательное условие дл€ всех программ, которые используютс€ людьми дл€ решени€ практических задач на Ё¬ћ.


”знать как сэкономить в кризис моно на сайте ekonom-it.ru

Ёлементы информационных технологий ¬озможности »нтернет ѕерсональные компьютеры ƒополнительные устройства компьютера ќсновы безошибочного программировани€ –едактирование текстов на Ё¬ћ –едактирование текстов –абота на Ё¬ћ  –абота с операционными системами   онтроль знаний на Ё¬ћ 


 
     
   
 


ѕриглашаем прин€ть участие в круглом столе!
подробнее   >>>
 

»нститут ћенеджмента, Ёкономики и »нноваций начинает набор на курсы повышени€ квалификации!
подробнее   >>>
 

”важемые студенты јЌќ ¬ѕќ »ћЁи»!
подробнее   >>>
 

Ќачинаетс€ набор на курсы повышени€ квалификации!
подробнее   >>>
 

ѕриглашаем прин€ть участие в конференци€х!
подробнее   >>>
 


все новости...

 


–ассылки Subscribe.Ru
—овременное образование
ѕодписатьс€ письмом