Konkolık yazılım testi için sezgisel yöntemler

Yazılım testi, yazılım geliştirme sürecinin ayrılmaz bir parçasıdır. Konkolik test üzerinde sistematik testin daha büyük yazılımlara uygulanabilmesi amacıyla on yıllarca süren çalışmaların sonucu geliştirilmiş bir birim test yaratma tekniğidir. Ancak kısıt çözümü gibi darboğazlar konkolik testçilerin büyük projelerde kullanılmasına engel teşkil etmektedir. Kısıt çözümündeki darboğaz Test Altındaki Birim'in icra yollarındaki yüksek sayıda dallanmadan ileri gelmektedir. Bu tezde, Artımlı Kısmi Yol Kısıtları adını verdiğimiz ve standard konkolik testçi üzerine geliştirdiğimiz özgün bir kısıt çözüm stratejisi önermekteyiz. Önerdiğimiz değişiklik bazı yol koşullarını gözardı ederek kısıt çözücüye çok sayıda ama küçük sorgular göndermektedir. IPPC algoritmasını iyi bilinen bir konkolik test sistemi olan CREST üzerinde geliştirdik. IPPC üzerine olan çalışmamızda kısıt çözücü üzerindeki yükü azaltırken aynı dallanma kapsamasına ulaşılabileceğini göstermekteyiz. İddialarımızı farklı stratejileri çeşitli C programları üzerinde test ederek desteklemekteyiz. Deneysel sonuçlar yaptığımız değişikliğin standard konkolik testçinin işleyiş süre performansını deneylerin yarısında artırdığımızı ve eğer test altındaki birim fazla imkansız yol içeriyorsa 5 kattan daha fazla hızlanma sağladığını göstermektedir. Yaptığımız çalışma otomatik birim test yaratımı için büyük kısıtların çözülmesine olan ihtiyacı ortadan kaldırdığımızı göstermektedir.