MoSo-PoLiTe: tool support for pairwise and model-based software product line testing

ABSTRACT

Testing Software Product Lines is a very challenging task and approaches like combinatorial testing and model-based testing are frequently used to reduce the effort of testing Software Product Lines and to reuse test artifacts. In this contribution we present a tool chain realizing our MoSo-PoLiTe concept combining combinatorial and model-based testing. Our tool chain contains a pairwise configuration selection component on the basis of a feature model. This component implements an heuristic finding a minimal subset of configurations covering 100% pairwise interaction. Additionally, our tool chain allows the model-based test case generation for each configuration within this generated subset. This tool chain is based on commercial tools since it was developed within industrial cooperations. A non-commercial implementation of pairwise configuration selection is available and an integration with an Open Source model-based testing tool is under development.

References

1. A. Bertolino and S. Gnesi, "Use case-based testing of product lines," SIGSOFT Softw. Eng. Notes, vol. 28, no. 5, pp. 355--358, 2003.
2. feasiPLe Consortium, "www.feasiple.de," 2006--2009. {Online}. Available: www.feasiple.de
3. A. Gonzalez and C. Luna, "Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities," in Proc. of the Int. Conf. of the Chilean Computer Science Society, Washington, DC, USA, 2008, pp. 32--41.
4. H. Grönniger, H. Krahn, C. Pinkernell, and B. Rumpe, "Modeling Variants of Automotive Systems using Views," in Modellierung, 2008.
5. J. Hartmann, M. Vieira, and A. Ruder, "A UML-based Approach for Validating Product Lines," in Proc. of the Int. Ws on Software Product Line Testing, B. Geppert, C. Krueger, and J. Li, Eds., 2004, pp. 58--65.
6. J. D. McGregor, "Testing a software product line," Tech. Rep. CMU/SEI-2001-TR-022, 2001.
7. E. M. Olimpiew, "Model-Based Testing for Software Product Lines," Ph.D. dissertation, George Mason University, 2008.
8. S. Oster, F. Markert, and P. Ritter, "Automated Incremental Pairwise Testing of Software Product Lines," in Proc. of the 14th International Software Product Line Conference, 2010.
9. S. Oster, A. Wübbeke, G. Engels, and A. Schürr, "Model-Based Software Product Lines Testing Survey," in Model-based Testing for Embedded Systems, J. Zander, I. Schieferdecker, and P. Mosterman, Eds. CRC Press/Taylor&Francis, 2010, to appear.
10. G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. L. Traon, "Automated and scalable t-wise test case generation strategies for software product lines," in Third International Conference on Software Testing, Verification and Validation, 2010, pp. 459--468.
11. A. Reuys, E. Kamsties, K. Pohl, and S. Reis, "Model-based System Testing of Software Product Families," in CAiSE, 2005, pp. 519--534.
12. K. Scheidemann, "Verifying families of system configurations," PhD Thesis, TU Munich 2007.
13. N. Szasz and P. Vilanova, "Statecharts and Variabilities," in In Proc. of 2nd Int. Ws on. Variability Modelling of Software-intensive Systems, 2008, pp. 131--140.
14. A. Wasowski, "Automatic Generation of Program Families by Model Restrictions," in SPLC, 2004, pp. 73--89.
15. S. Weißleder, D. Sokenou, and H. Schlingloff, "Reusing State Machines for Automatic Test Generation in Product Lines," in Proceedings of the 1st Workshop on Model-based Testing in Practice (MoTiP2008), 2008.

Index Terms

• Software and its engineering

  • Software creation and management

    • Software development techniques

      • Reusability

    • Software verification and validation

      • Software defect analysis

        • Software testing and debugging