Automated testing of environment-dependent programs - A case study of modeling the file system for Pex

ITNG 2009 - 6th International Conference on Information Technology: New Generations

Volumn , Issue , 2009, Pages 758-762

  Kong, Soonho ^a   Tillmann, Nikolai ^a   De Halleux, Jonathan ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Automated testing; Dynamic symbolic execution; Environment modeling; Test generation; Unit testing

Indexed keywords

ABSTRACTION LAYER; AUTOMATED SOFTWARE TESTING; AUTOMATED TEST GENERATIONS; AUTOMATED TESTING; CORNER CASE; FILE SYSTEMS; PARAMETERIZED MODEL; SOFTWARE DEVELOPER; SYMBOLIC EXECUTION; TEST CASE; TEST CODE;

ABSTRACTING; APPLICATION PROGRAMMING INTERFACES (API); AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; INFORMATION TECHNOLOGY; TESTING;

SOFTWARE TESTING;

EID: 77951163262     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITNG.2009.80     Document Type: Conference Paper

References (12)

1. Microsoft Research Redmond, "Pex", http://research.microsoft. com/pex
2. C. C. Team, "Codeplex Client 2007", http://www.codeplex.com/ CodePlexClient
3. Wikipedia, "Mock Object", http://en.wikipedia.org/wiki/Mock- Object
4. Ayende Rahiem, "Rhino Mocks", http://ayende.com/projects/rhino- mocks.aspx.
5. "Moq", http://code.google.com/p/moq/
6. "NMock", http://nmock.org
7. Nikolai Tillmann, Jonathan de Halleux, "Pex - White Box Test Generation for .NET", Proc. of TAP 2008, LNCS, vol.4966, pages 134-153, April 2008
8. Patrice Godefroid, Nils Klarlund, Koushik Sen, "DART: directed automated random testing", SIGPLAN Notices, Vol.40-6, pages 213-223, 2005
9. Oksana Tkachuk, Matthew B. Dwyer, "Automated environment generation for software model checking", In Proceedings of the 18th International Conference on Automated Software Engineering, pages 116-129, 2003
10. Patrice Godefroid, Model Checking for programming languages using VeriSoft, Proceedings of the 24th ACM Symposium on Principles of Programming Languages, pages 174-186, 1997.
11. Nikolai Tillmann, Wolfram Schulte, Mock-object generation with behavior, Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, IEEE Computer Society, pages 365-368, September 2006.
12. Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Automatically Closing Open Reactive Programs, Proceedings on Programming Language Design and Implementation (PLDI}, pages 345-357, 1998.