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-cı 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.
"Применение символьного выполнения для обеспечения структурной корректности программ"? Киев, Тез. докл.