Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/355
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: Information and Software Technology, 43(2): 137-149, Feb 2001
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.
URI: http://www.ingentaconnect.com/content/els/09505849
http://bura.brunel.ac.uk/handle/2438/355
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
Testing a System.pdf221.55 kBAdobe PDFView/Open


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