Категория
Информатика
Тип
реферат
Страницы
13 стр.
Дата
04.06.2014
Формат файла
.html — Html-документ
Архив
1030971.zip — 8.99 kb
  • algoritmizacija-zadach_1030971_1.html — 33.64 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо


Текст работы

 

Алгоритмизациязадач

Напервом этапе разработки комплексов программ АСУ определяют требования,выполнение которых обеспечивает решение поставленных задач. Основнымихарактеристиками являются время и стоимость обработки информации, вероятностьошибки, допустимые объемы памяти, неизбежность выполнения основных функций ит.п. Требования к системе содержатся в системных спецификациях, которыеотображают предполагаемую реализацию системы с помощью ЭВМ. Спецификацииявляются основополагающим документом в процессе разработки системы. Точность иподробность составления спецификаций определяют вероятность возникновенияошибки на дальнейших этапах разработки. Большинство современных методовсоздания программного обеспечения допускает появление ошибок в спецификацияхпроекта, однако цена обнаружения и корректировки ошибок возрастает по мереприближения разработки к завершению. В большинстве случаев ошибки в системе –результат неполных или противоречивых спецификаций (60–70% ошибок). В связи сэтим возникает необходимость разработки и использования языков и формализованныхметодов разработки спецификаций, их анализа и контроля.

Внастоящее время известен ряд методов формализации определения спецификаций.Первым шагом в направлении формализации процесса определения спецификацийявилось создание HOS-методологии, основанной на использовании аксиомпрограммного обеспечения высшего уровня, которые определяют допустимыевзаимодействия между процедурами задачи. Эти аксиомы предусматривают введениенекоторых ограничений на использование процедур. Например, не допускаютсяситуации, когда процедура контролирует сама себя, т.е. исключаетсяиспользование рекурсии, процедура не может управлять пространством своихвходных данных и т.п.



Ваше мнение



CAPTCHA