A technique for validating Booch object-oriented designs from extensions to the Descartes specification language

Software validation is the process of checking whether the software performs as required. Validation assumes much importance in the case of high assurance (real time, reliable, safety critical, and secure) systems, us even a slight deviation from the desired behavior is unacceptable. Descartes is an executable specification language. Specifications in Descartes are validated through rapid prototyping. This paper explains a traceability approach for validating Booch object oriented designs against validated object oriented Descartes specifications. The CASE tool developed in support of the technique is also explained in brief