Технология программирования. - 23 стр.

UptoLike

Рубрика:

- 25 -

Удобочитаемость – свойство, характеризующее лёгкость восприятия текстов

программ ПС (отступы, форматированность).

Расширяемость – это свойство, характеризующее способность ПС к исполь-

зованию большого объёма памяти для хранения данных и расширению функцио-

нальных возможностей отдельных компонент.

Модифицируемость – мера, характеризующая ПС с точки зрения простоты

внесения изменений и дополнений на этапах жизненного цикла.

Модульность – свойство ПС

, отражающее организацию его программ из таких

компонент, что изменение одной из них минимально сказывается на других.

Независимость от устройств – свойство, отражающее способность ПС рабо-

тать на различных аппаратных платформах.

4.3. Формирование функциональной спецификации ПС (ФС)

С учётом назначения ФС и тяжёлых последствий ошибок в ней, она должна ба-

зироваться на понятиях

, представленных как математические объекты, и на утвер-

ждениях, которые однозначно интерпретируются разработчиками. Чаще всего ФС

пишется на естественном языке, но нужно стремиться к её формализации и к тому,

чтобы она базировалась на математических методах.

ФС включает три части [1]:

1) описание внешней среды, к которой должны применяться программы разра-

батываемого ПС;

описание функций ПС, которые определены на множестве состояний ин-

формационной среды. Такие функции называются внешними.

3) описание нежелательных или исключительных ситуаций, которые могут

возникнуть при выполнении программ ПС. А также описание реакций на данные

ситуации, что обеспечивается соответствующими программами.

В первой части на концептуальном или идейном уровне должны быть опреде-

лены

все используемые каналы ввода-вывода, информационные объекты, к кото-

рым будет применяться будущее ПС и существующие связи между информацион-

ными объектами.