Software Product Line Testing based on Event Sequence Graphs with Feature Expressions

Software Product Line testing is by its nature challenging, especially due to the exponential rise in the number of assets that need to be verified. Scalability and efficient verification, two challenges that model-based SPL testing must deal with, are discussed in this paper. An approach to automatically obtaining test suites for software product lines is proposed as a solution to these challenges. By exploiting Event Sequence Graphs with Feature Expressions, which concisely depict the Software Product Line behavior, the proposed approach automatically generates test sequences for different product configurations. The presented approach is applied to the illustrative case studies from the literature.