NDLI: Korat:automated testing based on Java predicates

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

Volume 27, Issue 6, November 2002

Volume 27, Issue 5, September 2002

Volume 27, Issue 4, July 2002

Parameterized object sensitivity for points-to and side-effect analyses for Java

A conservative algorithm for computing the flow of permissions in Java programs

The distribution of faults in a large industrial software system

Efficient instrumentation for code coverage testing

Generating finite state machines from abstract state machines

On testing and conformance relations for UML statechart diagrams behaviours

Refactoring design models for inductive verification

Rescaling reliability bounds for a new operational profile

ISSTA 2002 panel

Isolating failure-inducing thread schedules

Model checking Java programs using structural heuristics

Domain partitioning for open reactive systems

Effectively prioritizing tests in development environment

Experiences in automating the testing of SS7 signalling transfer points

Specification, verification, and synthesis of concurrency control components

Is ISSTA research relevant to industrial users? panel - ISSTA 2002

Automatic extraction of object-oriented component interfaces

Evaluating the precision of static reference analysis using profiling

Investigating the use of analysis contracts to support fault isolation in object oriented code

Dependence analysis in reduction of requirement based test suites

Projected state machine coverage for software testing

Conformance test experiments for distributed real-time systems

Continuity in software systems

Is ISSTA research relevant to industry?

Automatic generation of program specifications

Ericsson lab Italy

Panel discussion

Volume 27, Issue 3, May 2002

Volume 27, Issue 2, March 2002

Volume 27, Issue 1, January 2002

Korat:automated testing based on Java predicates

Content Provider	ACM Digital Library
Author	Marinov, Darko Boyapati, Chandrasekhar Khurshid, Sarfraz
Abstract	This paper presents Korat, a novel framework for automated testing of Java programs. Given a formal specification for a method, Korat uses the method precondition to automatically generate all (nonisomorphic) test cases up to a given small size. Korat then executes the method on each test case, and uses the method postcondition as a test oracle to check the correctness of each output.To generate test cases for a method, Korat constructs a Java predicate (i.e., a method that returns a boolean) from the method's pre-condition. The heart of Korat is a technique for automatic test case generation: given a predicate and a bound on the size of its inputs, Korat generates all (nonisomorphic) inputs for which the predicate returns true. Korat exhaustively explores the bounded input space of the predicate but does so efficiently by monitoring the predicate's executions and pruning large portions of the search space.This paper illustrates the use of Korat for testing several data structures, including some from the Java Collections Framework. The experimental results show that it is feasible to generate test cases from Java predicates, even when the search space for inputs is very large. This paper also compares Korat with a testing framework based on declarative specifications. Contrary to our initial expectation, the experiments show that Korat generates test cases much faster than the declarative framework.
Starting Page	123
Ending Page	133
Page Count	11
File Format	PDF
ISSN	01635948
DOI	10.1145/566171.566191
Journal	ACM SIGSOFT Software Engineering Notes (SOEN)
Volume Number	27
Issue Number	4
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1979-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
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