License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-26180
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2618/
Go to the corresponding Portal


Alshahwan, Nadia ; Jia, Yue ; Lakhotia, Kiran ; Fraser, Gordon ; Shuler, David ; Tonella, Paolo

AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation

pdf-format:
Document 1.pdf (233 KB)


Abstract

During testing, there are several reasons to exclude some of the components used by the unit under test, such as: (1) the component affects the state of the world in an irreversible way; (2) the component is not accessible for testing purposes (e.g., a web service); (3) the component introduces a major performance degradation to the testing phase (e.g., due to long computations); (4) it is hard (i.e., statistically unlikely) to obtain the output required by the test from the component. In such cases, we replace the component with a mock one. In this paper, we integrate the synthesis of mock components with the generation of test cases for the current testing goal (e.g., coverage). To avoid the generation of meaningless data, which may lead to assertion violation not related to bugs, we include a weak mock postcondition. We consider ways to automatically synthesize such postcondition. We empirically evaluate the quality of the mocks generated by our approach, as well as the benefits mocks introduce in terms of improved coverage and improved performance of the test case generator.

BibTeX - Entry

@InProceedings{alshahwan_et_al:DSP:2010:2618,
  author =	{Nadia Alshahwan and Yue Jia and Kiran Lakhotia and Gordon Fraser and David Shuler and Paolo Tonella},
  title =	{AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation},
  booktitle =	{Practical Software Testing : Tool Automation and Human Factors},
  year =	{2010},
  editor =	{Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie},
  number =	{10111},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2618},
  annote =	{Keywords: Test case generation, code analysis, automated software testing}
}

Keywords: Test case generation, code analysis, automated software testing
Seminar: 10111 - Practical Software Testing : Tool Automation and Human Factors
Issue Date: 2010
Date of publication: 28.06.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI