На этой странице вы найдете информацию о программировании, данная информация была взята с разных источников и автором. Поэтому мы не претендуем на авторство этого материала, а лишь предоставляем возможность ознакамливаться с ним.
Основные задачи разработки архитектуры ПС:
· выделение программных подсистем и отображение на них внешних функций… · определение способов взаимодействия между выделенными программными подсистемами.
...
Под языком спецификаций понимается формальный язык, предназначенный для спецификации функций. В нем используется ряд средств, позволяющих… Язык спецификации может базироваться на каком-либо из рассмотренных нами… ...
Основные идеи денотационной семантики проиллюстрируем на более простом случае, когда система равенств (5.3) является системой языковых уравнений:
… X1= phi[1,1] U phi[1,2] U ... U phi[1,k1],
X2= phi[2,1] U phi[2,2] U ... U phi[2,k2],
...
Верхняя часть этой таблицы определяет различные ситуации, в которых требуется выполнять некоторые действия (операции). Каждая строка этой части…
Переменные/условия
Ситуации (комбинации значений)
… Табл. 5.1. Общая схема таблиц решений.
...
Табличный подход для определения функций хорошо известен еще со средней школы. Он базируется на использовании таблиц. В программировании эти методы… Алгебраический подход базируется на использовании равенств для определения… L1=R1,
...
Функциональная спецификация состоит из трех частей:
· описания внешней информационной среды, к которой должны применяться… · определение функций ПС, определенных на множестве состояний этой информационной среды (такие функции будем называть… ...
Для конкретизации качества ПС по каждому из критериев используется стандартизованный набор достаточно простых свойств ПС [4.3-4.6], однозначно… Функциональность: завершенность.
Надежность: завершенность, точность, автономность, устойчивость, защищенность.
...
Определение требований представляет собой смесь фрагментов на естественном языке, различных таблиц и диаграмм. Такая смесь, должна быть понятной… Неправильное понимание требований заказчиком, пользователями и разработчиками… Известны три способа определения требований к ПС [4.2]:
...
Очень часто требования к ПС путают с требованиями к процессам его разработки (к технологическим процессам). Последние включать во внешнее описание… Внешнее описание ПС играет роль точной постановки задачи, решение которой… Исходным документом для разработки внешнего описания ПС являются определение требований к ПС. Но так как через этот… ...
С учетом специфики разработки ПС необходимо применять везде, где это возможно,
· смежный контроль,
· сочетание как статических, так и динамических методов контроля.
...
· обеспечения независимости компонент системы;
· использование в системах иерархических структур.
Обеспечение независимости компонент означает разбиение системы на такие части, между которыми должны остаться по… ...
Совокупность свойств ПС, которая образует удовлетворительное для пользователя качество ПС, зависит от условий и характера эксплуатации этого ПС,… · функциональность,
· надежность,
...
