|
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. == History == 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.〔(On the benefits for Industrials of Sponsoring Free Software Development )〕 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「AdaControl」の詳細全文を読む スポンサード リンク
|