ПО - частность. Для автоматизации изменено многое. И в поездах и в
оснащении пути. Там подрядчиков море. Так что считай что сам
метрополитен и был разработчик... Если только не был какой-то условный сименс приведён для курирования всех этих работ.
По поводу проверки под ряду боле полных цитат Ликсутова исчерпывающе сказано как тестировали.