Без заголовка

Если я правильно помню рассказы разных людей в последние годы, то в инженерии худо-бедно задача генерации тестов решается. Начинают с требований, составляют список режимов, в которых должно работать оборудование (включая те, в которых не должно, но может оказаться) и из этого списка формируют список тестовых ситуаций. При этом этот процесс считают полезным совмещать с написанием кода для соответствующей АСУТП. Ибо архитектура этих АСУ такова, что они организованы как раз вокруг этих самых штатных и нештатных режимов. Короче говоря, тестирование робота, видимо, планируется как тестирование управляющей им программы, и в этом смысле мало отличается от пункта 2. Только, разумеется, программист должен не подбирать решение под обстановку, а структурировать свой код вокруг "обнаружения линии", "движения по прямой", и т.п.