AdaCore is an international company who produce and support the GNAT Professional family of Ada language tools: software suites comprising compilers, debuggers, and other components.
The company has been in business since 1994 and currently markets its products on platforms such as Windows, UNIX / Linux, and on embedded systems such as Tornado/VxWorks and LynxOS. With one or two major releases of each product annually, the company’s livelihood depends on the quality of the software and its support. In many ways AdaCore faces the same issues as other growing software organizations, and this article is intended as a “case study” showing how a combination of automated tools and human management can help meet the QA challenge.