Bu məqalədəki məlumatların yoxlanıla bilməsi üçün əlavə mənbələrə ehtiyac var.
|
Bu məqaləni vikiləşdirmək lazımdır.
|
Xanmurad Xanbala oğlu Abdullayev — texnika üzrə fəlsəfə doktoru, AMEA .
Xanmurad Abdullayev | |
---|---|
Xanmurad Xanbala oğlu Abdullayev | |
Doğum tarixi | |
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 |
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
İstinadlar
- ↑ . 2022-01-25 tarixində . İstifadə tarixi: 2019-10-02.
- ↑ . 2019-10-03 tarixində . İstifadə tarixi: 2019-10-03.