Testing software product lines using incremental test generation

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2008, Pages 249-258

  Uzuncaova, Engin ^a   Garcia, Daniel ^a   Khurshid, Sarfraz ^a   Batory, Don ^b  

^a The University of Texas at Austin   (United States)

^b University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TECHNIQUE; CONVENTIONAL TECHNIQUES; FIRST ORDER LOGIC; INCREMENTAL APPROACH; ORDER OF MAGNITUDE; PRODUCT-LINES; SOFTWARE PRODUCT LINE; SPEED-UP; TEST GENERATIONS; TEST INPUTS; TESTING SOFTWARE;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; FORMAL LOGIC; NETWORK ARCHITECTURE; TESTING;

SOFTWARE RELIABILITY;

EID: 67249136618     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2008.56     Document Type: Conference Paper

References (26)

1. th Int'l Conference on Verification, Model Checking and Abstract Interpretation, Kiawah Island, SC, December 1999.
2. C. W. Barrett, D. L. Dill, and A. Stump. Checking satisfiability of first-order formulas by incremental translation to sat. In Proc. of the 14th Int'l Conference on Computer Aided Verification, July 2002.
3. D. Batory and S. O'Malley. The design and implementation of hierarchical software systems with reusable components. Comm. of the ACM, 1(4):355-398, 1992.
4. D. Batory, J. N. Sarvela, and A. Rauschmayer. Scaling step-wise refinement. IEEE Transactions on Software Engineering, 30(6):355-371, June 2004.
5. M. Calder, M. Kolberg, E. H. Magill, and S. Reiff- Marganiec. Feature interaction: a critical review and considered forecast. Computer Networks, 41(1):115-141, 2003. (Pubitemid 35460343)
6. th ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 1999.
7. Y. L. T. Cĺementine Nebut and J.-M. J́eźequel. System testing of product lines: From requirements to test cases. In Software Product Lines - Research Issues in Engineering and Management, pages 447-478.Springer, 2006.
8. D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. Patton. The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering, 23(7):437-444, 1997. (Pubitemid 127828305)
9. M. B. Cohen, M. B. Dwyer, and J. Shi. Exploiting constraint solving history to construct interaction test suites. Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, pages 121-132, 10-14 Sept. 2007.
10. M. B. Cohen, M. B. Dwyer, and J. Shi. Coverage and adequacy in software product line testing. In Proc. Of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, NY, July 2006.
11. N. Een and N. Sorensson. An extensible sat-solver. In Proc. of the 6th Int'l Conference on Theory and Applications of Satisfiability Testing, Italy, May 2003.
12. J. Goodenough and S. Gerhart. Toward a theory of test data selection. IEEE Transactions on Software Engineering, June 1975.
13. D. Jackson. Alloy: A lightweight object modeling notation. ACM Transactions on Software Engineering and Methodology, 11(2), April 2002.
14. D. Jackson. Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge, MA, 2006.
15. S. Khurshid. Generating Structurally Complex Tests from Declarative Constraints. PhD thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, December 2003.
16. B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.
17. J. Liu, D. Batory, and S. Nedunuri. Modeling interactions in feature oriented software designs. In Proc. of the the 8th Int'l Conference on Feature Interactions in Telecommunications and Software Systems, 2005.
18. H. Muccini and A. van der Hoek. Towards testing product line architectures. In Proc. of the Int'l Workshop on Test and Analysis of Component-Based Systems, Warsaw, Poland, April 2003.
19. G. Rothermel and M. J. Harrold. Analyzing regression test selection techniques. IEEE Transactions on Software Engineering, 22(8):529-551, 1996. (Pubitemid 126771681)
20. th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon, Portugal, September 2005.
21. K. Sullivan, J. Yang, D. Coppit, S. Khurshid, and D. Jackson. Software assurance by bounded exhaustive testing. In Proc. of the Int'l Symposium on Software Testing and Analysis, 2004.
22. th Int'l Conference on Tools and Algorithms for Construction and Analysis of Systems, Braga, Portugal, March 2007.
23. S. Trujillo, D. Batory, and O. Diaz. Feature oriented model driven development: A case study for portlets. In Proc. of the 29th Int'l Conference on Software Engineering, Minneapolis, MN, May 2007.
24. E. Uzuncaova, D. Garcia, S. Khurshid, and D. Batory. A specification-based approach to testing software product lines. In Proc. of the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Croatia, September 2007. Poster Paper.
25. E. Uzuncaova and S. Khurshid. Constraint prioritization for efficient analysis of declarative models. In Proc. of the 15th Int'l Symposium on Formal Methods, Turku, Finland, May 2008.
26. M. Vaziri. Finding Bugs Using a Constraint Solver. PhD thesis, Computer Science and Artificial Intelligence Lab, MIT, 2003.