@HustleCoder

Есть ли стандарты верификации алгоритмов и ПО в промышленности?

Пример утрирован, привожу чисто для наглядности вопроса. Допустим, есть автоматизированный комплекс, контролирующий качество листов металла, которые, пойдут на обшивку самолетов. Степень ответственности очень высокая, пропуск дефектного листа может привести к авиакатастрофе. Отсюда большие требования к работе комплекса, он никак не должен пропустить брак. Все компоненты (датчики и т. п.) должны быть проверены и откалиброваны. Но помимо аппаратной части, есть еще и ПО, которое обрабатывает все входящие данные, и выдает результат. Соответственно, сам вопрос - как производится верификация ПО и алгоритмов в подобных ситуациях? Есть ли какие-то стандартизированные методики проверки корректности, ГОСТы и т. д. ?
  • Вопрос задан
  • 214 просмотров
Пригласить эксперта
Ответы на вопрос 3
longclaps
@longclaps
Здравствуй, Evgeny. Ты землянин или прилетел откуда? Здешние-то жители знают четко: нет бога, кроме бога тестирования. А верификация - от лукавого.
Мы, кстати, посылали к вам корабль, оттестированный по самое нехочу.
Ответ написан
hint000
@hint000
у админа три руки
https://ru.wikipedia.org/wiki/Статический_анализ_кода
На Хабре про это пишут вот эти чуваки: https://habr.com/ru/company/pvs-studio/
Но это ни разу не стандарт, конечно.
Ответ написан
@vvvvvvv
Конечно есть, Петух например. Только это очень непростой процесс, мало кто может себе позволить нанимать специалистов подобного уровня и тратить так много времени.
Ответ написан
Ваш ответ на вопрос

Войдите, чтобы написать ответ

Войти через центр авторизации
Похожие вопросы