Место рождения | Азербайджанская Республика, Губинский район, село Гаджигайыб | |
Дата рождения | 09.03.1959 | |
Высшее учебное заведение | Азербайджанский Государственный Университет им. С.М. Кирова, факультет прикладной математики, специальность математика | |
Научная степень | Доктор философии по технике | |
Научное звание | ||
Тема кандидатской (PhD) диссертации: - название и шифр специальности - название темы | 05.13.01 Системный анализ, управление и обработка информации Тестирование программ по заданным путям управляющего графа | |
Тема докторской диссертации: - название и шифр специальности - название темы | - - | |
Дата избрания членом корреспондентом и название специальности | - | |
Дата избрания Действительным членом и название специальности | - | |
Общее количество опубликованных статей | 18 | |
- Количество зарубежных научных изданий | 12 | |
- Количество отечественных научный изданий | - | |
- Количество участий в конференциях и тезисов | - | |
Количество авторских сертификатов и патентов | - | |
Кадровая подготовка: - число докторов философии - число докторов наук | - - | |
Основные научные достижения | Разработаны эффективные алгоритмы генерации тестовых образцов для проверки выбранных трасс на контрольном графе программы | |
Названия основных научных (макс. 5) | 1. Метод автоматизированной генерации тестовых данных. Рига, Тез. докл. Всесоюзной Конференции «Тестирование, верификация и отладка», Том 1, 1986 2. Отладка программ путем их целенаправленного тестирования и верификации. Киев. Проблемы разработки и внедрения программного обеспечения ЭВМ и систем. Киев: ИК АН УССР, 1988. 3. Применение символьного выполнения для обеспечения структурной корректности программ. Киев, Тез. докл. VIII Всесоюзного семинара Параллельное программирование и высокопроизводительные структуры (Алушта, 26-30 сентября 1988 г.). ИК АН УССР. 1988. 4. ТЕСТОР-ФОРТРАН-система тестирования заранее заданных путей управляющего графа программы. Киев, Журнал УСиМ, №5, 1990. 5. Комбинированный подход к тестированию программ. Винница. Материалы II Международной Конференции «Интернет-Образование-Наука-2000». Винницкий ГТУ, Винница, 10-12 октября 2000. 6. О безопасности передачи данных в распределенных информационных сетях. Известия НАНА сер. Физ.техн. и мат. наук, т.ХХI, «Информатика и проблемы управле-ния», 2001, №2, с.21-25. 7. Методы тестирования объектно- ориентированных программ. Баку. Вестник Бакинского Университета, Физико-математические науки, серия №1, 2002. 8. Автоматизированная генерация тестовых данных для некоторого класса программных единиц. Воронеж, Прикладные проблемы образовательной деятельности. Межвузовский сборник научных трудов, выпуск 8 - Воронеж: Центрально черноземное книжное издательство, 2002. 9. The Object-oriented Testing Strategy in the System TESTER-OOL. Vinnitsia, Ukraine, Proceedings of the Third International Conference Intemet-Education-Science (IES-2002). 8-12 October 2002, Vinnitsia-Ukraine. Vol.2. 10. Эвристические алгоритмы целенаправленного поиска тестовых данных для проверки программ. Баку, Труды Республиканской научной конференции «Современные проблемы информатизации, кибернетики и информационных технологий»(Баку, 28-30апреля 2003 года). Том 1, 2003. 11. Эффективные алгоритмы поиска тестовых данных для проверки программ. Воронеж, Сборник трудов по итогам VIII Международной открытой научной конференции «Современные проблемы информатизации в технике и технологиях», выпуск 8, Центрально-Черноземное книжное издательство. Воронеж-2003. 12. Structural Testing Principles of Object-Oriented Programs. Romania, Advances in Electrical and Computer Engineering. University of Suchava. Vol. 3, No. 9. 2003. 13. Семантический подход к символьному выполнению путей в С++ программе: денотационная семантика. Воронеж. Международный сборник трудов «Системы управления и информационные технологии», Выпуск 10.-Воронеж: Изд- во «Научная книга», декабрь, 2003. 14. Эффективные алгоритмы поиска тестовых данных для проверки программ. Материалы 8-й Республиканской конференции «Современные проблемы информатизации, техники и технологий», 8 издание, Воронеж, Россия, 2003. 15. Символьное выполнение путей в С++ программах. Воронеж, Сб. трудов «Современные проблемы информатизации в системах моделирования, программирования и телекоммуникациях, Выпуск 9.- Воронеж: Изд-во «Научная книга», 2004. 16. Sığortaolunanların fərdi uçot sistemində ikili hesabların müəyyən edilməsi metodu. “AMEA-nın xəbərləri” jurnalı, Fizika-texnika və riyaziyyat elmləri seriyası: İnformatika və idarərtmə, XXXIII cild, No.6, 2013. 17. Müasir informasiya sistemlərinin yaradılması və tətbiqi prosesinin bəzi aspektləri. “AMEA-nın xəbərləri” jurnalı, Fizika-texnika və riyaziyyat elmləri seriyası: İnformatika və idarərtmə, XXXIII cild, No.6, 2013. | |
Членства в научных организациях | - | |
Педагогическая деятельн6ость | Читал лекции и проводил семинары на факультете прикладной математики Бакинского Государственного Университета с 2000 по 2014 г. | |
Другие виды деятельности | Зам.директора по проектам компании SINAM –c 2004 по сегодняшний день | |
Награды и призы | - | |
Место работы и адрес | Институт систем управления НАНА, АЗ1141, Азербайджанская Республика, г. Баку, ул. Б.Вагабзаде, 68 | |
Должность | Старший научный работник | |
Рабочий телефон | (+994 12) 5101100 (131) | |
Мобильный телефон | (+994 50) 2225562 | |
Факс | (+994 12) 4975196 | |
Электронный адрес | [email protected] | |
Веб сайт |
-
06.12.2024
На заседании Диссертационного совета ED 1.20 состоится защита диссертационной работы -
02.12.2024
В декабре 2024 года в Институте систем управления будут проведены экзамены по профильным дисциплинам доктора философии и экзамены по академической разнице -
29.11.2024
Состоится очередное заседание Ученого совета -
28.11.2024
Состоится очередное заседание Ученого совета