System testing of product lines: From requirements to test cases

Software Product Lines: Research Issues in Engineering and Management

Volumn , Issue , 2006, Pages 447-477

  Nebut, Clémentine ^a   Traon, Yves Le ^b   Jezequel, Jean Marc ^c  

^a LIRMM   (France)

^b ORANGE LABS   (France)

^c UNIVERSITÉ DE RENNES 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79952451617     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-540-33253-4_12     Document Type: Chapter

References (35)

1. Bertolino, A., Fantechi, A., Gnesi, A., Lami, G., Maccari, A.: Use case description of requirements for product lines. In: Proceedings of the International Workshop on Requirements Engineering for Product Lines (2002) pp 12-19
2. Bertolino, A., Gnesi, S.: Use case-based testing of product lines. In: Proceedings of the 9th European Software Engineering Conference held jointly with 10th ACM SIGSOFT International Symposium on Foundations of Software Engineering (2003) pp 355-358
3. Binder, R. V.: Testing Object-Oriented Systems (Addison-Wesley, Reading, MA 2000) Chapter 8
4. Briand, L., Labiche, Y.: A UML-based approach to system testing. J. Softw. Syst. Model. 10-42 (2002)
5. Bühne, S., Halmans, G., Pohl, K.: Modelling dependencies between variation points in use case diagrams. In: Proceedings of the 9th International Workshop on Requirements Engineering: Foundation For Software Quality - REFSQ'03 (2003)
6. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns (Addison-Wesley, Reading, MA 2001)
7. Cockburn, A.: Structuring use cases with goals. J. Object-Oriented Program. 35-40 and 56-62 (Sept/Oct. and Nov/Dec. 1997)
8. D'Souza, D. F., Wills, A. C.: Objects, Component, and Frameworks with UML: The Catalysis Approach, Chapter Interaction Models: Uses Cases, Actions, and Collaborations (Addison-Wesley, Reading, MA 1999)
9. Fröhlich, P., Link, J.: Automated test case generation from dynamic models. In: Proceedings of the 14th European Conference on Object-Oriented Programming (ECOOP'00) (2000)
10. Gomaa, H., Shin, M. E.: Multiple-view meta-modeling of software product lines. In: Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (2002) 238-246
11. Halmans, G., Pohl, K.: Communicating the variability of a software-product family to customers. Softw. Syst. Model. 2(1), 15-36 (2003)
12. Jard, C., Jéron, T.: TGV: theory, principles and algorithms. In: Proceedings of the 6th World Conference on Integrated Design and Process Technology (2002)
13. John, I., Muthig, D.: Product line modeling with generic use cases. In: Proceedings of SPLC2 Workshop on Techniques for Exploiting Commonality Through Variability Management (2002)
14. Kamsties, E., Pohl, K., Reis, S., Reuys, A.: Testing variabilities in use case models. In: Proceedings of the Fifth Workshop on Product Family Engineering. Lecture Notes in Computer Science, vol 3014 (Springer, Berlin Heidelberg New York 2003)
15. Ledru, Y., Du Bousquet, L., Maury, O., Bontron, P.: Filtering tobias combinatorial test suites. In: Proceedings of ETAPS/FASE'04 - Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, vol 2984 (Springer, Berlin Heidelberg New York 2004)
16. Lugato, D. et al: Validation and automatic test generation on UML models: the AGATHA approach. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)
17. Lugato, D., Maraux, F., Le Traon, Y., Normand, V., Gallois, J. P., Dubois, H., Pierron, J. Y., Nebut, C.: Automated functional test case synthesis from Thales industrial requirements. In: Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (2004)
18. McGregor, J. D.: Testing a software product line. Technical report, CMU/SEI (2001)
19. McGregor, J. D.: Building reusable test assets for a product line. In: Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools (Springer, Berlin Heidelberg New York 2002) pp 345-346
20. McGregor, J. D., Sykes, D. A.: A Practical Guide to Testing Object-Oriented Software (Addison-Wesley, Reading, MA 2001)
21. Meyer, B.: Applying design by contract. Computer 25(10), 40-51 (1992)
22. Muccini, H., Van der Hoek, A.: Towards testing product line architectures. In: Proceedings of the ETAPS03 Workshop "Test and Analysis of Component Based Systems" ("TACOS'03"), vol 82 (2003)
23. Nebut, C., Fleurey, F., Le Traon, Y., Jézéquel, J. M.: A requirement-based approach to test product families. In: Proceedings of the 5th Workshop on Product Families Engineering (PFE-05). Lecture Notes in Computer Science (Springer, Berlin Heidelberg New York 2003)
24. Nebut, C., Fleurey, F., Le Traon, Y., Jézéquel, J. M.: Requirements by contracts allow automated system testing. In: Proceedings of the 14th IEEE International Symposium on Software Reliability Engineering (ISSRE'03) (2003)
25. Nebut, C., Pickin, S., Le Traon, Y., Jézéquel, J. M.: Reusable test requirements for UML-modeled product lines. In: Proceedings of the Workshop REPL'02 (Requirements Engineering for Product Lines) (2002)
26. Nebut, C., Pickin, S., Le Traon, Y., Jézéquel, J. M.: Automated requirements-based generation of test cases for product families. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE'03) (2003)
27. OMG: OCL. http://www.omg.org/docs/ptc/03-08-08.pdf (2003)
28. OMG: Unified modeling language specification, version 2.0. http://www.omg.org/docs/formal/03-03-01.pdf (2004)
29. Pickin, S., Jard, C., Le Traon, Y., Jéron, T., Jézéquel, J. M., Le Guennec, A.: System test synthesis from UML models of distributed software. In: Proceedings of the 22nd Conference on Formal Techniques for Networked and Distributed Systems (FORTE'02), Houston, Texas (2002)
30. Reuys, A., Kamsties, E., Pohl, K., Reis, S.: Model-based system testing of software product families. In: Proceedings of the 17th Conference on Advanced Information Systems Engineering (CaiSE'05) (2005)
31. Ryser, J., Glinz, M.: Scent - a method employing scenarios to systematically derive test cases for system test. Technical report (Institut für Informatik, University of Zurich 2000)
32. Proceedings of the International Workshop on Software Product Line Testing (2004)
33. Tevanlinna, A. et al: Product family testing: a survey. SIGSOFT Softw. Eng. Notes 29 (2) (2004)
34. Weidenhaupt, K. et al: Scenario usage in system development: A report on current practice. IEEE Softw. (1998)
35. Ziadi, T., Hélouet, L., Jézéquel, J. M.: Behaviors generation from product lines requirements. In: Proceedings UML2004 Workshop on Software Architecture Description (2004)