YAZILIMDA HATALAR DAHA KOLAY SAPTANACAK
Ege Üniversitesi Uluslararası Bilgisayar Enstitüsü Konferans Salonu’nda “Generating Runtime Verification Specifications Based on Static Code Analysis Alerts- Statik Kod Analiz Uyarılarına Dayalı Çalışma Zamanı Doğrulama Spesifikasyonları Oluşturma" konul
21 Mart 2017 Salı 10:00
Ege Üniversitesi Uluslararası Bilgisayar Enstitüsü Konferans Salonu’nda “Generating Runtime Verification Specifications Based on Static Code Analysis Alerts- Statik Kod Analiz Uyarılarına Dayalı Çalışma Zamanı Doğrulama Spesifikasyonları Oluşturma" konulu seminer gerçekleştirildi.
Semineri, Özyeğin Üniversitesi Mühendislik Fakültesi Bilgisayar Mühendisliği Bölümü Öğretim Üyesi Doç. Dr. Hasan Sözer verdi.
TÜBİTAK projesi kapsamında yapılan çalışma hakkında bilgiler veren Doç. Dr. Hasan Sözer, projenin amacının yazılımlarda oluşan karmaşık kodlarda meydana gelen hataları Static Code Analizi ile Runtime Verification’ı entegre ederek en aza indirebilmek olduğunu söyledi. Derleyicilerin yapmış olduğu kod inceleme ve hata tespit edebilme işlemini daha ileri götürmeyi planladıklarını söyleyen Doç. Dr. Sözer, “ Kodları geniş şekilde inceleyebilen bu proje çalışma hayatında meydana gelen sıkıntıları da daha aza indirmeyi hedefliyor” dedi.
2013 yılından bu yana bir operatör firmasının yazılım bölümü ile birlikte de bu çalışmayı yürüttüklerini söyleyen Doç. Dr. Sözer, Statik Code Analizinin bir dezavantajı olarak çok fazla hata çıkardığını ve çalışma hayatında hepsini incelemenin mümkün olmadığını dile getirdi. Runtime Verification ile veri toplamanın daha net sonuçlar vereceğini söyleyen Doç. Dr. Sözer, bu yöntemin potansiyel hataları tespit etmek veya hataların bir kısmının yanlış alarmlar olduğunu kanıtlama amacı taşıdığını söyleyerek “Formal dilden uzaklaşıp herkesin yazabileceği tipte kodlar oluşturarak projeler kapsamında kullanılmasını istiyoruz” diye konuştu. / /EGE BASIN GRUBU
GAZETELERİMİZ
GÜNAYDIN EGE GAZETESİ www.gunaydinege.net
BAKIRÇAY GAZETESİ www.bakircay.com
EGE HÂKİMİYET GAZETESİ www.egehakimiyet.com
FOTO HABER GAZETESİ www.fotohaber.com.tr
VAZİYET GAZETESİ www.yenivaziyet.com
YENİ VİZYON GAZETESİ www.yenivizyon.net
ARASTA GAZETESİ www.arastahaber.com
ALİAĞASPOR GAZETESİ www.aliagaspor.com
SAZAN MİZAH GAZETESİ www.yenisazan.com
İNTERNET SİTELERİ İÇİN TIKLAYINIZ
ALİAĞA HABER www.aliagahaber.com
ARASTA HABER www.arastahaber.com
YENİ SAZAN www.yenisazan.com
YENİ VAZİYET www.yenivaziyet.com
YENİVİZYON www.yenivizyon.net
ALİAĞA TARİHİ www.aliagatarihi.com
GÜNAYDIN ALİAĞA www.gunaydinaliaga.com
ALİAĞASPOR www.aliagasport.com
ALİAĞAMIZ www.aliagamiz.com
BAKIRÇAY www.bakircay.com
EGE HÂKİMİYET www.egehakimiyet.com
GÜNAYDIN İZMİR www.gunaydinizmir.com
AZİZ İZMİR www.azizizmir.com
EGE RAPOR www.egerapor.com
EGE İLAN www.egeilan.net
EGE İHALE www.egeihale.com
ALFA TİVİ www.alfativi.com
EGE VİDEO www.egevideo.com
EGEPLAY www.egeplay.com
İzmir, Balçova, Çiğli, Gaziemir, Karşıyaka, Konak, Aliağa, Bayındır, Bergama, Beydağ, Bornova, Buca, Çeşme, Dikili, Foça, Karaburun, Kemalpaşa, Kınık, Kiraz, Menderes, Menemen, Narlıbahçe
Türkçe karakter kullanılmayan ve büyük harflerle yazılmış yorumlar onaylanmamaktadır.