A New Approach to Model a Formalised Description of a Communication Service for the Purpose of Functional Testing |
This paper presents a concept of how a service provider can verify that an implemented communication service meets the requirements of a customer. This requires functional tests which are derived from a finite state machine-based behaviour model being composed from predefined modular sub finite state machines. As the composition of these modular finite state machines to a behaviour model is done by retrieving information from the requirements specification or rather Service Description, the model reflects the business logic of the communication service. A case study of the modelling procedure is shown in this paper by means of an example service.
Wacht P, Eichelmann T, Lehmann A, Fuhrmann W, Trick U, Ghita BV