Havacılık platformlarında DO-178C uyumluluğuna göre geliştirilmesi gereken yazılımların doğrudan işlemci üzerine, kod kapsama, zamanlama, birim ve sistem seviyesi fonksiyonel doğrulamalarında kullanılabilen otomatik yazılım test ve kalifikasyon aracı.
