Specification-based testing for software product lines

Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008

Volumn , Issue , 2008, Pages 149-158

  Kahsai, Temesghen ^a   Roggenbach, Markus ^a   Schlingloff, Bernd Holger ^b  

^a SWANSEA UNIVERSITY   (United Kingdom)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EVALUATION OF TESTS; FORMAL SPECIFICATIONS; PRODUCT LINES; SOFTWARE PRODUCT LINE DEVELOPMENTS; SOFTWARE PRODUCT LINES; SOFTWARE PRODUCTS; SYSTEMS DEVELOPMENT PROCESSES; TEST CASES; TEST EVALUATIONS; TEST SUITES;

COMPUTER OPERATING PROCEDURES; COMPUTER SOFTWARE REUSABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONSUMER PRODUCTS; NETWORK ARCHITECTURE; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS; TESTING;

FORMAL METHODS;

EID: 58049182058     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2008.38     Document Type: Conference Paper

References (23)

1. Abbot Java Gui Test framework. http://abbot.sourceforge.net.
2. International Workshop on Software Product Line Testing 2007. http://www.biglever.com/split2007.
3. Software Engineering Institute, Carnegie Mellon. http://www.sei.cmu.edu.
4. Software Product Line Conference 2008. http://www.lero.ie/SPLC2008.
5. S. Barbey, D. Buchs, and C. Péraire. A theory of specification-based testing for object-oriented software. In EDCC-2, London, UK, 1996. Springer-Verlag.
6. E. Brinksma, W. Grieskamp, and J. Tretmans, editors. Perspectives of Model-Based Testing. IBFI, Schloss Dagstuhl, Germany, 2005.
7. E. Brinksma and J. Tretmans. Testing transition systems: an annotated bibliography. In Modeling and verification of parallel processes. Springer, 2001.
8. P. Clements and L. M. Northrop. Software product lines: practices and patterns. Addison-Wesley, 2001.
9. P. C. Clements and N. Weiderman. Second international workshop on development and evolution of software architectures for product families. Technical Report CMU/SEI-98-SR-003, Carnegie Mellon University, 1998.
10. A. Gimblett, M. Roggenbach, and H. Schlingloff. Towards a formal specification of an electronic payment systems in CSP-CASL. In Revised Selected Papers of WADT'04, LNCS 3423. Springer, 2005.
11. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
12. M. Jazayeri, A. Ran, and F. van der Linden. Software architecture for product families: principles and practice. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000.
13. T. Kahsai, M. Roggenbach, and B.-H. Schlingloff. Specification-based testing for refinement. In M. Hinchey and T. Margaria, editors, SEFM 2007, pages 237-247. IEEE Computer Society, 2007.
14. T. Kishi and N. Noda. Formal verification and software product lines. Commun. ACM, 49(12):73-77, 2006.
15. J. D. McGregor. Testing a software product line. Technical Report CMU/SEI-2001-TR-022, Carnegie Mellon University, Software Engineering Institute, December 2001.
16. P. D. Mosses, editor. CASL Reference Manual. LNCS 2960. Springer, 2004.
17. E. Olimpiew and H. Gomaa. Customizable requirements-based test models for software product lines. In International Workshop on Software Product Line Testing, 2006.
18. L. O'Reilly, Y. Isobe, and M. Roggenbach. Integrating Theorem Proving for Processes and Data. In M. Haveraaen, J. Power, and M. Seisenberger, editors, CALCO-jnr 2007. University of Bergen, 2008.
19. K. Pohl, G. Böckle, and F. J. van der Linden. Software Product Line Engineering. Foundations, Principles, and Techniques, volume XXVI. Springer, 2005.
20. K. Pohl and A. Metzger. Software product line testing. Commun. ACM, 49(12):78-81, 2006.
21. M. Roggenbach. CSP-CASL - A new integration of process algebra and algebraic specification. Theoretical Computer Science, 354:42-71, 2006.
22. M. Roggenbach and L. Schröder. Towards trustworthy specifications i: Consistency checks. In WADT'01, LNCS 2267. Springer, 2002.
23. A. Roscoe. The theory and practice of concurrency. Prentice Hall, 1998.