You are here: UCM Web>UCMVirtualLibrary>VirLibGorseMScThesis (08 Mar 2010)


This thesis addresses the feature interaction problem in the research area of telephony systems design. We start with a review of this problem and present our definition of a feature and of a feature interaction. We enumerate and discuss some known approaches with respect to their strengths and limitations.

We present our initial approach and propose some refinements in order to automate the detection of incoherences and derivation of validation scenarios at the design stage using predicate logic and Prolog. The identification of incoherences corresponding to potential feature interactions allows the designer to refine the requirements and to produce a better specification.

A UCM model is derived from requirements. This model allows the designers to have a general point of view of the system and to detect design defaults. The construction of the UCM model is followed by the generation of a LOTOS specification.

The derivation of validation test suites and their application against the specification permits to check whether or not the incoherences identified in the requirements lead to feature interactions.

The results obtained over two case studies show that the application of this approach improves the design and validation of a specification

-- Jason Kealey - 12 Oct 2005


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

Form For Virtual Library edit

Title The Feature Interaction Problem: Automatic Filtering of Incoherences & Generation of Validation Test Suites at the Design Stage
Authors N. Gorse
Type Thesis
Conference/Journal Title
Publisher SITE, University of Ottawa
Month September
Year 2001
Pages 143
Keywords feature interaction, automatic detection, use case maps, LOTOS, validation test suites
Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf ng-thesis.pdf manage 766.4 K 12 Oct 2005 - 19:25 Jason Kealey Gorse MSc Thesis?
Topic revision: r2 - 08 Mar 2010 - 16:46:27 - Daniel Amyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback