Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/355
Full metadata record
DC FieldValueLanguage
dc.contributor.authorHierons, RM-
dc.contributor.authorSadeghipour, S-
dc.contributor.authorSingh, H-
dc.coverage.spatial24en
dc.date.accessioned2006-11-06T15:35:44Z-
dc.date.available2006-11-06T15:35:44Z-
dc.date.issued2001-
dc.identifier.citationHierons. 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.en
dc.identifier.urihttp://bura.brunel.ac.uk/handle/2438/355-
dc.description.abstractA 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.en
dc.format.extent226868 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isoen-
dc.publisherElsevier Scienceen
dc.subjectTestingen
dc.subjectExtended finite state machineen
dc.subjectStatecharten
dc.subjectZen
dc.subjectData abstractionen
dc.titleTesting a system specified using Statecharts and Zen
dc.typeResearch Paperen
dc.identifier.doihttps://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 SizeFormat 
FullText.pdf221.55 kBAdobe PDFView/Open


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