Kuantum bilgisayarların yaygınlaşmasıyla birlikte, bu sistemler için yazılan programların güvenilirliğini sağlamak kritik hale geldi. Klasik yazılımlarda test kalitesini ölçmek için kullanılan kapsam kriterleri, kuantum programları için henüz yeterince araştırılmamış durumda.
Yeni araştırmada, bilim insanları kuantum programlarına özel altı farklı kapsam kriteri önerdi. Bunlar arasında koşul kapsamı, karar kapsamı ve yol kapsamı ile bunların olasılıksal varyantları yer alıyor. Bu kriterler, klasik yazılım testlerinden esinlenerek kuantum sistemlerinin benzersiz özelliklerine uyarlandı.
Geliştirilen QaCoCo aracı kullanılarak 540 farklı kuantum devresi üzerinde kapsamlı testler gerçekleştirildi. Sonuçlar, devrelerin büyük çoğunluğunun koşul ve karar kapsamında oldukça başarılı olduğunu gösterdi - ortalama %97,56 ve %97,63 oranları elde edildi.
Ancak yol kapsamında durum farklı. Bu değer %71,84 seviyesinde kaldı ve özellikle çoklu kontrollü kapılar içeren devrelerde ciddi zorluklar yaşandı. Bu kapılar, olası yolların sayısında patlamaya neden olarak test kapsamında dengesizliklere yol açıyor.
Araştırmacılar, kuantum devrelerinin doğası gereği olasılıksal çalışmasını dikkate alarak, geleneksel kapsam kriterlerinin ötesinde yeni yaklaşımlar geliştirdiler. Bu çalışma, kuantum yazılım mühendisliğinde önemli bir adım olarak değerlendiriliyor.