Мои Конспекты
Главная | Обратная связь

...

Автомобили
Астрономия
Биология
География
Дом и сад
Другие языки
Другое
Информатика
История
Культура
Литература
Логика
Математика
Медицина
Металлургия
Механика
Образование
Охрана труда
Педагогика
Политика
Право
Психология
Религия
Риторика
Социология
Спорт
Строительство
Технология
Туризм
Физика
Философия
Финансы
Химия
Черчение
Экология
Экономика
Электроника

Формальные спецификации в процессе разработки ПО





Помощь в ✍️ написании работы
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой

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

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

На рис. 9.1 показаны этапы разработки спецификации ПО и их взаимосвязи с процес­сом проектирования. Этапы разработки спецификации, показанные на рис. 9.1, не явля­ются независимыми и не обязательно разрабатываются в приведенной последовательно­сти. На рис. 9.2 показано, что разработка, спецификация и проектирование могут выпол­няться параллельно, когда информация от этапов разработки спецификации передается к «этапам проектирования и наоборот.

Рис. 9.1. Разработка спецификации и проектирование

Рис. 9.2. Разработка формальной спецификации

Создание формальной спецификации требует детального анализа системы, который позволяет обнаружить ошибки и несоответствия в спецификации неформальных требо­ваний. Эта возможность обнаружения ошибок — наиболее важный аргумент для использо­вания формальной спецификации. Проблемы в требованиях, которые остаются не­обнаруженными до последних стадий процесса разработки ПО, обычно требуют больших затрат на исправление.

 

Доверь свою работу ✍️ кандидату наук!
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой



Поиск по сайту:







©2015-2020 mykonspekts.ru Все права принадлежат авторам размещенных материалов.