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: | 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. |
URI: | http://bura.brunel.ac.uk/handle/2438/355 |
DOI: | https://doi.org/10.1016/s0950-5849(00)00145-2 |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
FullText.pdf | 221.55 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.