nefes al! ver! geri bat! verification'a dönüş.

eh, işe nerdeyse hiç ara vermediysem de, bir gevşeme yaşamıştım. o aralıkta kafamı sudan çıkarıp ertelenmiş metinlere, konulara, yazılara, bloglara ve insanlara şöyle bir bakış atıp yeniden işe batma noktasına geldim. yeni dedlaynlar edindim. neyseki gevşek sayılırlar. önümüzdeki iki aylık periyod bir çalışma çılgınlığı olmayacak. insani bir ritmde kalacağım. ama gevşeme lüksüm de yok. validation tamam, sistem pratikte ve benden başka insanlar tarafından sınandı ve işlerliğini gördük. ama şimdi de dibe dalıp verification çamurlarını yeniden eşelemem gerekiyor. prosedürleri tümüyle yenileyince ilk prototipe ait demonstrasyonlar kadük oldu. yeni prosedürlerin doğru çalıştıklarını ve tariflenen görevleri yerine getirdiklerini göstermem gerekiyor. göründüğünden daha zor bir iş aslında. evrimsel algoritmalar açısından, belirli prosedürler tarafından ölçülen zindeliğin süreçte güvenilir biçimde arttığının gösterilmesi yeterli geliyor. bunun için belirli parametre kombinasyonlarında ve bazı deneme senaryoları için algoritmayı 100 kere çalıştırıp ortalama süreç grafiğini plot ediyoruz. ama bu, işlevsel prosedürlerin tariflenen sonuçları fenotip düzeyinde gerçekten üretip üretmediğini göstermeye yetmiyor. onun için iyicene basitleştirilmiş vakalar üzerinden sonuçları görselleştirmeyi düşünüyorum. ama karmaşık durumlar için aynını yapmak imkansız gibi. neyse, yapılacak iş var.