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

[Tanya]

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

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

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

[CodeWarrior1241]

Как тут жить?

Кроме спецальности по тестированью, есть еще и спецальность по программированю. Если программист опытный, он будет писать structured код, будет пользоватся metrics, requirement lists, etc. Есть tools которые в такой работе помогают, но естессно от ошибок разработчика никто и ничто не может застраховать. На каждый из Ваших "миллионых" failure modes существует достойный тест. А кто тестирует тестера, чем бы он не являлся? Тестер должен быть создан с большей гарантией на работоспособность чем то что он тестирует, и надо на это полагатся...

Tanya, Ваш вопрос сводится к вопросу "как делaть надежный дезайн, и как это проверить". Я уверен что Вы прекрасно знаете что единого ответа на это нет, более того, вы прекрасно знаете что использованье аналоговой техники не гарантирует работоспособность узла или аппарата... Да, ранние пентиумы делили позитивное число на себя и давали результат чуть менше одного, но значит ли это что откалиброванная аналоговая цепь не будет иметь неожидиностей для пользовотелей и разработчиков?

Как говорится, на "идиотский вопрос" даю "идиотский" ответ.

Посмотрите на тысячи примеров, где цифровые узлы cделаны "правельно", и следовали процессу. Сколько всего до сих пор работает... Hubble телескоп сидит в космосе 17 лет, его разберали/собитали три раза, в нем кучя разношерcтного кода от разных модификаций... Большенство из нас автомобилей таких старых не имеем! ВСЕ неполадки которые там были, а их было много, произошли от failure механических и движущихся компонентов, которые имееют ограниченую жизнь. Да, делать его дорого, но когда надо что б работало, надо платить соответственно... Про Советцкие работы я конечно не знаю, но уверен что на форуме есть люди которые могут дать соответсвущие примеры.

Еще вот помню одну сцену из fight club - сидит Tyler на самолете, говорит какой-то черной про свою работу на insurance компанию - if the cost of a recall is more than the cost of litigation, we don't do one. То есть многие разработчики сознательно недотестируют свое производство если затраты на тестированья больше чем судебный процесс и выплата компенсации... Он говорил про автомобильные фирмы. А "Как тут жить?" Жизнь вроде тоже риск...

Блин, ну и нафлудил. Срочно пойду завтракать, а то чего нибудь еще напишу... самому страшно стало!