Interactive method for cumulative analysis of software formal models behavior
The aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce as a result only one, usually first-found, path per specified property (which...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2018 |
| Автор: | |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут програмних систем НАН України
2018
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/144590 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Interactive method for cumulative analysis of software formal models behavior / A. Kolchin // Проблеми програмування. — 2018. — № 2-3. — С. 115-123. — Бібліогр.: 12 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-144590 |
|---|---|
| record_format |
dspace |
| spelling |
Kolchin, A. 2018-12-30T17:03:05Z 2018-12-30T17:03:05Z 2018 Interactive method for cumulative analysis of software formal models behavior / A. Kolchin // Проблеми програмування. — 2018. — № 2-3. — С. 115-123. — Бібліогр.: 12 назв. — англ. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/144590 004.414.23+004.415.53+004.832.23+ 004.4'233 The aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce as a result only one, usually first-found, path per specified property (which is an evidence of test goal reachability or explanation of some inconsistency during debugging process), the proposed method generates a projection of all satisfiable paths, which provokes exposure of undesired behavior. For test cases generation, the feature plays a role of interactive path constructor, which prompts all satisfiable behavior alternatives, so user can find a desired path by iteratively specifying points-of-interest. Appropriate novel algorithm for efficient searching is presented. Мета методу – спростити та удосконалити процес налагодження моделі та підвищити ефективність генерації тестових сценаріїв. На відзнаку від існуючих методів аналізу поведінки, які у результаті роботи для кожної властивості, що перевіряється, породжують тільки один, часто перший виявлений шлях (у підтвердження досяжності цілі тесту або для пояснення невідповідності при налагодженні), запропонований метод породжує проекцію усіх шляхів, що задовольняють заданої властивості, таким чином сприяючи виявленню небажаного поведінки. Для генерації тестових сценаріїв, метод служить інтерактивним конструктором трас, який показує всі можливі альтернативи поведінки, так що користувач може знаходити бажаний шлях ітеративна задаючи точки зацікавленості. Запропоновано відповідний новий алгоритм для ефективного пошуку. Цель метода – упростить и усовершенствовать процесс отладки модели и повысить эффективность генерации тестовых сценариев. В отличие от существующих методов анализа поведения, которые в результате работы для каждого проверяемого свойства порождают только один, часто первый обнаруженный путь (в подтверждение достижимости цели теста или для объяснения несоответствия при отладке), предложенный метод порождает проекцию всех путей, удовлетворяющих заданному свойству, таким образом способствуя выявлению нежелательного поведения. Для генерации тестовых сценариев, метод служит интерактивным конструктором трасс, который показывает все возможные альтернативы поведения, так что пользователь может находить желаемый путь итеративно задавая интересующие точки. Предложен соответствующий новый алгоритм для эффективного поиска. en Інститут програмних систем НАН України Проблеми програмування Методи та засоби програмної інженерії Interactive method for cumulative analysis of software formal models behavior Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Interactive method for cumulative analysis of software formal models behavior |
| spellingShingle |
Interactive method for cumulative analysis of software formal models behavior Kolchin, A. Методи та засоби програмної інженерії |
| title_short |
Interactive method for cumulative analysis of software formal models behavior |
| title_full |
Interactive method for cumulative analysis of software formal models behavior |
| title_fullStr |
Interactive method for cumulative analysis of software formal models behavior |
| title_full_unstemmed |
Interactive method for cumulative analysis of software formal models behavior |
| title_sort |
interactive method for cumulative analysis of software formal models behavior |
| author |
Kolchin, A. |
| author_facet |
Kolchin, A. |
| topic |
Методи та засоби програмної інженерії |
| topic_facet |
Методи та засоби програмної інженерії |
| publishDate |
2018 |
| language |
English |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| description |
The aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce as a result only one, usually first-found, path per specified property (which is an evidence of test goal reachability or explanation of some inconsistency during debugging process), the proposed method generates a projection of all satisfiable paths, which provokes exposure of undesired behavior. For test cases generation, the feature plays a role of interactive path constructor, which prompts all satisfiable behavior alternatives, so user can find a desired path by iteratively specifying points-of-interest. Appropriate novel algorithm for efficient searching is presented.
Мета методу – спростити та удосконалити процес налагодження моделі та підвищити ефективність генерації тестових сценаріїв. На відзнаку від існуючих методів аналізу поведінки, які у результаті роботи для кожної властивості, що перевіряється, породжують тільки один, часто перший виявлений шлях (у підтвердження досяжності цілі тесту або для пояснення невідповідності при налагодженні), запропонований метод породжує проекцію усіх шляхів, що задовольняють заданої властивості, таким чином сприяючи виявленню небажаного поведінки. Для генерації тестових сценаріїв, метод служить інтерактивним конструктором трас, який показує всі можливі альтернативи поведінки, так що користувач може знаходити бажаний шлях ітеративна задаючи точки зацікавленості. Запропоновано відповідний новий алгоритм для ефективного пошуку.
Цель метода – упростить и усовершенствовать процесс отладки модели и повысить эффективность генерации тестовых сценариев. В отличие от существующих методов анализа поведения, которые в результате работы для каждого проверяемого свойства порождают только один, часто первый обнаруженный путь (в подтверждение достижимости цели теста или для объяснения несоответствия при отладке), предложенный метод порождает проекцию всех путей, удовлетворяющих заданному свойству, таким образом способствуя выявлению нежелательного поведения. Для генерации тестовых сценариев, метод служит интерактивным конструктором трасс, который показывает все возможные альтернативы поведения, так что пользователь может находить желаемый путь итеративно задавая интересующие точки. Предложен соответствующий новый алгоритм для эффективного поиска.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/144590 |
| citation_txt |
Interactive method for cumulative analysis of software formal models behavior / A. Kolchin // Проблеми програмування. — 2018. — № 2-3. — С. 115-123. — Бібліогр.: 12 назв. — англ. |
| work_keys_str_mv |
AT kolchina interactivemethodforcumulativeanalysisofsoftwareformalmodelsbehavior |
| first_indexed |
2025-12-07T20:48:17Z |
| last_indexed |
2025-12-07T20:48:17Z |
| _version_ |
1850883961957384192 |