RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2017, том 24, номер 6, страницы 691–703 (Mi mais593)  

Towards measuring the abstractness of state machines based on mutation testing

[К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций]

Thomas Baar

University of Applied Sciences (Hochschule für Technik und Wirtschaft (HTW) Berlin) Wilhelminenhofstrasse 75 A, D-12459, Berlin, Germany

Аннотация: Система обозначений диаграмм состояний (state machines) широко применяется в качестве формального средства описания поведения систем. Обычно для одной и той же программной системы можно создать много разных диаграмм состояний. Некоторые из этих моделей могут оказаться эквивалентными, но во многих случаях разные диаграммы состояний описывают одну и ту же систему на разных уровнях абстракции. В этой статье мы предлагаем подход, позволяющий провести фактическое измерение уровня абстракции диаграмм состояний по отношению к заданной реализации программной системы. Диаграмма состояний считается тем менее абстрактной, чем ближе она концептуально к реализованной системе. Согласно нашему подходу эта отдаленность диаграммы состояний от реализации системы измеряется путем применения критерия покрытия, используемого для тестирования мутации программного обеспечения. Уровень абстракции диаграмм состояний можно рассматривать как новый вид метрики. Что касается других метрик, то знание значения уровня абстракции заданной диаграммы состояний дает возможность оценить ее качество в числовых терминах. В тех проектах по разработке программного обеспечения, которые начинаются с построения модели, метрика абстракции может помочь избежать деградации моделей, поскольку она позволяет измерить фактическое отдаление спецификации поведения системы, представленной в виде диаграммы состояний, от текущей реализации системы. В отличие от прочих метрик для диаграмм состояний уровень абстракции нельзя вычислить статически, основываясь лишь на структуре самой диаграммы; для этого нужно сравнивать выполнения диаграмм состояний и соответствующую реализацию системы. Статья публикуется в авторской редакции.

Ключевые слова: разработка программного обеспечения на основе моделей, метрика, диаграмма состояний, тестирование мутаций.

DOI: https://doi.org/10.18255/1818-1015-2017-6-691-703

Полный текст: PDF файл (677 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 519.686.2
Поступила в редакцию: 30.10.2017
Язык публикации: английский

Образец цитирования: Thomas Baar, “Towards measuring the abstractness of state machines based on mutation testing”, Модел. и анализ информ. систем, 24:6 (2017), 691–703

Цитирование в формате AMSBIB
\RBibitem{Baa17}
\by Thomas~Baar
\paper Towards measuring the abstractness of state machines based on mutation testing
\jour Модел. и анализ информ. систем
\yr 2017
\vol 24
\issue 6
\pages 691--703
\mathnet{http://mi.mathnet.ru/mais593}
\crossref{https://doi.org/10.18255/1818-1015-2017-6-691-703}
\elib{http://elibrary.ru/item.asp?id=30730609}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais593
  • http://mi.mathnet.ru/rus/mais/v24/i6/p691

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:170
    Полный текст:48
    Литература:5
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019