On complexity analysis of digital circuit tests