Инструменты пользователя

Инструменты сайта


examination:c:question6

Во время постановки задачи четко формулируется назначение разрабатываемого ПО и определяется список основных требований к нему. Каждое требование представляет собой описание необходимый заказчику свойств ПО и требований к ПО. На этапе постановки задачи разрабатывается ТЗ и спецификация программы.

Спецификация программы-средство для точного описания того, что должно быть совершено в результате выполнения программы.

Спецификация программы -это точная и полная формулировка программы, содержащая информацию для построения алгоритма решения задачи.Чаще всего спецификация программы выражается в форме приказа и на естественном языке. Недостатком такой спецификации является то, что естественный язык обладает свойством полисемии (многозначности), поэтому часто приходится прибегать к формальной спецификации.

Формальной спецификацией программы называется слово {Q}S{R},где Q-предусловие программы S, R-пост условие программы S. Интерпретацией этой формальной записи является следующее: если выполнение программы S началось в состоянии, удовлетворяющем Q, то имеется гарантия, что оно завершится через конечное время в состоянии, удовлетворяющем R.

Внешняя спецификация

Построение внешней спецификации является неотъемлемый этапом спецификации программы, представляет достаточно точную спецификацию решаемой задачи.

Каждая программы реализует некоторую функцию отображающую множество входных данных значений в множество выходных.

Внешняя спецификация может быть представлена следующим образом: 1)название программы 2)вход: обозначение входных данных, набор утвержденных входных данных 3)выход: обозначение выходных данных, описание функциональной зависимости выходных данных от входных. Для описания функциональной связи используется язык математики, а также понятия и конструкции используемого языка.

examination/c/question6.txt · Последние изменения: 2014/01/15 08:10 (внешнее изменение)