Hatasız yazılım üretilebilir mi?

Yazılımların sahip oldukları özelliklerin artması. İsterlerin farklılaşması hatasız yazılımların üretilmesini neredeyse imkansız hale getirmiştir!!!

Teknik bariyerleri kaldıracak imkanı ve zaman sorununu giderebilmek mümkün olsa o zaman
hatasız yazılımlar üretilebilir.
(Sonsuz işlemci gücüne sahip bir bilgisayar & Sonsuz zaman)

Yazılım Hatalarının bulunduğu noktaya göre maliyeti

Erken safhalarda bulunan bir yazılım hatasının birim maliyeti daha az olacaktır.

İsterler                         1$
Tasarım                     10$
Kodlama                 100$
Kullanım              1000$

Yazılımda hata hangi safhalarda daha çok meydana gelir?

Yazılım geliştirilmesi sırasında karşılaşılan hataların çoğu, yazılımların gereksinimlerini yanlış belirlenmesindendir. Aşağıda istatiksel olarak yazılım hatalarının yaşam döngüsü içerisindeki oranları verilmiştir.

1.Tanımlama (~= 55?%)
2.Design (~= 25?%)
3.Code (~= 15%)
4.Other (~= 5%)

Algoritmada Kullanılan Terimler

Tanımlayıcı: Programcı tarafından oluşturulur. Programdaki değişkenleri, sabitleri, kayıt alanlarını, özel bilgi tiplerini vb. adlandırmak için kullanılan kelimelerdir. Tanımlayıcılar, yerini tuttukları ifadelere çağrışım yapacak şekilde seçilmelidir.

1. İngiliz alfabesindeki A-Z veya a-z arasındaki 26 harf ile 0-9 arası rakamlar kullanılabilir. 
2. Sembollerden sadece alt çizgi (_) kullanılabilir. 
3. Tanımlayıcı isimleri harfle veya alt çizgiyle başlayabilir. 
4. Tanımlayıcı ismi, rakamla başlayamaz veya sadece rakamlardan oluşamaz.

Değişken: Programın her çalıştırılmasında, farklı değerler alan bilgi/bellek alanlarıdır. Değişken isimlendirilmeleri, tanımlayıcı kurallarına uygun biçimde yapılmalıdır. Aşağıda çeşitli örnekler verilmiştir.

Dikdörtgenin uzun kenarının aktarıldığı değişken:

• uzun_kenar,
• UzunKenar,
• uzunKenar

Bir öğrenciye ait ismin aktarıldığı değişken:

• isim,
• ogrenci_isim,
• ogrenciIsim

Atama:Değişkenlere değer aktarma işlemidir. Değişkenlere atanan bu değerler daha sonra tekrar kullanılabilirler. Sağdaki Değer sonucu Değişken’e aktarılır. Bu durumda Değişken’in bir önceki değeri varsa silinir.

Sayaç: Bazı işlemlerin belirli sayıda yaptırılması ve üretilen değerlerin sayılması gerekebilir.
Bu tür sayma işlemlerine algoritmada Sayaç adı veriler.Sayaçlar da birer değişkendir.

Sayac=Sayac+1 Bu işlemde Sayac değişkenine 1 eklenmekte ve oluşan sonuç yine kendisine yani Sayac değişkenine aktarılmaktadır.


Döngü: Bir çok programda bazı işlemler, belirli ardışık değerlerle gerçekleştirilmekte veya belirli sayıda yaptırılmaktadır.
Programlardaki belirli işlem bloklarını, verilen sayıda gerçekleştiren işlem akış çevrimlerine “döngü” denir.
Örneğin; 1 ile 1000 arasındaki tek sayıların toplamını hesaplayan programda T=1+3+5 …. yerine 1 ile 1000 arasında ikişer artan bir döngü kurulur ve döngü değişkeni ardışık toplanır.

İşlemler ve Operatörler

İşlemler 3’e ayrılır:
1-Matematiksel İşlemler
    Temel Aritmetik İşlemler: Toplama, çıkarma, çarpma, bölme.
    Matematiksel Fonksiyonlar: Üstel, logaritmik, trigono-metrik, hiperbolik vb.
2-Karşılaştırma İşlemleri
    Değişkenlerin büyük olma, küçük olma ve eşit olma durumlarını kontrol eden işlemlerdir.
3-Mantıksal (Logic) İşlemler
    «Ve, Veya, Değil» operatörleri hem matematiksel işlemlerde hem de karar ifadelerinde kullanılır.
    VE bağlacı ile söylenmek istenen her iki koşulun da sağlanmasıdır. VE bağlacı ile bağlanmış önermelerden en az birinin yanlış olması sonucu yanlış yapar.
    VEYA bağlacı ile bağlanan koşullardan bir tanesinin doğru olması sonucu doğru yapar.
DEĞİL bağlacı; doğruyu yanlış, yanlışı doğru yapar.

Örnek: Yazılım departmanında çalışan erkek personellerden yaşı 30’un üzerinde olanları ekrana yazdır.

Eğer;
------1.Koşul-------          ------2.Koşul----
(perCinsiyet = Erkek) VE   (perYas > 30)       ise ekrana yazdır.

Mantıksal Yapılar

Bir bilgisayar programının geliştirilmesinde kullanılan programlama dili ne olursa olsun bu programların akış şemalarında genel olarak üç basit mantıksal yapı kullanılır.

1.Sıralı Yapı: Sıralı yapı, hazırlanacak programdaki her işlemin mantık sırasına göre nerede yer alması gerektiğini vurgular. Bu yapı sona erinceye kadar ikinci bir işlem başlayamaz.

2.Karar Verme Yapısı: Birden fazla sıralı yapı seçeneğini kapsayan modüllerde, hangi şartlarda hangi sıralı yapının seçileceğini belirler.

3.Tekrarlı Yapı: Algoritma içinde, bazı satırlar tekrarlı şekilde işlem görüyorsa, bir döngü söz konusudur. Döngülere belirli bir koşul geçerli olduğu sürece devam eden eylemleri tanımlamak için başvurulur.

Algoritma Gösterim Şekilleri

1.Düz yazı ile gösterim,
2.Sözde kod (pseudocode) ile gösterim,
3.Akış şeması ile gösterim.


Düz Yazı ile Gösterim: Çözülecek problem, adım adım metin olarak yazılır.
Her satıra numara verilir.  ‘BAŞLA’ ile başlanıp ‘BİTİR’ ile sonlandırılır.

Örnek:
1.BAŞLA
2.Yerinden kalk
3.Yönün tahtaya doğru mu?
    Hayırsa tahtaya dön
    Evetse 4. adıma git
4.Tahtaya doğru yürü
5.Tahtaya geldin mi?
    Hayırsa 4.adıma git
    Evetse 6. adıma git
6.Kalemi al
7.Adını yaz
8.BİTİR

Örneğin amacı, adımların tutarlılığını ve mantıksal sırasını göstermektir.
Burada emirler, belli sorgulamalar yapılarak ve mantıksal bir sıra içinde verilmiştir.
Yerinden kalk emri verilmeden kişiden yürümesi istenemez.
Kalemi almadan adını yaz emrinin verilmesi doğru olmaz.
Sorgulamalarla da işlemi yapıp yapmadığı kontrol edilmiştir.
Aslında bilgisayar bu tür işleri yerine getiremez.
Kullanıcılar bilgisayarlara belli girdiler verir.
Onlar da programcının verdiği adımlara göre bu girdiler üzerinde matematiksel ve mantıksal işlemler yaparak bir çıktı üretirler.


Sözde Kod (Pseudocode) ile Gösterim

Herkesin anlayabileceği ve rahatlıkla bir programlama diline çevrilebilecek basit komutlardan oluşan bir dildir.
Sözde kodun temel işlevi program geliştirmeye geçmeden algoritmayı oluşturmak ve üzerinde tartışabilmektir.
Sözde kodlar, doğrudan konuşma dilinde ve programlama mantığı altında, eğer, iken gibi koşul kelimeleri ve > = < gibi ifadeler ile beraber yazılır.
Programda kullanılacak elemanları temsil etmek üzere uygun isimler veya değişkenler seçilir.
Cebirsel notasyon ve kararlar kullanarak aritmetik işlemler gerçekleştir.

 

Akış Şemaları ile Gösterim

Bir algoritmanın görsel şekiller ve sembollerle ifade edilmiş haline «Akış Şemaları» adı verilir.
Akış şeması sembolleri ANSI (American National Standards Institute) standardı olarak belirlenmiş ve tüm dünyada kullanılmaktadır.
Algoritma doğal dille yazıldığı için herkes tarafından anlaşılamayabilir ya da başka anlamlar çıkarılabilir. Ancak akış çizgelerinde her bir şekil standart bir anlam taşıdığı için farklı yorumlanması mümkün değildir.