Xanmurad Abdullayev

**Xanmurad Xanbala oğlu Abdullayev** — texnika üzrə fəlsəfə doktoru, AMEA İdarəetmə Sistemləri İnstitutunda.

## Həyatı
Xanmurad Xanbala oğlu Abdullayev 9 mart 1959-cu ildə Hacıqaib, Quba rayonunun anadan olmuşdur.

## Əmək və elmi fəaliyyəti

### Elmi əsərlərin sayı
* Çapdan çıxmış elmi əsərlərinin ümumi sayı: -
* Xaricdə çıxmış elmi əsərlərinin sayı: 12
* Respublikada çıxmış elmi əsərlərinin sayı: 10
* Konfrans məruzələri və tezislər sayı: 6
* Müəlliflik şəhadətnamələrinin və patentlərin sayı: yoxdur

### Əsas elmi nailiyyətləri
# Proqramın idarəetmə qrafı üzərində seçilmiş yolların testləşdirilməsi üçün test nümunlərinin generasiyası üzrə effektiv alqoritmlər hazırlamışdır.
# Proqramların testdən keçirilməsi məqsədilə testlərin generasiyası üçün hazırlanmış məqsədyönlü metod
# Qeyri xətti sistem tənliklərin və bərabərsizliklərin həlli üçün evristik alqoritmlərin hazırlanması
# Proqramın idarəetmə qrafı üzərindəki yolların simvollar üzərində yerinə yetirilməsinin denatasion və operasion semantikalarının yaradılması
# Testləşdirmə sisteminin idarə olunması üçün dilin yaradılması

### Əsas elmi əsərlərinin adları
# "Метод автоматизированной генерации тестовых данных", Рига, Тез. докл. Всесоюзной Конференции "Тестирование, верификация и отладка", Том 1, 1986.
# "Отладка программ путем их целенаправленного тестирования и верификации", Киев, "Проблемы разработки и внедрения программного обеспечения ЭВМ и систем", Киев: ИК АН УССР, 1988.
# "Применение символьного выполнения для обеспечения структурной корректности программ"? Киев, Тез. докл. VIII Всесоюзного семинара Параллельное программирование и высокопроизводительные структуры (Алушта, 26–30 сентября 1988 г.). ИК АН УССР. 1988.
# "ТЕСТОР-ФОРТРАН-система тестирования заранее заданных путей управляющего графа программы", Киев, Журнал УСиМ, № 5, 1990.
# "Комбинированный подход к тестированию программ", Винница, Материалы IIМеждународной Конференции "Интернет-Образование-Наука-2000", Винницкий ГТУ, Винница, 10–12 октября 2000.
# "О безопасности передачи данных в распределенных информационных сетях", Известия НАНА сер. Физ.техн. и мат. наук, т. ХХI, "Информатика и проблемы управления", 2001, № 2, с.21–25.
# "Методы тестирования объектно- ориентированных программ", Баку, Вестник Бакинского Университета, Физико-математические науки, серия № 1, 2002.
# "Автоматизированная генерация тестовых данных для некоторого класса программных единиц", Воронеж, "Прикладные проблемы образовательной деятельности", Межвузовский сборник научных трудов, выпуск 8 — Воронеж: Центрально черноземное книжное издательство, 2002.
# "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.
# "Эвристические алгоритмы целенаправленного поиска тестовых данных для проверки программ", Баку, Труды Республиканской научной конференции "Современные проблемы информатизации, кибернетики и информационных технологий" (Баку, 28–30апреля 2003 года), Том 1, 2003.
# "Эффективные алгоритмы поиска тестовых данных для проверки программ", Воронеж, Сборник трудов по итогам VIII Международной открытой научной конференции "Современные проблемы информатизации в технике и технологиях", выпуск 8, Центрально-Черноземное книжное издательство, Воронеж-2003.
# "Structural Testing Principles of Object-Oriented Programs", Romania, "Advances in Electrical and Computer Engineering", University of Suchava, Vol.3, No.9. 2003.
# "Семантический подход к символьному выполнению путей в С++ программе: денотационная семантика", Воронеж, Международный сборник трудов "Системы управления и информационные технологии", Выпуск 10.-Воронеж: Изд- во "Научная книга", декабрь, 2003.
# "Эффективные алгоритмы поиска тестовых данных для проверки программ", Материалы 8-й Республиканской конференции "Современные проблемы информатизации, техники и технологий", 8 издание, Воронеж, Россия, 2003.
# "Символьное выполнение путей в С++ программах", Воронеж, Сб. трудов "Современные проблемы информатизации в системах моделирования, программирования и телекоммуникациях", Выпуск 9,- Воронеж: Изд-во "Научная книга", 2004.
# "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.
# "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.

## Pedaqoji fəaliyyəti
* 2000-ci ildən 2014-cü ilədək BDU-nun Tətbiqi riyaziyyat fakültəsində mühazirə və məşğələlər aparmışdır.

## Mükafatları

## Kitablar

## Həmçinin bax
* Azərbaycan Milli Elmlər Akademiyası
* AMEA-nın İdarəetmə Sistemləri İnstitutu

## İstinadlar

## Xarici keçidlər
* Аzərbaycan Milli Elmlər Akademiyası
* İdarəetmə Sistemləri İnstitutu