Визуализация данных для анализа программного обеспечения с использованием экспертной системы

В статье предлагается формальная модель для автоматизированного анализа программного обеспечения в процессе отладки и тестирования при помощи экспертной системы. Рассматриваются вопросы интеграции такой модели в экспертную систему поддержки разработчика. Предлагаемая модель позволяет в дальнейшем...

Full description

Saved in:
Bibliographic Details
Date:2009
Main Author: Пригожев, А.С.
Format: Article
Language:Russian
Published: Інститут проблем штучного інтелекту МОН України та НАН України 2009
Subjects:
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/8125
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Визуализация данных для анализа программного обеспечения с использованием экспертной системы / А.С. Пригожев // Штучний інтелект. — 2009. — № 3. — С. 347-351. — Бібліогр.: 5 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Description
Summary:В статье предлагается формальная модель для автоматизированного анализа программного обеспечения в процессе отладки и тестирования при помощи экспертной системы. Рассматриваются вопросы интеграции такой модели в экспертную систему поддержки разработчика. Предлагаемая модель позволяет в дальнейшем разработать формальные правила, позволяющие выявлять наиболее существенные ошибки в функционировании программного обеспечения. У статті запропонована формальна модель для автоматизованого аналізу програмного забезпечення у процесі налагодження та тестування за допомогою експертної системи. Розглядаються питання інтеграції такої моделі в експертну систему підтримки розробника. Запропонована модель дозволяє у подальшому розробити формальні правила, які дозволяють виявляти найбільш суттєві помилки у функціонуванні програмного забезпечення. In the paper the formal model for the software automated analysis during a debugging and testing by means of a consulting program is offered. Problems of model integration in a development engineer support expert system are considered. The offered model allows to develop in the further the formal rules, allowing to reveal the most essential errors in performance of the software.
ISSN:1561-5359