Proceedings ArticleDOI
Tools and techniques for Java API testing
Daniel Hoffman,Paul Strooper +1 more
- pp 235-245
Reads0
Chats0
TLDR
The "Roast" tool and techniques for the testing of Java APIs are presented, and quantitative results are presented to substantiate the practicality and effectiveness of the approach.Abstract:
With the advent of object-oriented languages and the portability of Java APIs, the development and use of reusable software components is becoming a reality. Effective component reuse depends on component reliability, which in turn depends on thorough testing. The literature, however, provides few approaches to component testing that are practical for the input generation and output checking of the large number of test cases required. In this paper, we present the "Roast" tool and techniques for the testing of Java APIs. The tool and techniques are illustrated on two non-trivial components, and quantitative results are presented to substantiate the practicality and effectiveness of the approach.read more
Citations
More filters
Dynamically discovering likely program invariants
Michael D. Ernst,David Notkin +1 more
TL;DR: This dissertation shows how invariants can be dynamically detected from program traces that capture variable values at program points of interest and presents techniques for detecting such invariants from traces, assesses their efficacy, and points the way for future research.
Proceedings ArticleDOI
Improving test suites via operational abstraction
TL;DR: The operational difference technique for generating, augmenting, and minimizing test suites is presented, which is analogous to structural code coverage techniques, but it operates in the semantic domain of program properties rather than the syntacticdomain of program text.
Journal ArticleDOI
Using software architecture for code testing
TL;DR: This research exploits the specification of SA dynamics to identify useful schemes of interactions between system components and to select test classes corresponding to relevant architectural behaviors, using labeled transition systems called ALTSs.
Journal ArticleDOI
Tool support for testing concurrent Java components
TL;DR: A method and tool support for testing concurrent Java components and their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.
Patent
Integration functionality for a test tool for application programming interfaces
Sowmya Subramanian,Larry Dean Harris,Sandeep Khemani,Thomas W. Nickerson,George A. Buzsaki,Michael De Groot +5 more
TL;DR: In this paper, a method for capturing a call to an API using a framework including an execution engine that communicate with an adapter to cause the API call to be executed is described.
References
More filters
Journal ArticleDOI
The category-partition method for specifying and generating fuctional tests
Thomas J. Ostrand,M. J. Balcer +1 more
TL;DR: A method for creating functional test suites has been developed in which a test engineer analyzes the system specification, writes a series of formal test specifications, and then uses a generator tool to produce test descriptions from which test scripts are written.
Journal ArticleDOI
A System to Generate Test Data and Symbolically Execute Programs
TL;DR: A system that attempts to generate test data for programs written in ANSI Fortran by symbolically executing the path and creating a set of constraints on the program's input variables, which facilitates error detection and being a possible aid in assertion generation and automatic program documentation.
Journal ArticleDOI
Software reliability measurement
TL;DR: A theory of software reliability based on execution or cpu time, and a concomitant model of the testing and debugging process that permits execution time to be related to calendar time are outlined.
Proceedings ArticleDOI
Model-based testing in practice
Siddhartha R. Dalal,Ashish Jain,N. Karunanithi,J. M. Leaton,C. M. Lott,Gardner C. Patton,B. M. Horowitz +6 more
TL;DR: Four case studies presented here offer details and results of applying combinatorial test-generation techniques on a large scale to diverse applications and their insights into what works in practice and thoughts about obstacles to transferring this technology into testing organizations.
Journal ArticleDOI
Commonality and variability in software engineering
TL;DR: The article describes how to perform domain engineering by identifying the commonalities and variabilities within a family of products through interesting examples dealing with reuse libraries, design patterns, and programming language design.