Reducing combinatorics in testing product lines

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11

Volumn , Issue , 2011, Pages 57-67

  Kim, Chang Hwan Peter ^a   Batory, Don S ^a   Khurshid, Sarfraz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Feature oriented programming; Software product lines; Static analysis; Testing

Indexed keywords

COMBINATORICS; FEATURE COMBINATION; FEATURE-ORIENTED PROGRAMMING; PRODUCT-LINES; SOFTWARE PRODUCT LINE; SOFTWARE PRODUCT LINES; STATIC PROGRAM ANALYSIS;

BEHAVIORAL RESEARCH; COMPUTER SYSTEMS PROGRAMMING; NETWORK ARCHITECTURE; SOFTWARE DESIGN;

STATIC ANALYSIS;

EID: 79955127860     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1960275.1960284     Document Type: Conference Paper

References (39)

1. A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2006.
2. D. Batory. Ahead tool suite. http://www.cs.utexas.edu/users/schwartz/ATS. html.
3. D. Batory. Feature models, grammars, and propositional formulas. Technical Report TR-05-14, University of Texas at Austin, Texas, Mar. 2005.
4. D. Batory, B. Lofaso, and Y. Smaragdakis. Jts: Tools for implementing domain-specific languages. In In Proceedings Fifth International Conference on Software Reuse, pages 143-153. IEEE.
5. A. Bertolino and S. Gnesi. Pluto: A test methodology for product families. In F. van der Linden, editor, PFE, volume 3014 of Lecture Notes in Computer Science, pages 181-197. Springer, 2003.
6. E. Bodden. Private and Soot newsgroup correspondence, 2010.
7. C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java predicates. In ISSTA'02, July 2002.
8. A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin. Model checking lots of systems: Effcient verification of temporal properties in software product lines (to appear). In 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings. IEEE, 2010. Acceptance rate: 13.7.
9. C. Clifton, G. T. Leavens, and J. Noble. MAO: Ownership and effects for more effective reasoning about aspects. In ECOOP'07.
10. M. B. Cohen, M. B. Dwyer, and J. Shi. Coverage and adequacy in software product line testing. In ROSATEA'06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis. ACM, 2006.
11. M. B. Cohen, M. B. Dwyer, and J. Shi. Interaction testing of highly-con-gurable systems in the presence of constraints. In ISSTA'07: Proceedings of the 2007 international symposium on Software testing and analysis, pages 129-139, New York, NY, USA, 2007. ACM. (Pubitemid 47317587)
12. P. Cousot and R. Cousot. Modular static program analysis. In Proceedings of Compiler Construction, pages 159-178. Springer-Verlag, 2002.
13. D. S. Dantas and D. Walker. Harmless advice. SIGPLAN Not., 41(1):383-396, 2006.
14. D. Giannakopoulou, C. S. Pasareanu, and H. Barringer. Assumption generation for software component verification. In ASE'02.
15. M. J. Harrold, J. A. Jones, T. Li, D. Liang, A. Orso, M. Pennings, S. Sinha, S. A. Spoon, and A. Gujarathi. Regression test selection for java software. In OOPSLA'01.
16. G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5), May 1997.
17. M. Janota. Do sat solvers make good configurators? In S. Thiel and K. Pohl, editors, SPLC (2), pages 191-195. Lero Int. Science Centre, University of Limerick, Ireland, 2008.
18. C. H. P. Kim. Reducing combinatorics in product line testing: Tool and results. Available from http://userweb.cs.utexas.edu/~chpkim/spltesting, 2010.
19. C. H. P. Kim, D. Batory, and S. Khurshid. Eliminating Products to Test in a Software Product Line. In ASE2010 (Tentatively Accepted Poster Session Paper). Available from http://userweb.cs.utexas.edu/~chpkim/chpkim-ase10-short. pdf.
20. C. H. P. Kim, E. Bodden, D. S. Batory, and S. Khurshid. Reducing configurations to monitor in a software product line. In H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. J. Pace, G. Rosu, O. Sokolsky, and N. Tillmann, editors, RV, volume 6418 of Lecture Notes in Computer Science, pages 285-299. Springer, 2010.
21. A. Le, O. Lhoták, and L. Hendren. Using inter-procedural side-effect information in jit optimizations. In Compiler Construction, volume 3443 of LNCS, 2005.
22. O. Lhoták and L. Hendren. Scaling Java points-to analysis using Spark. In G. Hedin, editor, Compiler Construction, 12th International Conference, volume2622 of LNCS, pages 153-169, Warsaw, Poland, April 2003. Springer.
23. H. Li, S. Krishnamurthi, and K. Fisler. Verifying cross-cutting features as open systems. SIGSOFT Softw. Eng. Notes, 27(6):89-98, 2002.
24. R. E. Lopez-herrejon and D. Batory. A standard problem for evaluating product-line methodologies. In Proc. 2001 Conf. Generative and Component-Based Software Eng, pages 10-24. Springer, 2001. (Pubitemid 33348095)
25. R. Lutz. Survey of product-line verification and validation techniques. Technical report, Jet Propulsion Laboratory, NASA, May 2007.
26. J. McGregor. Testing a Software Product Line. Technical Report CMU/SEI-2001-TR-022, CMU/SEI, Mar. 2001. Available from http://www.sei.cmu.edu/ pub/documents/01.reports/pdf/01tr022.pdf.
27. C. Nebut, Y. L. Traon, and J.-M. Jézéquel. System testing of product lines: From requirements to test cases. In Software Product Lines, pages 447-478. Springer-Verlag, 2006.
28. Oracle. Java lesson: Exceptions. Document available at http://download.oracle.com/javase/tutorial/essential/exceptions/.
29. K. Pohl and A. Metzger. Software product line testing. Commun. ACM, 49(12):78-81, 2006.
30. C. Prehofer. Semantic reasoning about feature composition via multiple aspect-weavings. In GPCE'06.
31. G. Rothermel and M. J. Harrold. Analyzing regression test selection techniques. IEEE Transactions on Software Engineering, 22, 1996.
32. Sable Group. Soot: a Java optimization framework. http://www.sable. mcgill.ca/soot/.
33. SAT4J. SAT4J. http://www.sat4j.org/.
34. G. Snelting and F. Tip. Semantics-based composition of class hierarchies. In ECOOP'02.
35. S. Thaker, D. S. Batory, D. Kitchin, and W. R. Cook. Safe composition of product lines. In C. Consel and J. L. Lawall, editors, GPCE, pages 95-104. ACM, 2007. (Pubitemid 351203843)
36. E. Uzuncaova, D. Garcia, S. Khurshid, and D. S. Batory. Testing software product lines using incremental test generation. In ISSRE'08.
37. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. of the 15th Conference on Automated Software Engineering (ASE), Grenoble, France, 2000.
38. M. Weiser. Program slicing. In ICSE'81: Proceedings of the 5th international conference on Software engineering, pages 439-449, Piscataway, NJ, USA, 1981. IEEE Press.
39. T. Xie, D. Marinov, and D. Notkin. Rostra: A framework for detecting redundant object-oriented unit tests. In ASE'04.