When Can Finite Testing Ensure Infinite Trustworthiness?

In this paper we contribute to the general philosophical‎ ‎question as to whether empirical testing can ever prove a physical law.‎ ‎problems that lead to this question arise under several contexts‎, ‎and the ‎matter has been addressed by the likes of bayes and laplace‎. ‎after pointing‎ ‎out that a bayesian approach is the proper way to address this problem‎, ‎we‎ ‎show that the answer depends on what we start with‎. ‎namely‎, ‎under certain‎ ‎prior assumptions‎, ‎a finite amount of testing can lead to the conclusion of‎ ‎total trustworthiness‎, ‎though such priors could be unrealistic‎. ‎however‎, ‎we ‎do produce a new class of priors under which a finite amount of testing can‎ ‎lead to a high degree of trustworthiness‎, ‎at a relatively fast pace‎. ‎we use ‎the scenario of software testing as a way to motivate and discuss our‎ ‎development.