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










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

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

{LTS}

 

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

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

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

{SITELINK-S80}—труктурный подход {/SITELINK}снижает количество ошибок в {SITELINK-S149}алгоритмах и программах{/SITELINK}. ќднако и при этом подходе число ошибок также зара­нее неизвестно. ’от€ структурна€ форма записи и упрощает поиск и исправление ошибок в текстах программ, гарантии отсутстви€ ошибок структурный подход не дает.

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

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

Ѕолее того, при систематическом использовании спецификаций возможен не только анализ правильности алгоритмов и программ, но и становитс€ возможным составление программ с одновремен­ным доказательством правильности.

Ѕезошибочное программирование - это составление алгоритмов и программ с гаранти€ми отсутстви€ в них ошибок. ј составление алгоритмов и программ с одновременным доказательством правиль­ности называетс€ доказательным программированием. » в том и другом подходе необходимо составление спецификаций.

ƒл€ составлени€ программ на любом €зыке программировани€ весьма полезно предварительное составление реализуемых в них алгоритмов. Ёти описани€ алгоритмов вместе со спецификаци€ми позвол€ют в полной мере оценить правильность составленных про­грамм.

{SITELINK-S150}ѕравильность {/SITELINK}каждого из вспомогательных алгоритмов и подпро­грамм определ€етс€ сравнением с соответствующими фрагментами сценари€, а правильность всего алгоритма и соответствующей про­граммы - со сценарием в целом.

ƒанный подход к составлению алгоритмов и программ с исполь­зованием спецификаций - позвол€ет реализовать основную идею безошибочного программировани€ - создание алгоритмов и про­грамм, правильных по построению. “акой подход может примен€тьс€ к составлению алгоритмов и программ дл€ любых современных €зыков программировани€ - ѕаскаль, —и, јда, ћодула, Ѕейсик и т. д.

—равнение алгоритма со сценарием показывает их полное соот­ветствие друг другу.


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

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


 
     
   
 


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

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

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

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

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


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

 


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