|NeSC Bibliographic Database|
Towards More Accurate Real-Time Testing
Appeared in: The 12th International Conference on Information Systems Analysis and Synthesis (ISAS 2006), Orlando, Florida, July 2006
Field of Science: Computer Science
Abstract: The languages Message Sequence Charts (MSC) , System Design Language1 (SDL)  and Testing and Test Control Notation Testing2 (TTCN-3)  have been developed for the design, modelling and testing of complex software systems. These languages have been developed to complement one another in the software development process. Each of these languages has features for describing, analysing or testing the real time properties of systems. Robust toolsets exist which provide integrated environments for the design, analysis and testing of systems, and it is claimed, for the complete development of real time systems. It was shown in  however, that there are fundamental problems with the SDL language and its associated tools for modelling and reasoning about real time systems. In this paper we present the limitations of TTCN- 3 and propose recommendations which help minimise the timing inaccuracies that would otherwise occur in using the language directly.
|Last Updated: 22 Jun 12 11:02|