Reachability analysis of feature interactions: A progress report

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 216-223

  Pomakis, Keith P ^a   Atlee, Joanne M ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE TESTING;

DATA INTERACTIONS; FEATURE INTERACTIONS; REACHABILITY ANALYSIS; REACHABILITY GRAPHS; REQUIREMENTS PHASE; RESOURCE CONTENTION; STATE TRANSITIONS; TABULAR NOTATION;

FEATURE EXTRACTION;

EID: 42449096142     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226320     Document Type: Conference Paper

References (12)

1. F. Belina and D. Hogrefe. "The CCITTSpecification and Description Language SDL". Computer Networks and ISDN Systems, 16:311-341, 1989.
2. R. Boumezbeur and L. Logrippo. "Specifying Telephone Systems in LOTOS'. IEEE Communications, 31(8):38-45, August 1993.
3. K. Braithwaite and J. Atlee. "Towards Automated Detection of Feature Interactions". In Proceedings of the Second International Workshop on Feature Interactions in Telecommunications Software Systems, 1994 (to appear).
4. R. Brooks. "A Robust Layered Control System for a Mobile Robot". IEEE Journal of Robotics and Automation, RA-2:14-23, April 1986.
5. M. Faci and L. Logrippo. "Specifying features and analysing their interactions in a LOTOS environment". In Feature Interactions in Telecommunications Systems, pages 120-151, May 1994.
6. A. Flynn, R. Brooks, and L. Tavrow. Twilight Zones and Cornerstones: A Gnat Robot Double Feature. Technical Report A.I. Memo 1126, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 1989.
7. E. Kuisch, R. Janmaat, H. Mulder, and I. Keesmaat. "A Practical Approach to Service Interactions". IEEE Communications, 31(8) :24-31, August 1993.
8. F.J. Lin and Y.-J. Lin. "A building block approach to detecting and resolving feature interactions". In Feature Interactions in Telecommunications Systems, pages 86-119, May 1994.
9. K. Pomakis. Reachability Analysis of Feature Interactions in Service-Oriented Software Systems. Master's thesis, Department of Computer Science, University of Waterloo, 1995.
10. K. Pomakis and J. Atlee. "Reachability Analysis of Feature Interactions: A Progress Report". Technical Report CS-96-21, Department of Computer Science, University of Waterloo, Waterloo, ON Canada., May 1995.
11. G. Utas. "Feature Processing Environment", December 1992. Presented at the International Workshop on Feature Interactions in Telecommunications Software Systems.
12. Y. Wakahara, M. Fujioka, H. Kikuta, and H. Yagi. "A Method for Detecting Service Interactions". IEEE Communications, 31(8) :32-37, August 1993.