> > > When we use tests to check the program conforms to > > > spec, and the program passes all tests, and we're > using > > > an ordinary definition of program correctness, then > the > > > program is obviously 'correct'. > > > > If all tests pass, it doesn't mean that the spec is > > completely satisfied unless the spec is defined by the > > tests. > > It isn't true unless it's true! What a tortuous way to > avoiding saying - if the spec is defined by tests and all > the tests pass then the spec is completely satisfied. >
So we have a fundamental disgree on whether tests are a sufficient for of specification. I believe they are neither a form a specification nor a potential substitute for specification.
Previous Topic
