Parasoft Insure++
Parasoft Insure++ ile Bulunması zor C/C++ Hatalarını Otomatik Olarak Bulmak
C ve C++ geliştiricilerinin sahip olduğu önemli bir sorun vardır: Bir çok hata test sırasında kendilerini ortaya çıkartmaz. Bellek bozulması gibi zor farkedilen sorunları olan yazılımlar bir makinada sorunsuz çalışabilirken, bir başkasında çökebilir. Böyle sorunları ürün piyasaya çıkmadan önce bulup onarmada geliştiricilere yardım etmek için Parasoft, Parasoft Insure++’ı tasarlamıştır.
Parasoft Insure,++ bellek bozulması, bellek sızıntıları, bellek atama hataları, değişken başlangıç hataları, değişken tanımlama uyumsuzlukları, pointer hataları, library hataları, I/O hataları ve mantık hataları gibi bulunması zor hataları ortaya çıkaran otomatikleştirilmiş runtime uygulaması test etme aracıdır. Bir buton kliği ile veya basit bir komutla, Insure++ kodunuzdaki kusurları otomatik olarak açığa çıkartır. Bu da haftalardır teşhis etmeye çalıştığımız alışık olmadığımız sorunun kaynağını teşhis etmede bize yardımcı olur hemde sizi önceden farkında olmadığınız sorunlar için uyarır. Insure++ diğer araçların bulamadığı çoğu hatayı ortaya çıkartır, çünkü Insure++’ın patentli teknolojileri, test altındaki en derin kodu anlamayı başarır ve çok zor bulunan sorunları bile ortaya çıkartır. Geliştirme ortamınıza Insure++’ı entegre ederek, hataları bulup giderme zamanınızdan haftalar kazanabilir ve maliyetli program çökmelerini müşterilerilerinizi etkilemeden önleyebilirsiniz.
Yenilik Teknolojileri
Patentli Kaynak Kod Enstrümantasyonunu (#5,581,696 and #6,085,029) and Runtime Pointer Tracking (#5,842,019) teknolojilerini kullanan Insure++, test altında yazılımın kapsamlı bilgisini geliştirir. Derleme sırasında, Insure++ testleri ekler ve kaynak kodun her satırında fonksiyonları analiz eder. Program elemanlarının veri tabanını oluşturur ve sonra tutarlılığını ve doğruluğunu soruşturmak için çalışma süresi içinde veri tabanına karşı herbir veri değerini ve bellek referansını kontrol eder. Hızlı test için, uygulamanızı Insure++’ın runtime library’sine karşı yeniden bağlar ve programı çalıştırır. Daha derinden bakış için, bellek sızıntıları, bellek referans hataları ve bellek bozulması gibi aşırı karmaşık hataları ortaya çıkarmak için kodunuza gerekli araçları sağlar.
Insure++, diğer metot ve araçlar ile bulması zor belirsizlikleri ortaya çıkartmak için geleneksel Mutasyon Test tekniklerini kullanır. Oysa geleneksel Mutaston Testi daha etkin test takımlarını oluşturmak için “hatalı” mutantlar oluşturmaya çalışır iken, Insure++ test altıdaki kaynak kodunun eşdeğer mutantlarını oluşturur ve çalıştırır. Bu mutantlardan biri orjinal programdan farklı olarak gerçekleştiği zaman, bu, kodun fonksiyonelliğinin uygulama sırasında her zaman karşılanamayan kapalı varsayımlara bağlı olduğunu gösterir. Eğer bir mutant programın çökmesine veya başka ciddi sorunlarla karşılaşmaya neden olursa, bu, tahminlerin karşılanamadığı zaman ciddi sorunların programın çalışması sırasında ortaya çıkacağının göstergesidir. Mutasyo Testi bir çok bulması zor veya gözden uzak hataları ortaya çıkartabildiği için bu özellikle hata yapmak için bir sürü olanağın olduğu C++ için önemlidir. Örneğin; Mutasyon Testi, kopya constructor’ların eksikliği veya kötü kopya constructor’ları, kayıp yada yanlış constructor’ları, kodun hazırlanışının yanlış düzeni, pointerların çalışmasındaki sorunlar, ve tanımsız davranışlar üzerindeki bağımlılık gibi hataları bulabilir.
Çoklu Hata Bulma Şekilleri
Insure++’ı farklı gelştirme aşamalarında hata bulma ihtiyaçlarınızı karşılamak için kolayca isteğe göre düzenleyebilirsiniz. Hataların bulunduğu yerin genel bir fikrini oluşturmak istediğiniz zaman, Insure++’ın runtime library’sine karşı uygulamanızı yeniden birleştirir ve programı çalıştırırsınız. Bu alana daha yakından bakmaya hazır olduğunuzda, hatalar üzerinde yakınlaşmak için Kaynak Kod Enstrümantasyonunu kullanabilir ve en titiz test etme şeklini olanaklı kılabilir.
Insure++, statik (geniş çaplı), yığın ve paylaşılan bellek gibi bunları içeren bellek referanslarının bütün çeşitlerini kontrol eder. Bellek bozulmalarını ve bellek sızıntılarını hemde tahsis edilen ve boş bırakılan dinamik bellek hatalarını bulabilir. Hemde Insure++, üçüncü parti library’leri ve fonksiyonları kontrol eder. Insure++ ile test ederek, dizgi işleme hataları, sıfırlanmamış pointer’lar üzerinde çalışmalar, alakasız veri blokları için pointer’lar üzerinde çalışmalar, geçersiz pointer çalışmaları, birbiriyle uyumsuz değişken tanımlamaları ve birbiriyle eşleşmeyen değişken tipleri gibi hataları otomatik olarak bulabilir.
Parasoft Inuse and Parasoft TCA
Insure++ geliştirmeyi arttırmaya yardımcı olmak için birlikte çalıştığı iki adet add-on’a sahiptir. Bunlar Parasoft Inuse ve Parasoft TCA’dir. Inuse, program tahsis etme ve boş dinamik bellek bloklarını görmenize imkan tanıyan grafiksel bir yardımcı programdır. Algoritmaların bellek kullanım şablonlarını anlamanıza ve bunların hareketlerini optimize etmenize yardımcı olur. TCA, kaç dosya, fonksiyon ve komutun çalıştırıldığını belirleyerek; testin bütün özelliklerinin planını size vererek uygulama için test kapsam analizini gösterir.
Özellikleri
-
Diğer araçların gözden kaçırdığı hataları bulur.
-
Kaynak kod seviyesinde uygulanır.
-
Program elemanlarının veritabanını oluşturur, ve çalışma zamanında bunu değerlere karşı kontrol eder.
-
Daha dikkatli şekilde hataları bulmak için Mutasyon Testi yapar.
-
Bütün bellek referans ve üçüncü parti library ve fonksiyon çeşitlerini kontrol eder.
-
Popüler derleyicileri destekler.
-
Chaperon™ technology (sadece Linux x86 için) ile daha hızlı test etmeyi sağlar.
-
Kaynak kodunun değişikliliğini gerektirmez.
Faydaları
-
Hata bulmanın verimlilik düzeyini arttırır.
-
Geliştirme ve destek maliyetlerini azaltır.
-
Bellek kullanımınının durumunu anlamayı arttırır.
-
Kolay ve daha başarılı bakıma olanak sağlar.
-
Hata bulmanın esnek seviyelerini sağlar.
-
Yazılım güvenilirliğini arttırır.
-
Kaynak kodunda değişiklik yapmaya gerek kalmaz.
TCA Test Kapsamı
-
Test etme tamamlılığını ve sıklığını raporlar.
-
Hala sahip olunan hataları ortaya çıkartır.
-
Testin hızını ve kalitesini arttırır.
Inuse Hafıza Monitörü
Desteklediği Konfigürasyonlar
Microsoft Windows 2000/XP/2003 32-bit
Insure++ works as a plug-in for Visual C++
- Microsoft Visual C++ 6.0
- Microsoft Visual C++ .NET
- Microsoft Visual C++ .NET 2003
- Microsoft Visual C++ 2005
- Microsoft Visual C++ 2008
Microsoft Windows XP/2003 64-bit
Insure++ works as a plug-in for Visual C++
- Microsoft Visual C++ .NET 2005
- Microsoft Visual C++ 2008
Linux for x86 processors 32 bits (all distributions)
- GNU gcc/g++ 2.95.x, 3.2.x, 3.3.x, 3.4.x, 4.0.x, 4.1.x, 4.2.0, 4.2.1
- Intel ICC 8.0, 8.1, 9.0, 9.1
Linux for AMD64 and Intel EM64T 64 bits (all distributions)
- GNU gcc/g++ 3.2.x, 3.3.x, 3.4.x, 4.0.x, 4.1.x, 4.2.0, 4.2.1
- Intel ICC 8.1, 9.0, 9.1
Solaris 7, 8, 9, 10 UltraSparc Processor
- Forte Developer 6 Update 2 (6.2) / Sun CC 5.3
- Sun ONE Studio 7/ Sun CC 5.4
- Sun ONE Studio 8/ Sun CC 5.5
- Sun Studio 9/ Sun CC 5.6
- Sun Studio 10/ Sun CC 5.7
- Sun Studio 11 / Sun CC 5.8
- Sun Studio 12 / Sun CC 5.9
- GNU gcc/g++ 2.95.x, 3.2.x, 3.3.x, 3.4.x, 4.0.x, 4.1.x
IBM AIX 5.1, 5.2, 5.3, PowerPC Processor 32 and 64 bits
- IBM VisualAge v5
- IBM VisualAge (xlC) v6, v7, v8
- GNU gcc/g++ 2.95.x, 3.2.x, 3.3.x, 3.4.x, 4.0.x, 4.1.x, 4.2.0, 4.2.1
HP-UX 11 for PA-RISC 32 and 64 bits
- aCC/aC++ version A.03.26 and above
- GNU gcc/g++ 2.95.x, 3.2.x, 3.3.x, 3.4.x, 4.0.x, 4.1.x, 4.2.0, 4.2.1