From Specifications to Code Compliance Checkers

Y. Prasanth and S.K. Aggarwal (India)


Code Compliance, Speci cations, Softwaretesting, Software Quality


: Software organizations develop coding standards to improve the quality of the software. The programmers have to write the code such that these standards are not vi olated. Manual checking of these standards can be difficult and time consuming. Hence, tools are used for compliance of code to the standards. The set of restrictions vary from organization to organization, and these change with time within an organization. Therefore, development of code compliance checker must be automated. In this paper, we discuss a generic approach for automating the generation of code compliance checkers and propose a language for spec ifying code compliances. We present the design of a tool for implementing this approach and our experience with C++.

Important Links:

Go Back