Towards more accurate real time testing
Source Title12th International Conference on Information Systems Analysis and Synthesis
University of Melbourne Author/sSinnott, Richard
AffiliationComputing and Information Systems
Document TypeConference Paper
CitationsSinnott, R. (2006). Towards more accurate real time testing. In 12th International Conference on Information Systems Analysis and Synthesis , Orlando, Florida.
Access StatusOpen Access
This is a post-print version of a paper from 12th International Conference on Information Systems Analysis and Synthesis, 16-19 July.
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.
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References