Пошуковий запит: (<.>A=Колчин А$<.>) |
Загальна кількість знайдених документів : 13
Представлено документи з 1 до 13
|
1. |
Колчин А. В. Оптимизация проверки выполнимости переходов при верификации формальных моделей [Електронний ресурс] / А. В. Колчин // Проблеми програмування. - 2012. - № 2-3. - С. 201-210. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_2-3_26
|
2. |
Колчин А. В. Обзор современных систем и методов верификации формальных моделей [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Проблеми програмування. - 2012. - № 4. - С. 75-88. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_4_9 Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
|
3. |
Колчин А. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Проблеми програмування. - 2014. - № 2-3. - С. 146-150. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_19 Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а также гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний.
|
4. |
Богорад В. І. Глибоководний навігаційний ехолот [Електронний ресурс] / В. І. Богорад, А. В. Колчин, П. В. Куроєдов, В. Д. Лихтецький, А. П. Мартинюк, М. П. Терлецький, В. І. Простомолотов, Ю. А. Ромасевич // Гідроакустичний журнал. - 2013. - № 10. - С. 53-59. - Режим доступу: http://nbuv.gov.ua/UJRN/gaj_2013_10_9
|
5. |
Колчин А. В. Прийомний тракт навігаційного ехолота на основі програмованих аналогових структур [Електронний ресурс] / А. В. Колчин, В. Д. Лихтецький, А. П. Мартинюк, В. І. Простомолотов, Ю. А. Ромасевич // Гідроакустичний журнал. - 2013. - № 10. - С. 60-63. - Режим доступу: http://nbuv.gov.ua/UJRN/gaj_2013_10_10
|
6. |
Колчин А. В. Метод генерации тестовых сценариев в среде инсерционного моделирования [Електронний ресурс] / А. В. Колчин, В. П. Котляров, П. Д. Дробинцев // Управляющие системы и машины. - 2012. - № 6. - С. 43-48, 63. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_6 Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем.
|
7. |
Колчин А. В. Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем [Електронний ресурс] / А. В. Колчин // Штучний інтелект. - 2013. - № 4. - С. 113-126. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2013_4_15
|
8. |
Колчин А. В. Автоматический метод динамического построения абстракций состояний формальной модели [Електронний ресурс] / А. В. Колчин // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 70-90. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_8 Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягнуто за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання перевірки властивостей моделі з експоненційної до поліноміальної.
|
9. |
Колчин А. В. Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Штучний інтелект. - 2015. - № 1-2. - С. 127-136. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2015_1-2_17
|
10. |
Губа А. А. Метод извлечения логики поведения из промышленного программного кода на языке Кобол [Електронний ресурс] / А. А. Губа, А. В. Колчин, С. В. Потиенко // Проблеми програмування. - 2016. - № 2-3(спец. вип.). - С. 17-25. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_2-3(spets Цель работы - разработка комплекса инструментальных средств для автоматизации анализа и упрощения понимания поведения кода программных систем. Предложены методы трансляции, абстракции, отладки и построения тестов для языка Кобол. Разработана экспериментальная система, реализующая предложенные методы.
|
11. |
Колчин А. В. Метод генерации тестовых данных по исходному коду Java программ [Електронний ресурс] / А. В. Колчин, С. В. Потиенко // Штучний інтелект. - 2016. - № 3. - С. 50-58. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2016_3_8
|
12. |
Волков В. А. Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ [Електронний ресурс] / В. А. Волков, А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Штучний інтелект. - 2017. - № 2. - С. 71-84. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2017_2_10
|
13. |
Колчин А. В. Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем [Електронний ресурс] / А. В. Колчин, С. В. Потиенко // Штучний інтелект. - 2018. - № 2. - С. 51-58. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2018_2_8
|