Automatic generation of load tests

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 43-52

  Zhang, Pingyu ^a   Elbaum, Sebastian ^a   Dwyer, Matthew B ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

Load testing; symbolic execution

Indexed keywords

AUTOMATIC GENERATION; COMPLEX INPUTS; INPUT VALUES; LOAD TEST; MEMORY CONSUMPTION; PEAK CONDITIONS; PERFORMANCE MEASURE; PROGRAM BEHAVIOR; SYMBOLIC EXECUTION; SYSTEM'S PERFORMANCE; TEST GENERATIONS;

LOAD TESTING; SOFTWARE ENGINEERING;

SOFTWARE TESTING;

EID: 84855462010     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2011.6100093     Document Type: Conference Paper

References (28)

1. A. Avritzer and E. Weyuker. The automatic generation of load test suites and the assessment of the resulting software. IEEE Trans. Softw. Eng., 21(9), Sept 1995.
2. M. Bayan, Cangussu, and Jo ao W. Automatic feedback, control-based, stress and load testing. In Proc. ACM Symp. Applied Comp., 2008.
3. G. Bolch, S. Greiner, H. de Meer, and K. Trivedi. Queueing networks and Markov chains: modeling and performance evaluation with computer science applications. Wiley-Interscience, 1998.
4. J. Burnim, S. Juvekar, and K. Sen. Wise: Automated test generation for worst-case complexity. In Proc. Int'l. Conf. Softw. Eng., 2009.
5. S. Frolund and J. Koistinen. Qml: A language for quality of service specification. Technical Report 10, HP Laboratories, 1998.
6. S. Goldsmith, A. Aiken, and D. Wilkerson. Measuring empirical computational complexity. In Proc. Euro. Softw. Eng. Conf. Symp. Found. Softw. Eng., 2007.
7. S. Gulwani, K. Mehra, and T. Chilimbi. Speed: Precise and efficient state estimation of program computational complexity. In Proc. Symp. Princip. of Prog. Lang., 2009.
8. J. A. Hartigan and M. A. Wang. Algorithm as 136: A k-means clustering algorithm. Journal Royal Stat. Society, 1979.
9. H. Hermanns, U. Herzog, and J. P. Katoen. Process algebra for performance evaluation. Theory. Comp. Sci., 274(1-2):43-87, 2002. (Pubitemid 34189250)
10. S. Khurshid, C. S. Pǎ;sǎ;reanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. Int'l Conf. Tools Alg. Constr. Anal. Systems, 2003.
11. J. C. King. Symbolic execution and program testing. Comm. of the ACM, 19(7), 1976.
12. Silk Performer. http://microfocus.com/products/SilkPerformer.
13. C. Pǎsǎreanu, P. Mehlitz, D. Bushnell, K. Gundy-Burlet, M. Lowry, S. Person, and M. Pape. Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. In Proc. Int'l Symp. Softw. Test. Anal., 2008.
14. C. Pǎsǎreanu and W. Visser. A survey of new trends in symbolic execution for software testing and analysis. Int'l. J. Softw. Tools Tech. Transf., 2009.
15. E. Sherman, M. Dwyer, and S. Elbaum. Saturation-based testing of concurrent programs. In Proc. Euro. Softw. Eng. Conf. Symp. Found. Softw. Eng., 2009.
16. C. Smith and L. Williams. Performance solutions: a practical guide to creating responsive, scalable software. Addison Wesley Longman Publishing Co., Inc., 2002.
17. Choco Solver. http://www.emn.fr/x-info/choco-solver/doku.php.
18. SPEC. http://www.spec.org/cpu2000/CINT2000/164.gzip/docs/164.gzip.
19. Load Test Tools. http://www.softwareqatest.com/qatweb1.html.
20. CVC3 Solver Website. http://www.cs.nyu.edu/acsys/cvc3/.
21. Java Path Finder Website. http://babelfish.arc.nasa.gov/trac/jpf.
22. JZlib Website. http://www.jcraft.com/jzlib/.
23. SAT Competition Website. http://www.satcompetition.org/.
24. SAT4J Website. http://www.sat4j.org/.
25. TinySQL Website. http://www.jepstone.net/tinySQL/.
26. Yices Solver Website. http://yices.csl.sri.com/.
27. C. Yang and L. Pollock. Towards a structural load testing tool. In Proc. Int'l Symp. Softw. Test. Anal., 1996.
28. L. Zhang and C. Krintz. Adaptive code unloading for resource-constrained jvms. In Proc. Lang. Compilers Tools Embed. Sys., 2004.