Teaching and training developer-testing techniques and tool support

Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, SPLASH '10

Volumn , Issue , 2010, Pages 175-182

  Xie, Tao ^a   De Halleux, Jonathan ^b   Tillmann, Nikolai ^b   Schulte, Wolfram ^b  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Mock objects; Parameterized unit testing; Pex; Symbolic execution; Testing; Theories; Unit testing

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; LIFE CYCLE; OBJECT ORIENTED PROGRAMMING; SOFTWARE DESIGN; SOFTWARE RELIABILITY; TESTING;

MOCK OBJECTS; PARAMETERIZED UNIT TESTING; SYMBOLIC EXECUTION; THEORIES; UNIT TESTING;

SOFTWARE TESTING;

EID: 78650151436     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1869542.1869570     Document Type: Conference Paper

References (26)

1. JUnit. http://www.junit.org.
2. Microsoft Research Code Contracts. http://research.microsoft.com/en-us/ projects/contracts.
3. Microsoft Research Pex. http://research.microsoft.com/Pex.
4. NUnit. http://www.nunit.org/.
5. Pex for fun. http://www.pexforfun.com/.
6. P. Ammann and J. Offutt. Introduction to Software Testing. Cambridge University Press, 2008. http://www.introsoftwaretesting.com/.
7. K. Beck. Test Driven Development: By Example. Addison-Wesley, 2003.
8. J. de Halleux and N. Tillmann. Moles: tool-assisted environment isolation with closures. In Proc. TOOLS, pages 253-270, 2010.
9. L. M. de Moura and N. Bjørner. Z3: An efficient SMT solver. In Proc. TACAS, pages 337-340, 2008.
10. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison Wesley, 1999.
11. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Proc. PLDI, pages 213-223, 2005.
12. J. V. Guttag and J. J. Horning. The algebraic specification of abstract data types. Acta Informatica, 10:27-52, 1978.
13. C. A. R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10):576-580, 1969.
14. J. Jacky, M. Veanes, C. Campbell, and W. Schulte. Modelbased Software Testing and Analysis with C#. Cambridge University Press, 2008.
15. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
16. M. R. Marri, S. Thummalapenta, T. Xie, N. Tillmann, and J. de Halleux. Retrofitting unit tests for parameterized unit testing. Technical Report TR-2010-9, North Carolina State University Department of Computer Science, Raleigh, NC, March 2010.
17. M. R. Marri, T. Xie, N. Tillmann, J. de Halleux, and W. Schulte. An empirical study of testing file-system-dependent software with mock objects. In Proc. AST, Business and Industry Case Studies, pages 149-153, 2009.
18. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1988.
19. R. Pandita, T. Xie, N. Tillmann, and J. de Halleux. Guided test generation for coverage criteria. In Proc. ICSM, 2010.
20. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In Proc. ESEC/FSE, pages 263-272, 2005.
21. N. Tillmann and J. de Halleux. Pex - white box test generation for .NET. In Proc. TAP, pages 134-153, 2008.
22. N. Tillmann and W. Schulte. Parameterized unit tests. In Proc. ESEC/FSE, pages 253-262, 2005.
23. N. Tillmann and W. Schulte. Mock-object generation with behavior. In Proc. ASE, pages 365-368, 2006.
24. G. Venolia, R. DeLine, and T. LaToza. Software development at microsoft observed. Technical Report MSR-TR-2005-140, Microsoft Research, Redmond, WA, October 2005.
25. X. Xiao, T. Xie, N. Tillmann, and J. de Halleux. Issue analysis for residual structural coverage in dynamic symbolic execution. Technical Report TR-2010-7, North Carolina State University Department of Computer Science, Raleigh, NC, March 2010.
26. L. Zhang, T. Xie, L. Zhang, N. Tillmann, J. de Halleux, and H. Mei. Test generation via dynamic symbolic execution for mutation testing. In Proc. ICSM, 2010.