Test generator for digital schemes based on Atalanta