ASIS: открытый интерфейс для статического анализа программ на Ada. Доступ к библиотекам, инструментам CASE и разработке ПО. Стандарт ISO/IEC 8652:1995.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Интерфейс
Interface
Спецификация семантического интерфейса Ada (ASIS) — это многоуровневая открытая архитектура, обеспечивающая независимый от поставщика доступ к среде библиотеки Ada. Она позволяет проводить статический анализ программ и библиотек Ada. Это открытая, опубликованная библиотека интерфейсов, состоящая из среды Ada, её инструментов и приложений. Как объясняет рабочая группа ASIS:
The Ada Semantic Interface Specification (ASIS) is a layered, open architecture providing vendor independent access to the Ada Library Environment. It allows for the static analysis of Ada programs and libraries. It is an open, published interface library that consists of the Ada environment and their tools and applications. As explained by the ASIS Working Group:
«ASIS — это интерфейс между средой Ada, определённой в ISO/IEC 8652:1995 (Руководство по языку Ada), и любым инструментом, которому требуется информация из этой среды» (SIGAda, 2020).
“ASIS is an interface between an Ada environment as defined by ISO/IEC 8652:1995 (the Ada Reference Manual) and any tool requiring information from this environment” (SIGAda, 2020)
ASIS используется исключительно для приложений, связанных с языком программирования, и статического анализа программ Ada, предоставляя, таким образом, соответствующую информацию и доступ к системам автоматизированного проектирования (CASE) и разработчикам. ASIS также позволяет использовать соответствующие инструменты разработки программного обеспечения, упрощая понимание сложности среды Ada. Кроме того, он предоставляет процедуры, функции и соответствующую информацию, которые можно эффективно использовать для доступа к эксклюзивным данным, содержащимся в справочных руководствах и абстрактном синтаксическом дереве (AST). Это, в свою очередь, повышает переносимость ASIS, позволяя транспортировать и сохранять информацию и терминологию инструментов Ada. «ASIS состоит из 21 пакета, 2 из которых являются необязательными, и в этих пакетах определено 349 запросов». ASIS также будет включать пакет, содержащий дочерние пакеты, такие как «Единицы компиляции с ошибками, среды Ada, реализация, исключения, элементы, итераторы, объявления, выражения, пункты, определения, операторы, текст и идентификаторы». В целом, ASIS — это простой способ сбора данных из программы на Ada и повышения переносимости инструментов Ada.
It is exclusively used for programming language applications and static analysis on Ada programs, therefore giving the relevant information and access to Computer aided software engineering (CASE) and applicable developers. ASIS also has the ability in utilizing the relevant software engineering tools whilst also embodying an easy understanding of the complexities of an Ada environment display. In addition, it provides procedures, functions and relevant information that can be significantly used to access exclusive information found in reference manuals and the Abstract Syntax Tree (AST). Which in return will advance ASIS to the capability of being portable to transport and retain information and terminology of Ada tools. “ASIS consists of 21 packages, 2 are optional and within these packages define 349 queries”. ASIS will also consist of a package which within it includes child packages that include “Errors Compilation units, Ada environments, implementation, exceptions, elements, iterator, declarations, expressions, clauses, definitions, statements, text and Ids”. Overall ASIS is simply a straightforward way to collect data from an ADA program and increases any of the Ada tools portability.
Особенности ASIS
Спецификация семантических интерфейсов Ada, определяемая в соответствии со справочным руководством ISO/IEC 8652 Ada 95 (Ada Language Referencing Manual, 1994), представляет собой интерфейс между средой Aria и другими инструментами, которым требуется информация из среды Aria. Инструменты, основанные на ASIS, могут обладать следующими характеристиками: Хотя в работе задействованы и другие типы абстракций, вышеупомянутые три являются фундаментальными. Контекст. Абстракция "Контекст" в ASIS состоит из определений, терминов и условий, доступных в запросах ASIS. Она также используется как способ и логический идентификатор для среды Ada.
Ada Semantic Interphase Specification under the ISO/IEC 8652 Ada 95 Reference Manual (Ada Language Referencing Manual, 1994) is defined as an interface amidst an Aria environment and other tools requiring information from the Aria environment. Features of ASIS based tools could include: While there are additional types of abstractions also involved but the 3 mentioned are the fundamentals. ContextThe Context abstraction of ASIS consists of the definitions, terms and conditions that are available in ASIS enquiries. It is also used as a way and logical handle for the Ada environment.
1. Широкое признание
Он должен быть разработан в соответствии с этим критерием, чтобы можно было использовать широкий спектр инструментов для ASIS. Такой подход позволяет сделать библиотеку интерфейсов более гибкой и доступной для инструментов на других платформах и в реализациях различных поставщиков Ada. Это также сокращает время обучения пользователей и разработчиков инструментов.
It must be designed according to this criterion so that a wide variety of tools can be used for ASIS. Designing it with this allows the interface library to be more flexible and available for tools across other platforms, Ada vendor implementations. It also allows for it to reduce training time for tool users and developers.
2. Транспортируемость
ASIS также должна быть спроектирована с возможностью переноса с одного компьютера на другой или из одной среды в другую.
ASIS must also be designed so it has the capability to be transferred from one computer to another computer or another environment to another.
3. Однородность и сплоченность
Она должна быть согласованной в отношении свойств, понятий, типов и операций, а также оставаться простой и понятной операцией.
It should also be consistent in properties, concepts, types and operations but also be kept as a simple and coherent operation.
4. Возможность реализации
ASIS также подвергается критике за то, что его реализация не должна требовать значительных усилий от любого поставщика компилятора Ada.
ASIS is also criticised so that it is "implementable by any Ada Compiler Vendor with a reasonable effort".
7. Терминология и стиль Ада
ASIS также должна соответствовать стилю, условиям и определениям, изложенным в Справочном руководстве по Ada.
ASIS should also adapt to the terms and conditions of style and definitions to the Ada Reference Manual.
AdaControl
AdaControl — это бесплатный инструмент (лицензия GMGPL), который обнаруживает использование различных видов конструкций в программах на Ada. Он может использоваться для проверки соответствия стандартам кодирования, анализа использования возможностей Ada, сбора статистики и многого другого. AdaControl использует всю мощь ASIS и может считаться наиболее типичным приложением для ASIS.
AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its uses include checking of coding standards, exploring the use of Ada features, making statistics, and more. It exploits all the power of ASIS, and can be considered as the most typical ASIS application.