Safari Books Online is a digital library providing on-demand subscription access to thousands of learning resources.
There is no certainty that a program will run in the future—there is only the certainty that a program is running now. Even if you’ve run it once, it may not run again. Perhaps the environment will change around it so it will no longer function. Perhaps you’ll run it on a different computer, and it won’t work on the new machine.
However, there is hope—we are not doomed to endless uncertainty about the functionality of our software. The Law of Testing tells us the way out:
The degree to which you know how your software behaves is the degree to which you have accurately tested it.[8]
The more recently you’ve tested your software, the more likely it is that it still works. The more environments you’ve tested it in, the more certain you can be that it works in those circumstances. This is part of what we mean when we talk about the “degree” of testing—how many aspects of the software you’ve tested, how recently, and in how many different environments. In general, you could simply say: