Testability-directed specification of communications software.

Hua-Long. Yu
In this thesis, we make a contribution to improving software testability by providing a useful model and guide-lines for constructing highly testable specifications of distributed real time (communications) systems. A global events model is developed based on relative clock for interpreting concurrent aspect of a communications system. Extended trace assertion language (ETAL) is presented for formally representing both the sequential and concurrent aspects of the system. A relative clock based specification in ETAL method also...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.