next up previous

Final Report of the COST-247 Action

Approaches for Detecting Feature Interactions

Luigi Logrippo, Mohammed Faci, and Bernard Stepien

Protocols Research Group
Computer Science Department
University of Ottawa
Ottawa, Ontario
Canada K1N 6N5
Tel: (613)-564-5450
Fax: (613)-564-9486


When new functionalities (features) are added to a telephone system, it may be the case that the new features prevent preexisting features from exhibiting their behaviour in the new context, Such design flaws, if not detected at the specification level, may have disastrous consequences once the system is implemented. We present some features for detecting these flaws at the design stage. A telephone system, with its features, is modeled as a collection of communicating oricesses, using LOTOS. In a first approach, LOTOS testing theory is used to detect feature interactions, which show up as deadlocks with appropriately chosen testing processes. In a second approach, feature interactions show up as ambiguities, i.e., cases of non-determinism, which can be detected by a process of backward execution.

This presentation has been given during the COST-247 4th Management Committee Meeting (Berlin, Germany, February 9--10, 1995).

COST-247 Working Group(s): 1

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page