Lab 2 for the course software testing and quality assurance at HIT