Safe composition of non-monotonic features

Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem assumed that features add code monotonically. We generalize prior work to enable features to add and remove code, describe our analyses and implementation, and review case studies. We observe that more expressive features increase the complexity of developed programs rapidly – up to the point where tools and automated concepts as presented in this paper are indispensable for verification. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification—Validation; D.2.13 [Software Engineering]: Reusable Software; D.2.1 [Software Engineering]: Requirements/Specifications General Terms Verification, design Keywords Feature-oriented programming, safe composition, refactoring, AHEAD

• Type: Conference
• Year: 2009
• Where: GPCE
• Authors: Martin Kuhlemann, Don S. Batory, Christian Kästner
• Keywords: Features Add Code, GPCE 2009, Prior Work, Programming Languages, Software Engineering