Test and verification