Testing variability-intensive systems using automated analysis: an application to Android

作者：Galindo Jose A^*; Turner Hamilton; Benavides David; White Jules

来源：Software Quality Journal, 2016, 24(2): 365-405.

DOI：10.1007/s11219-014-9258-y

• Testing
• Software product lines
• Automated analysis
• Feature models
• Android

Software product lines are used to develop a set of software products that, while being different, share a common set of features. Feature models are used as a compact representation of all the products (e.g., possible configurations) of the product line. The number of products that a feature model encodes may grow exponentially with the number of features. This increases the cost of testing the products within a product line. Some proposals deal with this problem by reducing the testing space using different techniques. However, a daunting challenge is to explore how the cost and value of test cases can be modeled and optimized in order to have lower-cost testing processes. In this paper, we present TESting vAriAbiLity Intensive Systems (TESALIA), an approach that uses automated analysis of feature models to optimize the testing of variability-intensive systems. We model test value and cost as feature attributes, and then we use a constraint satisfaction solver to prune, prioritize and package product line tests complementing prior work in the software product line testing literature. A prototype implementation of TESALIA is used for validation in an Android example showing the benefits of maximizing the mobile market share (the value function) while meeting a budgetary constraint.

• 出版日期2016-6
• 单位美国弗吉尼亚理工大学(Virginia Tech)