AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its first goal is to control proper usage of style or programming rules, but it can also be used as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. Searched elements range from very simple, like the occurrence of certain entities, declarations, or statements, to very sophisticated, like verifying that certain programming patterns are being obeyed.
The development of AdaControl by Adalog started in 2004, under a contract of Eurocontrol, which developed the CFMU (Central Flow Management Unit), a million+ lines of code program (in Ada) to manage Air Traffic over Europe. Only automated tools could verify compliance of a program of that size to programming standards.
Since Eurocontrol had no interest in commercializing software, it was decided to release AdaControl as free software. This had the benefit of helping the Ada community at large, and at the same time, allowed Eurocontrol to enjoy further improvements made by the community. Later, other companies sponsored further development, creating a virtual consortium effect.[1]
Features
AdaControl applies a set of controls to a set of Ada units. A control is defined by a rule (and possibly a subrule) with appropriate parameters. Controls (as well as various commands used to adjust the behaviour of the program) are provided directly from the command line, from a file, or interactively.
There is a wide range of controls available. As of current version(1.22r16c), there are 591 tests that can be performed by AdaControl. The number increases with each new release.[2]
In addition, AdaControl provides suggestions of fixes for a number of violations. When AdaControl is launched from the GPS environment, the fixes can be performed by clicking on an icon, just like for compiler messages. A companion tool can also apply all suggested fixes automatically.
Adacontrol is written in Ada, using ASIS for syntactic and semantic analysis. This gives the tool the same level of language accuracy as the underlying compiler.
Great care has been taken to make the tool easily extensible by the user.[3]
References
^On the benefits for Industrials of Sponsoring Free Software Development
As of 08 December 2021, this article is derived in whole or in part from Adalog. The copyright holder has licensed the content in a manner that permits reuse under CC BY-SA 3.0 and GFDL. All relevant terms must be followed. The original text was at "AdaControl"
adacontrol, free, gmgpl, tool, that, detects, various, kinds, constructs, programs, first, goal, control, proper, usage, style, programming, rules, also, used, powerful, tool, search, various, forms, programming, styles, design, patterns, searched, elements, r. AdaControl is a free GMGPL tool that detects the use of various kinds of constructs in Ada programs Its first goal is to control proper usage of style or programming rules but it can also be used as a powerful tool to search for use or non use of various forms of programming styles or design patterns Searched elements range from very simple like the occurrence of certain entities declarations or statements to very sophisticated like verifying that certain programming patterns are being obeyed AdaControlDeveloper s AdalogWritten inAda with ASISOperating systemMicrosoft Windows Linux Mac OS XAvailable inEnglishTypeStatic code analysisLicenseGMGPLWebsitewww wbr adalog wbr fr wbr en wbr adacontrol wbr html Contents 1 History 2 Features 3 References 4 External linksHistory EditThe development of AdaControl by Adalog started in 2004 under a contract of Eurocontrol which developed the CFMU Central Flow Management Unit a million lines of code program in Ada to manage Air Traffic over Europe Only automated tools could verify compliance of a program of that size to programming standards Since Eurocontrol had no interest in commercializing software it was decided to release AdaControl as free software This had the benefit of helping the Ada community at large and at the same time allowed Eurocontrol to enjoy further improvements made by the community Later other companies sponsored further development creating a virtual consortium effect 1 Features EditAdaControl applies a set of controls to a set of Ada units A control is defined by a rule and possibly a subrule with appropriate parameters Controls as well as various commands used to adjust the behaviour of the program are provided directly from the command line from a file or interactively There is a wide range of controls available As of current version 1 22r16c there are 591 tests that can be performed by AdaControl The number increases with each new release 2 In addition AdaControl provides suggestions of fixes for a number of violations When AdaControl is launched from the GPS environment the fixes can be performed by clicking on an icon just like for compiler messages A companion tool can also apply all suggested fixes automatically Adacontrol is written in Ada using ASIS for syntactic and semantic analysis This gives the tool the same level of language accuracy as the underlying compiler Great care has been taken to make the tool easily extensible by the user 3 References Edit On the benefits for Industrials of Sponsoring Free Software Development AdaControl User s Guide AdaControl Programmer s Manual As of 08 December 2021 this article is derived in whole or in part fromAdalog The copyright holder has licensed the content in a manner that permits reuse under CC BY SA 3 0 and GFDL All relevant terms must be followed The original text was at AdaControl External links EditOfficial website AdaControl on SourceForge in English Adalog website in French Adalog website Retrieved from https en wikipedia org w index php title AdaControl amp oldid 1059294697, wikipedia, wiki, book, books, library,
