Препринт ИСП РАН 13, 2006 г.
Новости
Препринты Института системного программирования РАН, Препринт 13, 2006 г.
В.В. Кулямин, Н.В. Пакулин, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Формализация требований на практике. Стр. 1-70.
Аннотация
Чтобы сделать хорошую — надежную и правильно работающую — программную систему, необходимо понять, какие задачи она должна будет решать, и реализовать в ее рамках корректные, эффективные и удобные методы их решения. Несмотря на краткость этой мысли и ее кажущуюся простоту, добиться всего этого на практике очень непросто. Одним из перспективных подходов к выполнению второй части этой максимы — реализации «правильных» методов решения для уже поставленных задач — является использование формальных моделей разрабатываемого программного обеспечения. Однако этот подход ничего не говорит о том, как правильно понять и поставить задачу, что критически важно для его успеха, поскольку именно задачи и необходимые свойства их решений должны представляться используемыми в нем моделями. Данная работа посвящена приемам и методам обеспечения адекватного понимания потребностей и нужд пользователей программного обеспечения, а также более широкому кругу вопросов работы с требованиями и их аккуратного отражения в формальных моделях.