Ciência computacionalmente testável