smoke testing in software engineering with example