Интерактивная система для анализа поведения формальных моделей программных систем
Цель работы – разработка инструментальных средств для автоматизации анализа и упрощения понимания поведения формальных моделей. Предложены методы локализации причин нарушения проверяемых свойств и вычленения релевантных элементов на основе аналитического установления фактических информационных связе...
Збережено в:
| Опубліковано в: : | Штучний інтелект |
|---|---|
| Дата: | 2012 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2012
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/57758 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Интерактивная система для анализа поведения формальных моделей программных систем / А.В. Колчин, Р.В. Четвертак // Штучний інтелект. — 2012. — № 4. — С. 330-341. — Бібліогр.: 18 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-57758 |
|---|---|
| record_format |
dspace |
| spelling |
Колчин, А.В. Четвертак, Р.В. 2014-03-14T13:42:21Z 2014-03-14T13:42:21Z 2012 Интерактивная система для анализа поведения формальных моделей программных систем / А.В. Колчин, Р.В. Четвертак // Штучний інтелект. — 2012. — № 4. — С. 330-341. — Бібліогр.: 18 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/57758 004.4'233+004.415.53 Цель работы – разработка инструментальных средств для автоматизации анализа и упрощения понимания поведения формальных моделей. Предложены методы локализации причин нарушения проверяемых свойств и вычленения релевантных элементов на основе аналитического установления фактических информационных связей, а также интерактивные методы декомпозиции сложных для понимания участков функционирования компонент и межкомпонентных взаимодействий. Разработана экспериментальная система, реализующая предложенные методы. Мета роботи – розробка інструментальних засобів для автоматизації аналізу та спрощення розуміння поведінки формальних моделей. Запропоновані методи локалізації причин порушення властивостей та вичленення релевантних елементів на основі аналітичного встановлення фактичних інформаційних зв’язків, а також інтерактивні методи декомпозиції складних для розуміння ділянок функціонування компонент і міжкомпонентних взаємодій. Розроблена експериментальна система, що реалізує запропоновані методи. The purpose of the work is development of methods and tools for automation of analysis and reduction of understanding complexity of the behavior of formal models. The methods for faults localization and relevant elements identification based on analysis of informational dependency are proposed. Also, interactive methods for decomposition of hard-to-understand behavior of intra- and inter-components interactions are described. Prototype of a software tool, which implements the methods, is developed. ru Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Интеллектуальные системы планирования, управления, моделирования и принятия решений Интерактивная система для анализа поведения формальных моделей программных систем Інтерактивна система для аналізу поведінки формальних моделей програмних систем Interactive System for Analysis of Formal Model Behavior Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Интерактивная система для анализа поведения формальных моделей программных систем |
| spellingShingle |
Интерактивная система для анализа поведения формальных моделей программных систем Колчин, А.В. Четвертак, Р.В. Интеллектуальные системы планирования, управления, моделирования и принятия решений |
| title_short |
Интерактивная система для анализа поведения формальных моделей программных систем |
| title_full |
Интерактивная система для анализа поведения формальных моделей программных систем |
| title_fullStr |
Интерактивная система для анализа поведения формальных моделей программных систем |
| title_full_unstemmed |
Интерактивная система для анализа поведения формальных моделей программных систем |
| title_sort |
интерактивная система для анализа поведения формальных моделей программных систем |
| author |
Колчин, А.В. Четвертак, Р.В. |
| author_facet |
Колчин, А.В. Четвертак, Р.В. |
| topic |
Интеллектуальные системы планирования, управления, моделирования и принятия решений |
| topic_facet |
Интеллектуальные системы планирования, управления, моделирования и принятия решений |
| publishDate |
2012 |
| language |
Russian |
| container_title |
Штучний інтелект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Інтерактивна система для аналізу поведінки формальних моделей програмних систем Interactive System for Analysis of Formal Model Behavior |
| description |
Цель работы – разработка инструментальных средств для автоматизации анализа и упрощения понимания поведения формальных моделей. Предложены методы локализации причин нарушения проверяемых свойств и вычленения релевантных элементов на основе аналитического установления фактических информационных связей, а также интерактивные методы декомпозиции сложных для понимания участков функционирования компонент и межкомпонентных взаимодействий. Разработана экспериментальная система, реализующая предложенные методы.
Мета роботи – розробка інструментальних засобів для автоматизації аналізу та спрощення розуміння поведінки формальних моделей. Запропоновані методи локалізації причин порушення властивостей та вичленення релевантних елементів на основі аналітичного встановлення фактичних інформаційних зв’язків, а також інтерактивні методи декомпозиції складних для розуміння ділянок функціонування компонент і міжкомпонентних взаємодій. Розроблена експериментальна система, що реалізує запропоновані методи.
The purpose of the work is development of methods and tools for automation of analysis and reduction of understanding complexity of the behavior of formal models. The methods for faults localization and relevant elements identification based on analysis of informational dependency are proposed. Also, interactive methods for decomposition of hard-to-understand behavior of intra- and inter-components interactions are described. Prototype of a software tool, which implements the methods, is developed.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/57758 |
| citation_txt |
Интерактивная система для анализа поведения формальных моделей программных систем / А.В. Колчин, Р.В. Четвертак // Штучний інтелект. — 2012. — № 4. — С. 330-341. — Бібліогр.: 18 назв. — рос. |
| work_keys_str_mv |
AT kolčinav interaktivnaâsistemadlâanalizapovedeniâformalʹnyhmodeleiprogrammnyhsistem AT četvertakrv interaktivnaâsistemadlâanalizapovedeniâformalʹnyhmodeleiprogrammnyhsistem AT kolčinav ínteraktivnasistemadlâanalízupovedínkiformalʹnihmodeleiprogramnihsistem AT četvertakrv ínteraktivnasistemadlâanalízupovedínkiformalʹnihmodeleiprogramnihsistem AT kolčinav interactivesystemforanalysisofformalmodelbehavior AT četvertakrv interactivesystemforanalysisofformalmodelbehavior |
| first_indexed |
2025-12-07T19:22:06Z |
| last_indexed |
2025-12-07T19:22:06Z |
| _version_ |
1850878540625477632 |