ГОСТ Р МЭК 61508-7—2012
Описание. Спецификация требований включает в себя требования к пропускной способности и реакции кон
кретных функций, возможно, объединенных с ограничениями на использование общих системных ресурсов. Пред
ложенный проект системы сравнивается с установленными требованиями путем:
- создания модели процессов системы и их взаимодействий,
- определения используемых каждым процессом ресурсов (время процессора, полоса пропускания канала
связи, обьем памяти и г. п.);
- определения распределения запросов, выдаваемых системе при средних и наихудших условиях:
- вычисления средних и для наихудших случаев значений величин пропускной способности и времени от
вета для конкретных функций системы.
Для простых систем может оказаться достаточным аналитическое решение, тогда как для более сложных
систем более подходящим для получения точных результатов является создание модели системы.
Переддетальным моделированием может быть использована более простая проверка «бюджета ресурсов»,
которая суммирует требования к ресурсам всех процессов. Если сумма этих требований к системе превышает воз
можности спроектированной системы, проект считается нереализуемым. Даже в случав, если проект проходит эту
простую проверку, моделирование выполнения может показать, что слишком большие задержки и времена ответов
происходят из-за недостатка ресурсов. Для исключения такой ситуации инженеры часто проектируют системы,
использующие только часть (например 50 %) общих ресурсов для уменьшения вероятности нехватки ресурсов.
Литература:
Software Engineering for Real-time Systems. J.E. Cooling, Pearson Education. 2003. ISBN 0201596202,
9780201596205.
C.5.21 Проверка на критические нагрузки/стресс-тестирование
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица В.6).
Цель. Подвергнуть тестируемый обьект исключительно высокой нагрузке, чтобы показать, что тестируемый
объект будет легко выдерживать нормальную рабочую нагрузку.
Описание. Существует множество тестов для проверки на критические нагрузки или стресс-тестирование,
например:
- если работа обьекта происходит в режиме упорядоченного опроса, то обьект тестирования подвергается
в единицу времени гораздо большим входным изменениям, чем при нормальных условиях:
- если работа обьекта происходит по запросам, то число запросов в единицу времени для тестируемого объ
екта увеличивается относительно нормальных условий;
- если обьем базы данных играет важную роль, то этот обьем увеличивается относительно ее объема
при нормальных условиях;
- имеющие решающее влияние устройства настраиваются на свои максимальные скорости или самые ма
лые скорости соответственно;
- для экстремальных тестов все факторы, имеющие решающее влияние, по возможности вводятся одно
временно в граничные условия.
Для указанных выше тестов гложет быть оценено поведение во времени тестируемого объекта. Можно также ис
следовать изменения нагрузки и проверить размер внутренних буферов или динамических переменных, стеков и т. п.
С.5.22 Ограничения на время ответа и объем памяти
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица В.6).
Цель. Обеспечение соответствия системы требованиям к параметрам времени и памяти.
Описание. Спецификация требований к системе и программному обеспечению включает в себя требования
к памяти и времени выполнения системой конкретных функций, возможно, объединенных с ограничениями на ис
пользование общих системных ресурсов.
Данный метод выполняется для определения распределения запросов при средних и наихудших условиях.
Рассматриваемый метод требует оценки используемых ресурсов и затраченного времени каждой функцией систе
мы. Такие оценки могут быть получены различными способами, например, сравнением с существующей системой
или макетированием и дальнейшим сравнением времени реакции с критическими системами.
С.5.23 Анализ влияния
П р и м е ч а н и е — Ссыпка на данный метод/средство приведена в МЭК 61508-3 (таблица А.8).
Цель. Определение влияния, изменяющего или расширяющего программную систему, которому могут под
вергаться также и другие программные модули в данной программной системе, а также другие системы.
Описание. Перед выполнением модификации или расширением программного обеспечения следует опре
делить влияние модификаций или расширений на программное обеспечение, а также определить, на какие про
граммные системы и программные модули это повлияет.
Далее принимается решение о повторной верификации программной системы. Это зависит от числа под
вергнувшихся воздействию программных модулей, их критичности и характера изменений. Возможными реше
ниями могут быть:
- повторная проверка только изменений программного модуля:
- повторная проверка всех подвергнувшихся воздействию программных модулей:
65