Войти
EiffelStudio - это среда разработки для языка программирования Eiffel разработан и распространяется Eiffel Software.
EiffelStudio включает комбинацию инструментов, интегрированных в единый пользовательский интерфейс: компилятор, интерпретатор, отладчик, браузер, инструмент показателей, профилировщик, диаграмму и инструмент инспектора кода. Пользовательский интерфейс основывается на ряде конкретных парадигм пользовательского интерфейса, в частности, на принципах выбора и отпускания для эффективного просмотра.
EiffelStudio доступен на нескольких платформах, включая Windows, Linux, Mac OS, Solaris, <19.>VMS, RaspberryPi. Источник доступен по GPL ; также доступны другие коммерческие лицензии.
EiffelStudio версии 7.2 с панелями «Редактор», «Функции» и «Диаграммы» EiffelStudio - это разработка с открытым исходным кодом, с регулярно доступной бета-версией следующего выпуска.
Сообщество Eiffel активно участвует в его развитии; его официальный сайт Eiffel.org, где перечислены проекты и ресурсы. База исходного кода обычно доступна для получения через Subversion или Git. Также доступны дискуссионные форумы и тому подобное.
EiffelStudio использует особую технологию компиляции, известную как Melting Ice (заявленная Eiffel Software как торговая марка), которая объединяет собственно компиляцию с интерпретацией элементов, измененных с момента последней компиляции, для очень быстрое выполнение (время перекомпиляции пропорционально размеру изменения, а не размеру всей программы). Хотя такие «расплавленные» программы могут быть доставлены, обычной практикой является выполнение этапа «финализации» перед выпуском. Финализация - это высокооптимизированная форма компиляции, которая занимает больше времени, но генерирует оптимизированные исполняемые файлы.
Интерпретаторная часть EiffelStudio использует ориентированную на байт-код виртуальную машину . Компилятор генерирует либо C, либо .NET CIL (Common Intermediate Language).
Инструмент построения диаграмм EiffelStudio обеспечивает графическое представление структур программного обеспечения. Его можно использовать как в
Инструмент гарантирует целостность изменений выполнен в любом стиле, для полной "инженерной мысли".
Графическое обозначение: BON (нотация бизнес-объекта, см. Библиографию) или UML. BON по умолчанию.
EiffelStudio позволяет отображать множество различных представлений классов и функций: текстовое представление (полный текст программы), представление контракта (только интерфейс, с контракты ), плоское представление (которое включает унаследованные функции), клиенты (все классы и функции, которые используют данный класс или функцию), история наследования (что происходит с функцией вверх и вниз по структуре наследования) и многие другие.
EiffelStudio опирается на исходную парадигму пользовательского интерфейса, основанную на «объектах разработки», «камушках» и «дырах». Точно так же, как объектно-ориентированный в Eiffel работает с объектами во время выполнения, разработчики имеют дело с абстракциями, представляющими классы, функции, точки останова (для отладки), кластеры (группы классов) и другие объекты разработки . . Объект разработки в EiffelStudio может быть выбран (выбран ) везде, где он появляется в интерфейсе, и независимо от его визуального представления (имя объекта, визуальный символ или другое).
Чтобы выбрать объект разработки, достаточно щелкнуть по нему правой кнопкой мыши. Курсор изменится на специальный символ или камешек, соответствующий типу объекта: «пузырь» (эллипс) для класса, точка для точки останова, крестик для объекта и т. Д. При перемещении курсора линия отображается от исходного объекта до текущей позиции. Затем вы можете бросить камешек в любое подходящее место: либо значок, представляющий отверстие той же общей формы (отверстие класса, отверстие точки останова, отверстие элемента и т. Д.), Либо окно с совместимым типом. Эффект падения камешка в инструмент - перенацеливание всего инструмента на объект разработки, который был «выбран». Например, инструмент класса теперь будет отображать выбранный класс в любом выбранном виде (текст, контракт, плоский и т. Д.). Это известно как парадигма «взлома и выбрасывания».
Комбинация нескольких представлений и выбора и удаления позволяет быстро просматривать сложные системы и отслеживать иногда расширенные преобразования, которые функции подвергаются наследованию: переименование, переопределение, отмена определения.
EiffelStudio включает интегрированное средство тестирования под названием EiffelStudio AutoTest [1], с помощью которого разработчики могут создавать простые и сложные модули и комплекты интеграционного тестирования. Возможности EiffelStudio AutoTest позволяют разработчику выполнять и тестировать код класса Eiffel от уровня функций (например, модульное тестирование) до целых систем классов (например, интеграции). Таким образом, выполнение этого кода также выполняет контракты выполняемых функций и атрибутов. Таким образом, EiffelStudio AutoTest - это средство для выполнения «тестов» или допущений Проекта по условиям контракта. Следовательно, модульное и интеграционное тестирование не требует повторного тестирования с помощью утверждений или тестовых оракулов, что уже было закодировано как спецификация в контрактах текста класса.
EiffelStudio AutoTest предоставляет пользователю три метода создания тестовых примеров.
Во-первых, для тестов, созданных вручную, EiffelStudio AutoTest создает тестовый класс, содержащий основу для теста. Пользователь должен предоставить только сам тестовый код.
Во-вторых, EiffelStudio AutoTest предоставляет метод для создания нового теста на основе сбоя приложения во время выполнения. Этот тип теста называется извлеченным. Если во время работы целевой системы происходит непредвиденный сбой, EiffelStudio AutoTest может работать на основе информации, доступной в отладчике, чтобы создать новый тест, который воспроизведет состояние и вызовы, вызвавшие сбой. Как только проблема будет устранена, извлеченный тест можно добавить в набор тестов в качестве защиты от регрессии проблемы.
Третий метод создания тестов производит так называемые сгенерированные тесты. В этом сценарии пользователь предоставляет EiffelStudio AutoTest классы, для которых должны быть созданы тесты, и некоторую дополнительную информацию, используемую для управления генерацией тестов. Затем инструмент начинает вызывать подпрограммы в целевых классах, используя рандомизированные значения аргументов. Для каждого уникального постусловия или нарушения инварианта класса AutoTest EiffelStudio создает один новый тест, воспроизводящий неудачный вызов.
EiffelStudio уходит своими корнями в первую реализацию Eiffel, разработанную Interactive Software Engineering Inc. (предшественница Eiffel Software) в 1986 году. вернуться к «EiffelBench», начатому в 1990 году в связи с разработкой версии языка Eiffel 3 (как описано в Eiffel: The Language, см. библиографию). EiffelBench была переименована в «EiffelStudio» примерно в 2001 году; Это также время, когда среда вышла за рамки своего происхождения из Unix и нацелена на Windows и другие платформы.
Основными выпусками с 2001 г. и некоторыми новыми функциями для каждого из них были:
Анализатор кода (бывший Inspector Eiffel) - это автоматизированная программа Eiffel тестирования программного обеспечения и статического анализа, выпущенная Eiffel Software, Первоначально созданный в результате проекта магистерской диссертации в ETH Zurich.
Анализатор кода - это инструмент статического анализа кода на основе правил, который работает как из встроенного режима в EiffelStudio, так и из командной строки. Он использует абстрактное синтаксическое дерево (AST), созданное компилятором Eiffel, а затем генерирует граф потока управления (CFG), который вычисляется модулем кода в инструменте. Затем CFG и AST посещаются по ряду определенных правил. Нарушения любого правила сообщаются пользователю в виде ошибок, предупреждений или подсказок. Каждое нарушение правила сообщает, какое именно правило было нарушено.
