ГОСТ Р МЭК 61508-7—2007
Литература:
Software Testing via Environmental Simulation (CONTESSE Report). Available until December 1998 from: Ray
Browne. CIID. DTI. 151 Buckingham Palace Road. London. SW1W 9SS. UK. 1994.
C.5.19 Требования к реализации
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица В.6).
Цель: установление демонстрируемых требований к функционированию системы программных средств.
Описание: выполняется анализ как системы, так и спецификаций требований программного обеспечения с
целью спецификации всех общих и конкретных, явных и неявных требований к функционированию.
Каждое требование к функционированию анализируется по очереди для того, чтобы определить:
- критерии успешности результата, который следует получить;
- возможность получения меры критерия успешности;
- потенциальную точность таких результатов измерения;
- этапы проектирования, на которых эти результаты измерения могут быть оценены и
- этапы проектирования, на которых могут быть получены эти результаты измерений.
Затем анализируется целесообразность каждого требования к функционированию для получения списка
требований кфункционированию, критериев успешности результата и возможных результатов измерений. Основ
ными целями являются:
- связь каждого требования к функционированию, по крайней мере, с одной мерой;
- выбор (где это возможно) точных и эффективных мер. которые могут быть использованы на самых ранних
стадиях разработки;
- спецификация важных и факультативных требований к функционированию и критериев успешности ре
зультата;
- использование (по возможности) преимуществ применения одной меры для нескольких требований к
функционированию.
С.5.20 Моделирование реализации
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблицы А.5. В.2 и В.5).
Цель: достаточная для удовлетворения специфицированных требований рабочая производительность си
стемы.
Описание: спецификация требований включает в себя требования к пропускной способности и реакции
конкретных функций, возможно, объединенных с ограничениями на использование общих системных ресурсов.
Предложенный проект системы сравнивается с установленными требованиями путем:
- создания модели процессов системы и их взаимодействий;
- определения, используемых каждым процессом, ресурсов (время процессора, полоса пропускания кана
ла связи, объем памяти и т. п.);
- определения распределения запросов, выдаваемых системе при средних и наихудших условиях:
- вычисления средних и наихудших случаев значений величин пропускной способности и времени ответа
для конкретных функций системы.
Для простых систем может оказаться достаточным аналитическое решение, тогда как для более сложных
систем более подходящей для получения точных результатов является создание модели системы.
Перед детальным моделированием гложет быть использована более простая проверка «бюджета ресур
сов». которая суммирует требованияк ресурсам всех процессов. Если сумма этих требований ксистеме превыша
ет возможности спроектированной системы, проект считается нереализуемым. Даже в случае, если проект прохо
дит эту простую проверку, моделирование выполнения гложет показать, что слишком большие задержки и
време на ответов происходят из-за недостатка ресурсов. Для исключения такой ситуации инженеры часто
проектируют системы, использующие только часть (например 50 %) общих ресурсов для уменьшения
вероятности нехватки ресурсов.
Литература:
The Design of Real-time Systems: From Specification to Implementation and Verification. H. Kopetz el al. Software
Engineering Journal 72 — 82. 1991.
C.5.21 Проверка на критические и напряженные нагрузки
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица В.6).
Цель: подвергнуть тестируемый объект исключительно высокой нагрузке, чтобы показать, что тестируемый
объект будет лето выдерживать нормальную рабочую нагрузку.
Описание: существует множество тестов для проверки на критические и напряженные нагрузки, например:
- если работа объекта происходит в режиме упорядоченного опроса, то объект тестирования подвергается
в единицу времени гораздо большим входным изменениям, чем при нормальных условиях;
- если работа обьекта происходит по запросам, то число запросов в единицу времени для тестируемого
объекта увеличивается относительно нормальных условий:
57