gcov is a test coverage program: it analyzes the execution of a given program on selected tests, to help you determine the portions of the program that are still untested.
gcov is part of the GCC suite, and is described in detail in the GCC User's Guide. You can refer to this documentation for a more complete description.
This chapter provides a quick startup guide, and details some GNAT-specific features.