Средства поддержки программного обеспечения в автономном режиме (software off-line support tool) – программное средство, поддерживающее этап разработки жизненного цикла программного обеспечения, которое не имеет непосредственного доступа к системе, связанной с безопасностью, в процессе ее функционирования. Средства поддержки программного обеспечения в автономном режиме можно разделить на следующие классы:
— класс Т1 — не генерирует программ, которые явно или неявно включаются в рабочую программу (включая данные) системы, связанной с безопасностью.
Примечание. Примерами класса Т1 являются: текстовый редактор или средства поддержки проектирования, написанные не на автокоде;
— класс Т2 — включает в себя средства тестирования или верификации проекта либо рабочей программы, причем такие, ошибки в которых могут привести к сбою при обнаружении ошибок в рабочей программе, но эти средства не могут создавать ошибки в самой рабочей программе.
Примечание. Примерами класса Т2 являются: генератор тестовых программ, средства измерения тестового охвата, средства статического анализа;
— класс Т3 — генерирует программы, которые явно или неявно включаются в рабочую программу системы, связанной с безопасностью.
Примечание. Примерами класса Т3 являются: оптимизирующий компилятор, связь между исходным кодом программы и сгенерированным объектным кодом которого не очевидна, компилятор, который включает исполнимый пакет программ в рабочую программу.
[ГОСТ Р МЭК 61508-4-2012. Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4.Термины и определения]