Mock-object generation with behavior

Authors:
Nikolai Tillmann;Wolfram Schulte
Affiliations:
Microsoft Research, One Microsoft Way, Redmond WA, USA;Microsoft Research, One Microsoft Way, Redmond WA, USA
Venue:
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Year:
2006

Citing 0
Cited 12

White-box testing of behavioral web service contracts with Pex

TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Automatically extracting mock object behavior from Design by Contract™ specification for test data generation

Proceedings of the 5th Workshop on Automation of Software Test
Parameterized unit testing: theory and practice

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
OCAT: object capture-based automated testing

Proceedings of the 19th international symposium on Software testing and analysis
MODA: automated test generation for database applications via mock objects

Proceedings of the IEEE/ACM international conference on Automated software engineering
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
Precise identification of problems for structural test generation

Proceedings of the 33rd International Conference on Software Engineering
Covana: precise identification of problems in pex

Proceedings of the 33rd International Conference on Software Engineering
Problem identification for structural test generation: first step towards cooperative developer testing

Proceedings of the 33rd International Conference on Software Engineering
Using debuggers to understand failed verification attempts

FM'11 Proceedings of the 17th international conference on Formal methods
Declarative mocking

Proceedings of the 2013 International Symposium on Software Testing and Analysis
Guided test generation for database applications via synthesized database interactions

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Unit testing is a popular way to guide software development and testing. Each unit test should target a single feature, but in practice it is difficult to test features in isolation. Mock objects are a well-known technique to substitute parts of a program which are irrelevant for a particular unit test. Today mock objects are usually written manually supported by tools that generate method stubs or distill behavior from existing programs. We have developed a prototype tool based on symbolic execution of .NET code that generates mock objects including their behavior by analyzing all uses of the mock object in a given unit test. It is not required that an actual implementation of the mocked behavior exists. We are working towards an integration of our tool into Visual Studio Team System.