19. Надежность программного средства.

Надежность программного средства (reliability) - совокупность свойств, характеризующая способность программного средства сохранять заданный уровень пригодности в заданных условиях в течение заданного интервала времени. Примечания:

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

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

21. Способы разработки определения требований к программному средству.

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

Известны три способа определения требований к ПС [2]:

управляемый пользователем,

контролируемый пользователем,

независимый от пользователя.

В управляемой пользователем разработке определения требований к ПС определяются заказчиком, представляющим организацию пользователей.

В контролируемой пользователем разработке требования к ПС формулируются разработчиком при участии представителя пользователей.

В независимой от пользователя разработке требования к ПС определяются без какого-либо участия пользователя (на полную ответственность разработчика).

23. Табличный подход к спецификации функций. Метод таблиц решений. Алгебраический подход для определения функций.

Для спецификации семантики функций используется табличный подход. Табличный подход для определения функций хорошо известен ещё со средней школы. Он базируется на использовании таблиц. В программировании эти методы получили развитие в методе таблиц решений.

Метод таблиц решений базируется на использовании таблиц следующего вида.

Верхняя часть этой таблицы определяет различные ситуации, в которых требуется выполнять некоторые действия (операции). Каждая строка этой части задаёт ряд значений некоторой указанной переменной или некоторого указанного условия в первом поле (столбце) этой строки. Таким образом, первый столбец этой части представляет собой список переменных или условий, от значений которых зависит выбор определяемых ситуаций.

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

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