Yazılım Testlerine Göre Geliştirme Süreci ve Mimari Açıklama

Bu çalışma yazılım geliştirme sürecinin farklı aşamalarında kullanılabilen ve kullanılması önerilen birçok test etme tekniğini açıklamaktadır. Söz konusu süreç yaygınlıkla kullanılan (örneğin Tümleşik Süreç, Atik Yazılım Geliştirme Süreci) herhangi bir süreç olabilir fakat test tanımları için V-modeli temel alınmıştır. Birim ve entegrasyon testleri gibi testler, tamamlanmış yazılım seviyesine göre tanımlanmıştır. Geleneksel yazılım test etme teknikleri açıklanmış ve sistem seviyesinde uygulanabilecek biçimsel bir teknik tanıtılmıştır. Bu teknik geliştirilmekte olan yazılımın resmi mimari gösterimine bağlı olarak testlerin tanımlanması için kullanılmaktadır. Mimari gösterim, sistemin yüksel seviyedeki görünümünü resmi, matematiksel bir şekilde verdiği için testleri tanımlayacak otomatik bir programın yapımına da uygundur.