24 Kasım 2024
  • İzmir7°C

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

Yazılımda Hatalar Daha Kolay Saptanacak

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

Yorumlar
UYARI: Küfür, hakaret, rencide edici cümleler veya imalar, inançlara saldırı içeren, imla kuralları ile yazılmamış,
Türkçe karakter kullanılmayan ve büyük harflerle yazılmış yorumlar onaylanmamaktadır.