Абдуллаев Ханмурад Ханбала оглы – Институт Систем Управления

ГЛАВНАЯ СТРАНИЦА →Абдуллаев Ханмурад Ханбала оглы

+A -A

Место рождения	Азербайджанская Республика, Губинский район, село Гаджигайыб
Дата рождения	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]
Веб сайт