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
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