Странный (идиотский) вопрос про контроллеры и измерения, Тестирование программ. Опции

[Tanya]

Вот после обнаружения ошибки в программе возник дурацкий(?) вопрос.
Упрощенная модель.
Пусть мы делаем прибор, например цифровой термометр с медным (платиновым...) датчиком.
Допустим, что используется некоторая аппроксимация (кусочно-линейная, полиномиальная...) не важно какая, важно, что контроллер (или что-либо еще...) вычисляет по программе.
Возникает вопрос - а может в какой-нибудь точке вычисления будут с ошибкой?
А может эта ошибка возникнет только на N-ном измерении.
А может она возникнет, если на входе будет некоторая последовательность?
А может она возникнет на контроллере из другой серии (фабрики)?
А может один из 10 контроллеров с глюком?
Вспомнилось, что вроде Пентиум какой-то был с арифметическим дефектом...
Еще миллион вариантов ошибок.
А если все это управляет чем-то дорогим (поезд, самолет, атомная станция)?
Или на основании этих измерений кого-то могут в тюрьму посадить (например, алкоголь в крови)?
Как тут жить? Будь прибор чисто аналоговым, понятно, как его калибровать и проверять. А тут?

Знаю, что имеет место специальная специальность по тестированию. Но это дорого и долго. Создают специальные программы по выявлению ошибок в программах. А если в программе тестирования ошибки?

Предупреждала, что вопрос идиотский...

[vvs157]

Знаю, что имеет место специальная специальность по тестированию. Но это дорого и долго. Создают специальные программы по выявлению ошибок в программах. А если в программе тестирования ошибки?

Предупреждала, что вопрос идиотский...

Все как всегда сводится к вероятности ошибки и стоимости такой ошибки. Любой механический или электрический (не программный) элемент конструкции может сломаться. При проектироватии критических элементов применяют большой запас прочности и резервирование. Аналогично с программами. При программировании критических важных устройств накладывают определенные органичения на структуру программы и избегают применение потенциально опасных программных конструкций.
Какая вероятность, что микроконтроллер при выполнении инкримента регистра на 1 увеличит его на 2? Эта вероятность не равно нулю, но и в большинстве случаев может не учитываться. А так - дублирование и дополнительная аппаратная защита от опасных состояний.