AlgStr / Библиотека / POSIBNIK / Спецификации
.DOC
СПЕЦИФИКАЦИИ
Существуют системы, в которых спецификации являются частью языка программирования.
Этапы создания программного обеспечения:
-
изучение
-
проектирование
-
кодирование
-
тестирование
-
отладка
-
использование
-
сопровождение
Спецификация содержит описание того общего, что содержится в программе (во множестве реализаций)
Спецификация - это текст, который обладает некоторыми свойствами.
Значение спецификации.
Главное назначение спецификации: отделение правильных реализаций от неправильных. Значениями спецификаций являются всевозможные правильные реализации
-
Программа
набор всех вычислений по этой программе;
конкретный вычислительный процесс по этой программе;
-
Спецификация
набор всех операций
конкретный вычислительный процесс
Создание спецификаций
Критерии, применяемые к спецификациям:
-
Ограниченность
Ошибки:
неполное задание ограничений в предложении requires
-
Неполный список исключительных ситуаций
-
Обобщенность
Стили написания спецификаций
-
Дефинитивный стиль
-
Операционный стиль
Дефиниционный стиль не задает программисту метод реализации абстракции, но описывает свойства.
Операционный указывает как достичь определенных свойств
Свойства спецификаций как текста
-
Полнота
-
Понимаемость
Факторы:
-
краткость
-
избыточность
-
структурированность
Нужно писать краткие, но полные спецификации.
Один, из главных эффектов спецификации - это более глубокое понимание смысла.
Этапы написания программы
Разработчику абстракции надо указать, что делать
Пользователю абстракции не на то, чем на спецификацию
При тестировании спецификации помогают генерировать тестовые данные, помогают создавать заглушки (приближенные модели программы)
На этапе компоновки позволяет сократить число проблем с интерфейсами за счет сокращения числа неявных предположений об этих интерфейсах
При отладке позволяет выявить местонахождение ошибок, позволяет избежать новых ошибок при исправлении.
В процессе сопровождения спецификации выступают как часть документации на программу и помагают различать вопросы что сделано в программе от того как это сделано.
Модификации программ
-
с изменением спецификации
-
без изменения спецификации
Кроме спецификаций иногда необходимо указывать принципы работы программы.