Software testing is a process used to identify the correctness, completeness and quality of developed computer software. Actually, testing can never establish the correctness of computer software, as this can only be done by formal verification (and only when there is no mistake in the formal verification process). It can only find defects, not prove that there are none.
From : en.wikipedia.org/wiki/Software_testing

Testing Tools
Refers to the variety of automated tools designed to accomplish such objectives as capture/playback, test data generation, change management, date simulation, test planning/management and problem management/tracking.
From : www.olenick.com/html/glossary.html