A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks