| dc.contributor.author | SINNOTT, RICHARD | en_US |
| dc.date.accessioned | 2014-05-21T22:08:51Z | |
| dc.date.available | 2014-05-21T22:08:51Z | |
| dc.date.issued | 2006 | en_US |
| dc.identifier.citation | Sinnott, R. (2006). Towards more accurate real time testing. In 12th International Conference on Information Systems Analysis and Synthesis , Orlando, Florida. | en_US |
| dc.identifier.uri | http://hdl.handle.net/11343/28846 | |
| dc.description | This is a post-print version of a paper from 12th International Conference on Information Systems Analysis and Synthesis, 16-19 July. | en_US |
| dc.description.abstract | The languages Message Sequence Charts (MSC) [1], System Design Language1 (SDL) [2] and Testing and Test Control Notation Testing2 (TTCN-3) [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 [4] 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. | en_US |
| dc.language | eng | en_US |
| dc.title | Towards more accurate real time testing | en_US |
| dc.type | Conference Paper | en_US |
| melbourne.peerreview | Peer Reviewed | en_US |
| melbourne.affiliation | The University of Melbourne | en_US |
| melbourne.affiliation.department | Computing and Information Systems | |
| melbourne.affiliation.faculty | Engineering and Information Technology | |
| melbourne.publication.status | Published | en_US |
| melbourne.source.title | 12th International Conference on Information Systems Analysis and Synthesis | en_US |
| melbourne.source.locationconference | Orlando, Florida | en_US |
| dc.description.sourcedateconference | 16-19 July | en_US |
| melbourne.publicationid | 167358 | en_US |
| melbourne.elementsid | NA | |
| melbourne.contributor.author | Sinnott, Richard | |
| melbourne.accessrights | Open Access | |
