Abstract
Most companies have developed coding standards (often because having one is a requirement for certification), but few have conducted a real analysis of the value, consistency, and efficiency of the coding standard. This tutorial presents the challenges of establishing a coding standard, not just for the sake of having one, but with the goal of actually improving the quality of software. This implies not only having "good" rules, but also having rules that are understood, accepted, and adhered to by the programming team. The issues of automatically checking the rules is also fundamental: experience shows that no manual checking can cover the programming rules to a satisfactory extent. The tutorial presents the tools available, then goes into deeper details using AdaControl, a free rules checking tool.
Index Terms
Designing and checking coding standards for ada
Recommendations
Designing and checking coding standards for ada
SIGAda '11: Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming languageMost companies have developed coding standards (often because having one is a requirement for certification), but few have conducted a real analysis of the value, consistency, and efficiency of the coding standard. This tutorial presents the challenges ...
Checking Compliance to Coding Standards for x86 Executables
UIC-ATC '10: Proceedings of the 2010 Symposia and Workshops on Ubiquitous, Autonomic and Trusted ComputingCOTS component evaluation is one of the most important steps in component-based development. Enforcing the coding standard within the coding phase is one important aspect for the quality of safety-critical software. This paper addresses the problem of ...
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan
HILT '12: Proceedings of the 2012 ACM conference on High integrity language technologyThis tutorial presents a new approach to Spark/Ada contract checking using Bakar Kiasan--a highly automated, evidence-based symbolic execution tool. Bakar Kiasan aims to lower the barrier of entry and reduce the burden of engineers as they specify and ...







Comments