ADA, software engineering, software tools, programming style this research will address some key technical problems that will need to be resolved before proceeding with the development of a comprehensive and flexible set of ada program quality enhancing tools, the ada quality toolset (aqt). These tools will support ada system developers by checking, and where appropriate enforcing, a set of ada programming style guidelines. Specific toolsets will be configured from a collection of general purpose tool components, customized to the precise needs of a project or a developer's role within a project, and applied by developers during system development. The specific technical problems that will be resolved by this research include: identification of guideline-defined ada program properties which can be checked automatically. Feasibility of checking high-level semantic properties of ada programs. Identification and outline specification of the general purpose components which will be instantiated and configured into specific toolsets. Definition of a software architecture that supports component instantiation and configuration, and toolset customization and application. Successful conclusion of the research will indicate the feasibility of proceeding with the development of aqt and provide the technical basis for that development.
