>>Если же компания гарантировала корректнось

Это очень маловероятно. Есть очень небольшое количество программ, где гарантируется корректность их работы. В большинстве своём речь идет, в лучшем случае, о том, что "for the best of our knowledge" (с точки зрения разработчиков, конечно же) программа работает "намана", а тестирование заказчиком не выявило серьёзных проблем. Что обычно также получает своё отражение в лицензиях.

Доказывание корректности работы программы с точки зрения чётко сформулированного ТЗ является своего рода математической теоремой и допускает формальное доказательство. Но (опять же) очень мало кто парится такими доказательствами (тем более, что для этого ещё требуется чётко сформулированное ТЗ, чем обычно парятся ещё меньше :)). Такие случаи можно по пальцам пересчитать. Например библиотеа xcb из состава xorg - для неё доказана формальная корректность ( http://en.wikipedia.org/wiki/XCB ). Но это, повторяю, единичные случаи.

С этой точки зрения эту ситацию можно также рассматривать как юридический казус, когда в судебном порядке доказывается правильность математической теоремы. Типа как в каком-то штате признали считать пи равным 3.1 ровно. Этот случай из того же ряда. Если бы только разработчикам не светили реальные проблемы...

(Reply to this) (Parent) (Thread)

понятно что это практически невероятно. Но если компания не гарантировала корректность - то значит ее гарантировал покупатель этиъ утсройств - полиция. И несёт полную ответственность за все глюки. А то что код открылся тольк осейчас - сокрытие улик :-)

PS: вот интeресно из родственной области, машины-голосовалки:

Cross checking between ... reports has revealed ... that neither ... test lab has performed certain tests, expecting that the test was done by the other.

http://nyvv.org/blog/2007/01/secrets-of-voting-machine-testing.html

(Reply to this) (Parent)