Test-case design by feature trees

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7609 LNCS, Issue PART 1, 2012, Pages 458-473

  Kitamura, Takashi ^a   Do, Ngoc Thi Bich ^a   Ohsaki, Hitoshi ^a   Fang, Ling ^a   Yatabe, Shunsuke ^a  

^a NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCE AND TECHNOLOGY AIST   (Japan)

Author keywords

black box testing; combination testing; SAT based analysis

Indexed keywords

BLACK-BOX TESTING; COMPLEXITY ANALYSIS; DESIGN BY FEATURE; DESIGN METHOD; FEATURE MODELS; FEATURE TREE; FEATURE-ORIENTED; FORMAL SEMANTICS; GRAPHICAL LANGUAGES; SAT-BASED ANALYSIS; SOFTWARE PRODUCT LINE ENGINEERINGS; TEST CASE;

COMPUTER AIDED ANALYSIS; FORESTRY; SEMANTICS; SOFTWARE DESIGN;

TESTING;

CAD CAM; COMPUTER PROGRAMS; EXPERIMENTATION; MATHEMATICAL MODELS; TESTING;

EID: 84868281704     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34026-0_34     Document Type: Conference Paper

References (23)

1. 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)
2. 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)
3. 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)
4. 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)
5. 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)
6. 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)
7. Ericson, C.: Fault tree analysis - a history. In: The 17th International Systems Safety Conference (1999)
8. 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)
9. Grochtmann, M.: Test case design using classification trees. In: The International Conference on Software Testing Analysis (1994)
10. 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)
11. Grochtmann, M., Wegener, J.: Test case design using classification trees and the classification-tree editor cte. In: QW (1995)
12. Impagliazzo, R., Paturi, R.: On the complexity of k-SAT. Comput. Syst. Sci. 62(2), 367-375 (2001)
13. Janota, M.: Do SAT solvers make good configurators? In: ASPL, pp. 191-195 (2008)
14. 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)
15. 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)
16. 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)
17. Mendonca, M., Wsowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: SPLC, pp. 231-240 (2009)
18. OSEK/VDX operating system specification 2.2.3 (2005), http://www.osek-vdx.org/
19. OSEK/VDX operating system test plan, version 2.0 (1999)
20. Schobbens, P., Heymans, P., Trigaux, J., Bontemps, Y.: Generic semantics of feature diagrams. Computer Networks 51(2), 456-479 (2007)
21. Schobbens, P., Heymans, P., Trigaux, J.C.: Feature diagrams: A survey and a formal semantics. In: RE, pp. 139-148 (2006)
22. Sun, J., Zhang, H., Li, Y.F., Wang, H.H.: Formal semantics and verification for feature modeling. In: ICECCS, pp. 303-312 (2005)
23. 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)