Abstract
This paper proposes a test-case design method for black-box testing, called “Feature Oriented Testing (FOT)”. The method is realized by applying Feature Models (FMs) developed in software product line engineering to test-case designs. We develop a graphical language for test-case design called “Feature Trees for Testing (FTT)” based on FMs. To firmly underpin the method, we provide a formal semantics of FTT, by means of test-cases derived from test-case designs modelled with FTT. Based on the semantics we develop an automated test-suite generation and correctness checking of test-case designs using SAT, as computer-aided analysis techniques of the method. Feasibility of the method is demonstrated from several viewpoints including its implementation, complexity analysis, experiments, a case study, and an assistant tool.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)
Benavides, D., Cortes, A.R., Trinidad, P., Segura, S.: A survey on the automated analyses of feature models. In: XV Jornadas de Ingenieria del Software y Bases de Datos (2006)
Benavides, D., Trinidad, P., Ruiz-Cortés, A.: Automated Reasoning on Feature Models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491–503. Springer, Heidelberg (2005)
Cao, F., Bryant, B.R., Burt, C.C., Huang, Z., Raje, R.R., Olson, A.M., Auguston, M.: Automating feature-oriented domain analysis. In: Software Engineering Research and Practice, pp. 944–949 (2003)
Chen, T.Y., Poon, P.L., Tse, T.H.: An integrated classification-tree methodology for test case generation. International Journal of Software Engineering and Knowledge Engineering, 647–679 (2000)
Eén, N., Sörensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502–518. Springer, Heidelberg (2004)
Ericson, C.: Fault tree analysis - a history. In: The 17th International Systems Safety Conference (1999)
Fan, S., Zhang, N.: Feature Model Based on Description Logics. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds.) KES 2006. LNCS (LNAI), vol. 4252, pp. 1144–1151. Springer, Heidelberg (2006)
Grochtmann, M.: Test case design using classification trees. In: The International Conference on Software Testing Analysis (1994)
Grochtmann, M., Grimm, K., Wegener, J., Grochtmann, M.: Tool-supported test case design for black-box testing by means of the classification-tree editor. In: The 1st European International Conference on Software Testing Analysis, pp. 169–176 (1993)
Grochtmann, M., Wegener, J.: Test case design using classification trees and the classification-tree editor cte. In: QW (1995)
Impagliazzo, R., Paturi, R.: On the complexity of k-SAT. Comput. Syst. Sci. 62(2), 367–375 (2001)
Janota, M.: Do SAT solvers make good configurators? In: ASPL, pp. 191–195 (2008)
Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, Carnegie-Mellon University Software Engineering Institute (November 1990)
Kang, K.C., Kim, S., Lee, J., Kim, K.: FORM: a feature-oriented reuse method, annals of software engineering. Annals of Software Engineering 5, 143–168 (1998)
Mannion, M.: Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol. 2379, pp. 176–187. Springer, Heidelberg (2002)
Mendonca, M., Wsowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: SPLC, pp. 231–240 (2009)
OSEK/VDX operating system specification 2.2.3 (2005), http://www.osek-vdx.org/
OSEK/VDX operating system test plan, version 2.0 (1999)
Schobbens, P., Heymans, P., Trigaux, J., Bontemps, Y.: Generic semantics of feature diagrams. Computer Networks 51(2), 456–479 (2007)
Schobbens, P., Heymans, P., Trigaux, J.C.: Feature diagrams: A survey and a formal semantics. In: RE, pp. 139–148 (2006)
Sun, J., Zhang, H., Li, Y.F., Wang, H.H.: Formal semantics and verification for feature modeling. In: ICECCS, pp. 303–312 (2005)
Zhang, W., Zhao, H., Mei, H.: Binary-Search Based Verification of Feature Models. In: Schmid, K. (ed.) ICSR 2011. LNCS, vol. 6727, pp. 4–19. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kitamura, T., Do, N.T.B., Ohsaki, H., Fang, L., Yatabe, S. (2012). Test-Case Design by Feature Trees. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2012. Lecture Notes in Computer Science, vol 7609. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34026-0_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-34026-0_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34025-3
Online ISBN: 978-3-642-34026-0
eBook Packages: Computer ScienceComputer Science (R0)