Computational testable science