Спецификация - требование
Cтраница 1
Спецификация требований к структуре и составу ПО каждого конкретного ВЦКП определяется комплексом решаемых на нем задач абонентов, составом технических средств и принятой технологией обработки информации. [1]
Спецификация требований на программные модули позволяет определить структуру, функции модуля и его связь с другими модулями КП, а также общие характеристики программы. Спецификация модуля при любом ее конкретном воплощении содержит заголовок модуля, паспорт модуля и его функции. В паспорте модуля содержится описание всех входных и выходных глобальных данных, вызываемых модулей, а также включаются данные о языке программирования и ориентировочные значения времени исполнения и объем модуля. [2]
Спецификация требований на глобальные модули данных составляются одновременно со спецификациями на программные модули. Они содержат глобальные переменные, объединенные в структуры, или глобальные константы. Информация глобальных модулей данных используется всем КП или группой программ. [3]
Спецификацию требований функциональной безопасности, содержащую требования к самим функциям ( контурам) безопасности, которые должна выполнять система. [4]
Спецификацию требований функциональной безопасности, содержащую требования к функциям безопасности, которые должна выполнять система. [5]
Каждой спецификации требования в функциональном пространстве будет дано какое-то решение в опознавательном пространстве с точным соответствием. Проблема проектирования сводится к проблеме поиска данных. Это значит, что никакого артефакта не будет создано в ходе проектирования, который не существовал в прошлом. [6]
Язык спецификаций требований предназначен для оформления решений, принятых при структурном проектировании КП. В спецификациях отражаются основные характеристики программ, связь их между собой по управлению и информации, а также схема функционирования. [7]
При тестировании спецификаций требований основная цель состоит в проверке полноты и взаимного соответствия функций, предписываемых программным компонентам разных иерархических уровней. [8]
Во многих спецификациях требования к наполнителю ограничиваются только показателями ситового анализа и содержания влаги. Ситовой анализ является косвенным показателем объема пустот. Содержание влаги устанавливается на минимально допустимом уровне с учетом экономических соображений, а также с целью максимального ограничения возможного ценообразования при смешении наполнителя с горячим битумом. Некоторые спецификации на наполнители включают также требование по допустимым пределам насыпной плотности. Это требование обеспечивает равномерность транспортирования на заводах с пневматическими системами подачи наполнителя. [9]
Во многих спецификациях требования к наполнителю ограничиваются только показателями ситового анализа и содержания влаги. Ситовой анализ является косвенным показателем объема пустот. Содержание влаги устанавливается на минимально допустимом уровне с учетом экономических соображений, а также с целью максимального ограничения возможного пенообразова ния при смешении наполнителя с горячим битумом. Некоторые спецификации на наполнители включают также требование по допустимым пределам насыпной плотности. Это требование обеспечивает равномерность транспортирования на заводах с пневматическими системами подачи наполнителя. [10]
Распространяются ли на спецификацию требования разд. [11]
 |
Архитектура прототипа. [12] |
Целью этапа конструирования является конкретизация спецификации требований, полученной на первых двух этапах, композицией существующих компонентов. На этапе конструирования реализуется поиск компонентов, релевантных спецификации требований, на основе интеграции их онтологических контекстов; выявление фрагментов компонентов, которые могут быть использованы в соответствующих фрагментах разрабатываемой системы; композиция таких фрагментов в спецификации, конкретизирующие спецификации требований. [13]
Основанием метода является каноническая модель спецификации требований и компонентов, имеющая формальную интерпретацию; теория уточнения, позволяющая получать обоснованные заключения о возможности повторного использования компонентов; исчисление спецификаций, на основе которого реализуется композиционное конструирование систем из компонентов; онтологический подход, используемый для семантической интеграции контекстов. [14]
При построении системы обозначений для спецификаций требования полноты в интеррогативах то немногое, о чем нужно позаботиться - это чтобы формальная нотация была удобной для запоминания. [15]
Страницы: 1 2 3 4