Bir kullanıcı, müşteri veya diğer yetkili varlık üründe veya ürün bileşeninde kabul edilip edilmeyeceğini belirlemek etkinleştirmek için Biçimsel testler yapılmıştır.