Yazılım testleri hataların varlığını gösterebilir ancak yokluğunu asla gösteremez: Bilgisayar bilimi öncüsü Edsger Dijkstra'nın bu görüşü onlarca yıllıktır ve yine de her zamankinden daha günceldir. Giesecke+Devrient'in baş müjdecisi ve iSAQB ileri modülü “Formal Yöntemler”in editörü Dr. Lars Hupel, yazılım geliştirmede matematiksel temelli tekniklerin daha fazla kullanılmasını savunuyor.
Duyurudan sonra devamını okuyun
Biçimsel yöntemler, yazılım veya donanımın doğruluğunu sağlamak için matematiksel kanıtları kullanır. Bu, her uygulamayı tam olarak test etmekle ilgili değildir. Bunun yerine, geliştiricilerin öncelikle bir sistemin kritik alanlarını tanımlaması gerekir. Bir bankacılık uygulaması ara sıra meydana gelen çökmeleri tolere edebilir ancak işlemleri asla kaybetmemeli veya çoğaltmamalıdır.
Bu tür yöntemler günlük yazılım mimarisinde nasıl bir rol oynuyor ve bunlar nasıl karlı bir şekilde kullanılabilir? Software-architektur.tv'nin bu bölümünde Eberhard Wolff ve Lars Hupel bundan bahsediyor.
Lars Hupel ayrıca 16 ve 17 Haziran 2026 tarihlerinde Münih'te düzenlenecek iSAQB Yazılım Mimarisi Forumu'nda bu konu hakkında konuşacak. İlgilenenler %15 indirim için SATV15SAF kodunu kullanabilirler.
27 Nisan'da canlı yayın
Yayın 27 Nisan 2026 Pazartesi günü saat 16.00'dan itibaren canlı olarak gerçekleşecektir. Bölüm daha sonra kayıt olarak mevcuttur. Canlı yayın sırasında ilgilenen taraflar Twitch Chat, YouTube Chat aracılığıyla veya video yayını sayfasındaki formu kullanarak anonim olarak sorularını iletebilirler.
Duyurudan sonra devamını okuyun
Software-architektur.tv, iX blog yazarı ve SWAGLab'da Mimarlık Başkanı olarak çalışan tanınmış yazılım mimarı Eberhard Wolff'un hazırladığı bir video yayınıdır. Ekipte ayrıca Lisa Maria Schäfer (Socreatory) ve Ralf D. Müller (DB Systel) yer alıyor. Haziran 2020'den bu yana, yazılım mimarisinin farklı alanlarını aydınlatan 250'den fazla bölüm oluşturuldu; bazen konuklarla, bazen Wolff, Schäfer veya Müller ile tek başına. Haberler Developer, bölümleri iki yıldan fazla bir süredir rapor ediyor.
(harita)
Bir yanıt yazın