Цитата:
Сообщение от Программист
А на счет недоверия: Канцеровский участок на Приднепровке: 24 станции, из них 18 на ДЦ круглосуточно. И 90% времени станциями управляет сама система – диспетчер только нитки на графике расставляет и на станции не заходит. Система сама в нужное время готовит маршруты! Участок работает примерно полтора года. Еще вопросы к доверию системы есть?
|
Не умаляя технических достоинств ДЦ "Каскад", тем не менее, по поводу недоверия выскажу следующее:
Приводя в качестве примера Канцеровский участок Вы, только лишь говорите, что данный экземпляр ДЦ на указанном участке железной дороги в течении определенного времени находился в эксплуатации. При этом Вами не приводится никакой информации о результатах полученных во время эксплуатации данного комплекса технических средств. То есть, если подойти формально, то Ваш пример указывает лишь на то, что ДЦ было протестировано на данном участке железной дороги.
В отношении тестирования, позволю себе сослаться на слова глубоко уважаемого мною Эдсгера Дейкстры, который сказал:
"Тестирование программы может весьма эффективно продемонстрировать наличие ошибок, но безнадежно неадекватно для демонстрации их отсутствия."
http://ru.wikiquote.org/wiki/%D0%AD%...82%D1%80%D0%B0
Таким образом сам факт даже безпроблемной эксплуатации ДЦ не может являться гарантией отсутствия каких либо проблем с ее техническими или программными средствами.
То есть ДОВЕРИЕ не может быть основано на результатах тестирования. ДОВЕРИЕ к системе, может быть основано на доказательстве. В нашем случае, наверное, это должно быть доказательством функциональной безопасности системы.
