Because it is simpler and more convenient than formal proofs of correctness, software testing remains the primary method of ensuring software quality. Traditional software testing does not provide a way to easily test against a formal specification, or even to test the specification itself. This research brings formal specifications and testing together. The Class Validation System supports rigorously testing a formal specification of a software component, and a corresponding implementation. Sufficient testing of a software component is something that is important to consider when developing a software testing tool such as this one.
Thorough testing requires using large numbers of test cases.
The Class Validation System provides support for automatic generation of values to be used in the testing of the specification and a corresponding implementation. One of these methods readily supports generating values for an implementation. These methods and how they aid the testing process as supported by the Class Validation System will be the focus of this presentation. The visual recovery consists of xeroxing the shares onto transparencies, and then stacking them. Any t shares will reveal the secret image without any cryptographic computation.