Важным требованием является надежность КП, т.е. способности КП поддерживать свой уровень функционирования при заданных условиях в течение заданного периода времени. КП должна правильно функционировать в случае программных дефектов или нарушений из-за неправильных действий пользователя (она должна иметь защиту от сбоев). Кроме того, КП должна обладать способностью восстанавливать данные и свой уровень функционирования, нарушенные в случае сбоя.
В состав требований к КП входит также эффективность. Эффективность может определяться по времени отклика и обработки или по количеству использованных ресурсов (например, дисковой памяти) и продолжительностью их использования.
7.3.Пример требований к КП
I. Функциональные требования к КП “Выбор максимума”
1.КП должна решать задачу о выборе максимального значения из значений трех заданных чисел для любых значений этих чисел, входящих в промежуток от [-10 6 , +10 6]; точность значения полученного решения должна совпадать с точностью значений задаваемых чисел.
2. КП должна обеспечивать ввод задаваемых значений с клавиатуры в формате с фиксированной точкой, отображение на экран введенных пользователем значений и возможность их редактирования при вводе.
3. КП должна не позволять вводить символы, отличные от цифр, десятичной точки и знаков “+” и “-”.
4. КП должна выводить на экран значение решения задачи.
5. КП должна выводить на экран сообщения об ошибках пользователя при введении им исходных данных.
II. Требования к удобству использования КП.
1. КП должна быть предназначена для любого человека, который понимает, что такое “максимум” из трех заданных чисел, что такое “формат с фиксированной точкой”, умеет читать текст на русском языке и имеет навыки работы на компьютере.
|
|
2. КП должна выдавать все сообщения на экран на русском языке.
3. КП должна выдавать подсказки пользователю при вводе исходных данных.
4. Тексты сообщений и подсказки должны быть понятными и дружелюбными.
5. Процедура запуска КП должна быть как можно более простой для пользователя.
III. Требование к надежности КП
В ходе работы КП значения входных данных должны оставаться неизменными (они не должны “портиться”).
IV. Требование к мобильности к КП
КП должна быть переносимой без изменений из одной среды в другую в рамках Windows-95, Windows-98, Windows-NT.
В этом примере указаны только такие требования, которые разумно предъявить к программе, решающей такую простую задачу как выбор максимального значения из трех заданных чисел.
Специфицирование КП. Понятие спецификации. Основные свойства спецификации. (специфицирование задачи, пользовательского диалога, входные и выходные данные. Терминология соответствует документации «Анализ ПО». Объяснить, что такое полнота, точность, понятность).
8.1.1.Что означает слово "спецификация" (по толковому словарю)
Спецификация – это точное, однозначное, недвусмысленное описание. Понятие спецификации довольно относительно. Например, человеку, не знакомому с программированием, описание задачи вычисления факториала в виде текста программы на языке фортран будет совершенно непонятно (и, следовательно, для него не является спецификацией), в то время как для среднего программиста этот текст может служить прекрасной спецификацией.
|
|
8.1.2. Как надо понимать термин "спецификация компьютерной программы" в данном контексте (семантика)
Компьютерная программа (КП) - это задание для компьютера, написанное программистом, в то время как спецификация КП – это задание для человека (программиста), написанное постановщиком задачи или системным аналитиком. Внешнее проектирование КП – это процесс описания ожидаемого поведения разрабатываемой КП с точки зрения внешнего наблюдателя. Цель этого процесса – конструирование “внешних” взаимодействий будущей КП без конкретизации её внутреннего устройства. Внешний проект выражается в форме внешних спецификаций КП, предназначенных для широкой аудитории, включающей заказчика и пользователей КП (для проверки и одобрения), авторов документации к КП, всех программистов, участвующих в разработке КП, а также всех тех, кто будет заниматься тестированием КП.
Определение 6.1.. Внешняя спецификация КП – это промежуточное описание задачи, которую должна решать проектируемая КП.
Цель внешней спецификации – материально фиксировать понимание задачи (в виде текста, документа, макета и т.д.) и передать понимание заинтересованным лицам. Назначение внешней спецификации состоит в определении поведения КП. Пользователи КП рассчитывают на это поведение, а разработчики должны обеспечить его. Внешние спецификации должны описывать КП с точки зрения пользователя и избегать ограничений на внутреннее устройство КП. Внешние спецификации должны описывать все возможные входные данные КП (как допустимые, так и недопустимые) и соответствующую реакцию КП. Они должны точно и полно описывать внешние сопряжения при минимальных предположениях (или совсем без них) о внутреннем устройстве КП. Спецификация должна описывать, ЧТО должна делать КП, но она не должна описывать, КАК это она должна делать. Хорошая внешняя спецификация КП должна позволить заранее понять, какая реализация этой спецификации в виде КП не устроит пользователей.
|
|
Определение 6.2. Реализация заданной спецификации в виде КП удовлетворяет этой спецификации, если она обеспечивает поведение КП, описанное в заданной спецификации.
Спецификация описывает соглашение между разработчиками и пользователями КП: разработчик соглашается написать КП, которая удовлетворяет этой спецификации. Спецификация должна быть понятна, с одной стороны, заказчику КП, а с другой стороны - программисту, разрабатывающему КП.
Определение 6.3. Написание спецификации КП называется специфицированием, автор спецификации называется спецификатором.