Xanmurad Abdullayev

Bu məqalədəki məlumatların yoxlanıla bilməsi üçün əlavə mənbələrə ehtiyac var. Lütfən, məqaləyə etibarlı mənbələr əlavə edərək onu təkmilləşdirməyə kömək edin. Mənbəsiz məzmun problemlər yarada və silinə bilər. Problemlər həll edilməmiş şablonu məqalədən çıxarmayın. Daha ətraflı məlumat və ya məqalədəki problemlərlə bağlı müzakirə aparmaq üçün məqalənin müzakirə səhifəsinə diqqət yetirə bilərsiniz.

Bu məqaləni vikiləşdirmək lazımdır. Lütfən, məqaləni ümumvikipediya və redaktə qaydalarına uyğun şəkildə tərtib edin.

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

Xanmurad Abdullayev
Xanmurad Xanbala oğlu Abdullayev
Doğum tarixi	9 mart 1959 (65 yaş)
Doğum yeri	Hacıqaib, Quba rayonu, Azərbaycan SSR, SSRİ
Vətəndaşlığı	SSRİ→ Azərbaycan
Milliyyəti	azərbaycanlı
Elm sahəsi	riyaziyyat
Elmi dərəcəsi	texnika üzrə fəlsəfə doktoru
İş yeri	AMEA İdarəetmə Sistemləri İnstitutu
Təhsili	Bakı Dövlət Universiteti

Xanmurad Xanbala oğlu Abdullayev 9 mart 1959-cu ildə Hacıqaib, Quba rayonunun anadan olmuşdur.^[2]

• Ç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

1. 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.^[1]
2. Proqramların testdən keçirilməsi məqsədilə testlərin generasiyası üçün hazırlanmış məqsədyönlü metod^[2]
3. Qeyri xətti sistem tənliklərin və bərabərsizliklərin həlli üçün evristik alqoritmlərin hazırlanması
4. Proqramın idarəetmə qrafı üzərindəki yolların simvollar üzərində yerinə yetirilməsinin denatasion və operasion semantikalarının yaradılması
5. Testləşdirmə sisteminin idarə olunması üçün dilin yaradılması

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.

• 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.^[2]

• Azərbaycan Milli Elmlər Akademiyası
• AMEA-nın İdarəetmə Sistemləri İnstitutu

• Аzərbaycan Milli Elmlər Akademiyası
• İdarəetmə Sistemləri İnstitutu