The University of Southampton
University of Southampton Institutional Repository

Phase Semantics of MSC Traces

Phase Semantics of MSC Traces
Phase Semantics of MSC Traces
Specifications for wireless telecommunications systems are often only partially defined. It is also common for the specification to consist of a set of normative scenarios together with scenarios for some of the more important exceptional behaviours. A major challenge is to find effective means of detecting feature interaction conflicts contained in such specifications. Moreover the detected conflicts should be of value in debugging the specifications and should not be cluttered with inconsequential errors that are due to the incompleteness of the specifications. The paper describes a technique for constructing a phase automaton that can be used to statically analyse the specification scenarios in order to detect certain types of interactions between them, known as phase transition conflicts. There is anecdotal evidence to suggest that these kinds of inconsistency can account for a significant proportion of feature interactions. The phase automaton is intended primarily for the purpose of detecting these phase transition errors. This means the state space in the automaton only need include that part of the feature behaviour that is significant for those conflicts. This results in a small automaton that tends to make the conflict detection problem tractable.
Bristow, Paul
ba1de211-ea56-41df-82a9-95874190d549
Jarvis, Clive
51aecc93-74b1-4b5b-8e15-8612161be846
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Thomson, Robert
7e5ed66c-67df-4734-b34c-f1b1d07f635b
Bristow, Paul
ba1de211-ea56-41df-82a9-95874190d549
Jarvis, Clive
51aecc93-74b1-4b5b-8e15-8612161be846
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Thomson, Robert
7e5ed66c-67df-4734-b34c-f1b1d07f635b

Bristow, Paul, Jarvis, Clive, Mitchell, Bill and Thomson, Robert (2003) Phase Semantics of MSC Traces. UK Software Testing Workshop, University of York, United Kingdom. (In Press)

Record type: Conference or Workshop Item (Paper)

Abstract

Specifications for wireless telecommunications systems are often only partially defined. It is also common for the specification to consist of a set of normative scenarios together with scenarios for some of the more important exceptional behaviours. A major challenge is to find effective means of detecting feature interaction conflicts contained in such specifications. Moreover the detected conflicts should be of value in debugging the specifications and should not be cluttered with inconsequential errors that are due to the incompleteness of the specifications. The paper describes a technique for constructing a phase automaton that can be used to statically analyse the specification scenarios in order to detect certain types of interactions between them, known as phase transition conflicts. There is anecdotal evidence to suggest that these kinds of inconsistency can account for a significant proportion of feature interactions. The phase automaton is intended primarily for the purpose of detecting these phase transition errors. This means the state space in the automaton only need include that part of the feature behaviour that is significant for those conflicts. This results in a small automaton that tends to make the conflict detection problem tractable.

Text
mitchell_york_2003.pdf - Accepted Manuscript
Download (209kB)

More information

Accepted/In Press date: 28 March 2003
Additional Information: Event Dates: September, 2003
Venue - Dates: UK Software Testing Workshop, University of York, United Kingdom, 2003-09-01
Organisations: Electronics & Computer Science, IT Innovation

Identifiers

Local EPrints ID: 267410
URI: http://eprints.soton.ac.uk/id/eprint/267410
PURE UUID: 787c4ac7-50af-4faf-88f1-df4a3e7eede9

Catalogue record

Date deposited: 28 May 2009 13:17
Last modified: 14 Mar 2024 08:49

Export record

Contributors

Author: Paul Bristow
Author: Clive Jarvis
Author: Bill Mitchell
Author: Robert Thomson

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×