ABSTRACT
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify potential conflicts among its features. Feature interaction analysis becomes progressively more difficult as software's feature combinations and available scenarios increase. Software maintainers need to identify and analyze conflicts that can arise from feature modification requests. Our approach combines Use Case Maps with Formal Concept Analysis to assist maintainers in identifying feature modification impacts at the requirements level, without the need to examine the source code. We demonstrate the applicability of this approach using a teleommunication case study
- Amyot, D. Use Case Maps as a Feature Description Notation. FIREwork Feature Constructs Workshop, 2000.Google Scholar
- Birkhoff, G. Lattice theory, Rhode Island: Amer. Math.Soc, 1967.Google Scholar
- Bohner, S. A., and Arnold, R. S. An Introduction to Software Change Impact Analysis. In Software Change Impact Analysis, pp. 1--26, 1996.Google Scholar
- Briand, L., Labiche, Y., O'Sullivan, L. and Sówka, M. Automated impact analysis of UML models. The Journal of Systems & Soft¿ware, vol. 79, pp. 339--352, 2006. Google ScholarDigital Library
- Calder, M., Kolberg, M., Magill, E. H. and Reiff-Marganiec, S. Feature interaction: a critical review and considered forecast. Computer Networks, vol. 41, pp. 115--141, 2003. Google ScholarDigital Library
- Ganter, B., and Wille, R. Formal Concept Analysis: Mathematical Foundations. Springer, New York, Inc. Secaucus, NJ, USA, 1997. Google ScholarDigital Library
- Griffeth, N., Blumenthal,R., Gregoire,J., and Ohta, T. Feature interaction detection contest. Feature Interactions in Telecommunications Systems V, pp. 327--359.Google Scholar
- Hassine, J., Rilling, J. , and Dssouli, R. Abstract operational semantics for use case maps. Lecture Notes in CS, pp. 366--380. Google ScholarDigital Library
- ITU-T, URN Focus Group (2003), Draft Rec. Z.152 - UCM: Use Case Map Notation (UCM)., Sept. 2003.Google Scholar
- Kolberg, M., Magill, E. H. , Marples, D. and Reiff, S. Second feature interaction contest. Workshop on FI in Telecommunication Networks and Distributed Systems, pp. 293--310, 2000.Google Scholar
- La Porta, T. F., Lee, D., Lin, Y. J. and Yannakakis, M., "Protocol Feature Interactions", Int. Conf. on Formal Description Tech. for Distributed Systems and Communication Protocols, pp.59--74, 1998. Google ScholarDigital Library
- Law, J. and Rothermel, G. Whole program path-based dynamic impact analysis. In proceedings of the International Conference on Software Engineering, pp. 308--318, 2003. Google ScholarDigital Library
- Leelaprute, P., Nakamura, N. , Matsumoto, K. and Kikuno, T. Design and Evaluation of Feature Interaction Filtering with Use Case Maps. NECTEC Technical Journal, pp. 581--597, 2005.Google Scholar
- Lindig, C. Concept-based component retrieval. Work. on Formal Approaches to the Reuse of Plans, Proofs, and Programs, 1995.Google Scholar
- Microsoft, "AsmL for Microsoft.Net," http://research.microsoft.com/foundations/asml, April/2007.Google Scholar
- Tallam, S., and Gupta, N. A concept analysis inspired greedy algorithm for test suite minimization. Program Analysis for Software Tools and Eng. pp. 35--42, 2005. Google ScholarDigital Library
- UCM, <<Use Case Maps Web Page and UCM Users Group>>, http://jucmnav.softwareengineering.ca/twiki/bin/view/Main/WebHome.Google Scholar
Index Terms
- Feature interaction analysis: a maintenance perspective
Recommendations
A novel feature selection method considering feature interaction
Interacting features are those that appear to be irrelevant or weakly relevant with the class individually, but when it combined with other features, it may highly correlate to the class. Discovering feature interaction is a challenging task in feature ...
Program entanglement, feature interaction and the feature language extensions
One of the most difficult tasks in software development is that the programmer must implement a feature going through a laborious and error prone process of modifying the programs of other features. The programs of the different features entangle in the ...
Feature-interaction detection based on feature-based specifications
Formal specification and verification techniques have been used successfully to detect feature interactions. We investigate whether feature-based specifications can be used for this task. Feature-based specifications are a special class of ...
Comments