ГОСТР 53195.5—2010
- если объем базы данных играет важную роль, то этот объем увеличивают относительно объема при
нормальных условиях:
- устройства, имеющие решающее влияние, настраивают на их максимальные или минимальные скорости
соответственно:
- для экстремальных тестов все факторы, имеющие решающее влияние, по возможности вводят одновре
менно в граничные условия.
Для указанных выше тестов может быть оценено поведение во времени тестируемого объекта. Можно
также исследовать изменения нагрузки и проверить размер внутренних буферов или динамических переменных,
стеков и т. п.
Более подробное описание данного метода/средства приведено в [227. 228].
В.5.22 Ограничения на время реакции и объем памяти
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в ГОСТ Р 53195.4 (таблица Б.6).
Цель: обеспечение соответствия системы требованиям к параметрам времени и памяти.
Описание: спецификация требований к системе и программному обеспечению включает в себя требования
к памяти и времени выполнения системой конкретных функций, возможно, объединенных с ограничениями на
использование общих системных ресурсов.
Данный метод выполняется для установления распределения запросов при средних и наихудших условиях.
Рассматриваемый метод требует оценки используемых ресурсов и затраченного времени каждой функцией сис
темы. Такие оценки могут быть получены различными способами, например сравнением с существующей систе
мой или макетированием и дальнейшим сравнением времени реакции с критическими системами.
Более подробное описание данного метода^средства приведено в (227. 229-232].
В.5.23 Анализ влияния
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в ГОСТ Р 53195.4 (таблица А.8).
Цель: определение влияния, изменяющего или расширяющего программную систему, которому могут под
вергаться также и другие программные модули в данной программной системе, а также другие системы.
Описание: перед выполнением модификации или расширения программного обеспечения следует опре
делить влияние модификаций или расширений на программное обеспечение, а также определить, на какие
программные системы и программные модули это повлияет.
Далее принимается решение о повторной верификации программной системы. Это зависит от числа под
вергнувшихся воздействию программных модулей, их критичности и характера изменений. Возможными решени
ями могут быть:
- повторная проверка только изменений программного модуля:
- повторная проверка всех подвергнувшихся воздействию программных модулей;
- повторная проверка всей системы.
Более подробное описание данного метода.’средства приведено в [200. 233].
В.5.24 Управление конфигурацией программного обеспечения
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в ГОСТ Р 53195.4 (таблица А.8).
Цель: обеспечение согласованности результатов работы групп поставщиков составляющих проекта,
а также изменений в этих поставках. В общем случав управление конфигурацией применимо к разработке как
АС. так и ПО.
Описание: управление конфигурацией ПО представляет собой метод, используемый в течение всей разра
ботки. В сущности, он требует документирования разработки каждой версии, каждой значимой ее поставки и
каждой взаимосвязи между различными версиями разработки различных поставщиков. Полученная документа
ция позволяет разработчику определять, как влияет на другие поставки изменение в первой поставке (особенно
одного из его компонентов). В частности, системы или подсистемы могут надежно компоноваться (конфигуриро
ваться) из согласованных наборов версий компонентов.
Более подробное описание данного метода/средства приведено в [234. 235].
В.6 Оценка функциональной безопасности
П р и м е ч а н и е — Соответствующие методы и средства см. также в Б.6 настоящего стандарта.
В.6.1Таблицы решений и таблицы истинности
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в ГОСТ Р 53195.4 (таблицы А.10 и Б.7).
Цель: обеспечение ясных и согласующихся спецификаций и анализа сложных логических комбинаций и их
отношений.
Описание: в данном методе используют бинарные таблицы для точного описания логических отношений
между булевыми переменными программы.
Использование таблиц и точность метода позволили применить его в качестве средства анализа сложных
логических комбинаций, выраженных в бинарных кодах.
63