Когнітивна архітектура для розуміння програмного забезпечення В. К. 100. 12. 14 (УНТЦ 2014) 10 -11 -15 приймання та оцінка наукової роботи 1
Мета проекту Створення інтелектуального комп’ютерного помічника програміста для виконання робіт по верифікації та тестуванню програмних модулів, розробка прототипу системи, підготовка її до впровадження. 10 -11 -15 приймання та оцінка наукової роботи 2
Основні етапи проекту 1. Розробка мовних засобів інтерфейсного компоненту 2. Розробка алгоритмів системи 3. Розробка прототипів підсистем 4. Розробка алгоритмів та прототипів інтерфейсного компоненту 5. Розробка демонстраційних прикладів 10 -11 -15 приймання та оцінка наукової роботи 3
Основний результат Реалізовано прототип універсального комп'ютерного інтелектуального помічника програмістів для роботи над верифікацією та тестуванням програмних компонентів, які представляють собою мультиагентні розподілені системи. Прототип допускає спілкування на формалізованій природній мові. 10 -11 -15 приймання та оцінка наукової роботи 4
Конкретизація результатів 1. Запропоновано та реалізовано інтелектуальний людино-машинний інтерфейс, який забезпечує розуміння запитів і відповідей на запити природною мовою; 2. Створено інсерційну когнітивну архітектуру ICAR, елементи якої використано в прототипі. 3. Розроблено та досліджено спеціалізацію когнітивної інсерційної машини, що підтримує метод Флойда доведення анотацій програм на природній мові. 10 -11 -15 приймання та оцінка наукової роботи 5
4. Запропоновано набір методів символьного моделювання для розв’язання задач верифікації вимог та генерації тестових сценаріїв, зокрема: - новий предикатний трансформер для локальних описів - метод оперативної побудови точних абстракцій станів формальної моделі для перевірки темпоральних властивостей 5. Запропоновано формальну семантику мови UCM, що базується на інсерційній моделі транзиційних систем у термінах теорії агентів та середовищ. 10 -11 -15 приймання та оцінка наукової роботи 6
6. Створено Алгоритми для інсерційного моделювання формальних UCM моделей 7. Розроблено алгоритми керованого пошуку для породження тестових сценаріїв, що базуються на UCM-картах. - В якості команд керування використовуються регулярні вирази над алфавітом імен переходів моделі, що дозволяє специфікувати тестові критерії. 10 -11 -15 приймання та оцінка наукової роботи 7
Апробація Отримані результати та розроблені програмні засоби були успішно апробовані на реальних прикладах промислових специфікацій, зокрема в телекомунікаційній галузі та комп'ютерних архітектурах. 10 -11 -15 приймання та оцінка наукової роботи 8
Публікації 1. Alexander A. Letichevsky, Theory of interaction, insertion modeling, and cognitive architectures, Biologically Inspired Cognitive Architectures, Volume 8, April 2014, Pages 19 -32 2. А. А. Летичевский. Общая теория взаимодействия и когнитивные архитектуры // XVI Всероссийская научно-техническая конференция с международным участием "Нейроинформатика-2014": Лекции по нейроинформатике. - М. : НИЯУ МИФИ – 2014. - 248 с. С. 12 -45. 3. A. A. Letichevsky, O. A. Letichevsky, V. S. Peschanenko, T. Weigert, New predicate transformer for symbolic modeling, Workshop on verification, testing and symbolic computations, Vienna Summer of Logic, 2014. 4. A. A. Letichevsky, O. O. Letychevskyi, Predicate transformers for local description units, Proceedings of the conference CSIT (Computer Science and Information Technologies) September-October, 2015, Erevan. 5. Alexander Letichevsky, Oleksandr Letychevskyi, Volodymyr Peschanenko, Tomas Weigert, Insertion Modeling and Verification of Large Systems, in Joachim Fisher, Markus Scheidgen, Ina Schieferdecker, Rick Reed (Eds) SDL: 2015 Model-Driven Engineering for Smart Cities, 17 th International SDL Forum, LNCS 9369, pp. 3 -18 10 -11 -15 приймання та оцінка наукової роботи 9
Публікації 6. Generation of Symbolic Traces in the Insertion Modeling System /A. Letichevsky, O. Letychevskiy, V. Peschanenko, A. Guba // Кибернетика и системный анализ. – 2015. – № 1. – С. 7– 19. 7. Колчин А. В. Летичевський О. О. , Потієнко С. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем // Проблеми програмування. – 2014. – № 2– 3. – С. 146– 150. 8. Колчин А. В. , Летичевский А. А. , Потиенко С. В. Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем // Искусственный интеллект. – 2015. – № 4. – 10 С. (в печати) 9. А. А. Летичевский (мл. ) Парадигмы модельного и символьного тестирования программных систем // — Кибернетика и системный анализ. № 5, 2015, С. 31 -45 Підготовлено до захисту дисертаційну роботу A. A. Губа "Інсерційне моделювання та верифікація багатопотокових систем" 10 -11 -15 приймання та оцінка наукової роботи 10
Участь у конференціях 1. O. Letychevskyi “Symbolic Modelling Approach in Verification and Testing” // The 7 -th Conference on Information Technology (ICIT 2015), Праці конференції, Травень 12 -15, 2015, Амман, Іорданія, p. 118"ICT in Education, Research, and Industrial Applications: Integration, Harmonization, and Knowledge Transfer" (4 -7 травня 2015) 2. A. Letichevsky, O. Letychevskyi, V. Peschanenko, “An Interleaving Reduction for Reachability Checking in Symbolic Modeling”, 11 th International Conference on ICT in Education, Research, and Industrial Applications (4 th International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification) 14 -16 травня 2015 3. A. Letichevsky, O. Letychevskyi, V. Peschanenko, T. Weigert «Insertion modeling and symbolic verification of large systems» , SDL forum 2015 (Жовтень 2015) 4. O. Letychevskyi, T. Weigert, “Symbolic White Box Model-Based Testing”, UCAAT 2015 (жовтень 2015) User Conference on Advanced Automated Testing 2015 10 -11 -15 15 -10 -15 приймання та оцінка наукової роботи 11
Висновки 1. Результати роботи можуть бути використані в новому проекті УНТЦ, який готується для представлення в 2016 році. 2. Результати можуть бути використані також для формулювання пропозицій для Європейського проекту по програмі Горизонт 2020. 10 -11 -15 приймання та оцінка наукової роботи 12
Скачать презентацию Когнітивна архітектура для розуміння програмного забезпечення В К
61c76799b4fb17f8157c2aba72b6e97a.ppt