UNA METODOLOGIA DI TESTING PER IL SOFTWARE DI CONTROLLO DI MOTORI NEL SETTORE AUTOMOBILISTICO