Please use this identifier to cite or link to this item:
Title: Testing a system specified using Statecharts and Z
Authors: Hierons, RM
Sadeghipour, S
Singh, H
Keywords: Testing;Extended finite state machine;Statechart;Z;Data abstraction
Issue Date: 2001
Publisher: Elsevier Science
Citation: Hierons. R.M., Sadeghipour. S., Singh. H (2001) 'Testing a system specified using statecharts and Z', Information and Software Technology, 43(2), pp.137-149. doi:10.1016/s0950-5849(00)00145-2.
Abstract: A hybrid specification language SZ, in which the dynamic behaviour of a system is described using Statecharts and the data and the data transformations are described using Z, has been developed for the specification of embedded systems. This paper describes an approach to testing from a deterministic sequential specification written in SZ. By considering the Z specifications of the operations, the extended finite state machine (EFSM) defined by the Statechart can be rewritten to produce an EFSM that has a number of properties that simplify test generation. Test generation algorithms are introduced and applied to an example. While this paper considers SZ specifications, the approaches described might be applied whenever the specification is an EFSM whose states and transitions are specified using a language similar to Z.
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
FullText.pdf221.55 kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.