Шаблон:Infobox Software
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.[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
Шаблон:Reflist
Шаблон:Dual
External links
Партнерские ресурсы |
---|
Криптовалюты |
|
---|
Магазины |
|
---|
Хостинг |
|
---|
Разное |
- Викиум - Онлайн-тренажер для мозга
- Like Центр - Центр поддержки и развития предпринимательства.
- Gamersbay - лучший магазин по бустингу для World of Warcraft.
- Ноотропы OmniMind N°1 - Усиливает мозговую активность. Повышает мотивацию. Улучшает память.
- Санкт-Петербургская школа телевидения - это федеральная сеть образовательных центров, которая имеет филиалы в 37 городах России.
- Lingualeo.com — интерактивный онлайн-сервис для изучения и практики английского языка в увлекательной игровой форме.
- Junyschool (Джунискул) – международная школа программирования и дизайна для детей и подростков от 5 до 17 лет, где ученики осваивают компьютерную грамотность, развивают алгоритмическое и креативное мышление, изучают основы программирования и компьютерной графики, создают собственные проекты: игры, сайты, программы, приложения, анимации, 3D-модели, монтируют видео.
- Умназия - Интерактивные онлайн-курсы и тренажеры для развития мышления детей 6-13 лет
- SkillBox - это один из лидеров российского рынка онлайн-образования. Среди партнеров Skillbox ведущий разработчик сервисного дизайна AIC, медиа-компания Yoola, первое и самое крупное русскоязычное аналитическое агентство Tagline, онлайн-школа дизайна и иллюстрации Bang! Bang! Education, оператор PR-рынка PACO, студия рисования Draw&Go, агентство performance-маркетинга Ingate, scrum-студия Sibirix, имидж-лаборатория Персона.
- «Нетология» — это университет по подготовке и дополнительному обучению специалистов в области интернет-маркетинга, управления проектами и продуктами, дизайна, Data Science и разработки. В рамках Нетологии студенты получают ценные теоретические знания от лучших экспертов Рунета, выполняют практические задания на отработку полученных навыков, общаются с экспертами и единомышленниками. Познакомиться со всеми продуктами подробнее можно на сайте https://netology.ru, линейка курсов и профессий постоянно обновляется.
- StudyBay Brazil – это онлайн биржа для португалоговорящих студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт.
- Автор24 — самая большая в России площадка по написанию учебных работ: контрольные и курсовые работы, дипломы, рефераты, решение задач, отчеты по практике, а так же любой другой вид работы. Сервис сотрудничает с более 70 000 авторов. Более 1 000 000 работ уже выполнено.
- StudyBay – это онлайн биржа для англоязычных студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт.
|
---|