NDLI: Automatically extracting mock object behavior from Design by Contract™ specification for test data generation

Please wait, while we are loading the content...

Test automation on mobile device

Automating performance testing of interactive Java applications

Automatic detection of previously-unseen application states for deployment environment testing and analysis

Model-based testing of multiple GUI variants using the GUI test generator

Generation of executable test cases based on behavioral UML system models

Abstract path testing with PathCrawler

Automatically extracting mock object behavior from Design by Contract™ specification for test data generation

Automating the mutation testing of aspect-oriented Java programs

Structural coverage of feasible code

Constraint-based test database generation for SQL queries

Property driven development in Erlang, by example

An effective method to control interrupt handler for data race detection

Model-based testing in industry: a case study with two MBT tools

Automating software tests with partial oracles in integrated environments

Using temporal relations to specify and test an instant messaging server

Ranking programs using black box testing

Towards automating the generation of mutation tests

Pattern-based generation of test plans for open distributed processing systems

Calculating the usage probabilities of statistical usage models by constraints optimization

Automatically extracting mock object behavior from Design by Contract™ specification for test data generation

Content Provider	ACM Digital Library
Author	Maller, Andreas Galler, Stefan J. Wotawa, Franz
Abstract	Test data generation is an important task in the process of automated unit test generation. Random and heuristic approaches are well known for test input data generation. Unfortunately, in the presence of complex pre-conditions especially in the case of non-primitive data types those approaches often fail. A promising technique for generating an object that exactly satisfies a given pre-condition is mocking, i.e., replacing the concrete implementation with an implementation only considering the necessary behavior for a specific test case. In this paper we follow this technique and present an approach for automatically deriving the behavior of mock objects from given Design by Contract™ specifications. The generated mock objects behave according to the Design by Contract™ specification of the original class. Furthermore, we make sure that the observed behavior of the mock object satisfies the pre-condition of the method under test. We evaluate the approach using the Java implementations of 20 common Design Patterns and a stack based calculator. Our approach clearly outperforms pure random data generation in terms of line coverage.
Starting Page	43
Ending Page	50
Page Count	8
File Format	PDF
ISBN	9781605589701
DOI	10.1145/1808266.1808273
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2010-05-03
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Design-by-contract Automated unit testing Mock object Test data generation
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in