Report on the algorithmic language ALGOL 68
Report on the algorithmic language ALGOL 68
Hi-index | 0.00 |
The testing of real time systems for overload conditions is often performed by systems exercisers and message generators. Messages are usually expressed informally for their content, whilst languages use much formality in their definition. This paper gives a formalised description of messages and their contents so that they may be generated in defined proportions for testing real time systems. The first part of the paper surveys the previous work that has been done in the field. In the second section we develop a theoretical model of the problem. Part three describes a method for collecting information which can be used to drive the theoretical model. The fourth portion gives the algorithms for generating the test data. In the fifth part examples demonstrate how effective the system is.