Test strutturale di programmi procedurali e orientati agli oggetti, sequenziali e concorrenti