Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleSeptember 2010
An approach for class testing from class contracts
ATVA'10: Proceedings of the 8th international conference on Automated technology for verification and analysisSeptember 2010, Pages 203–217Adequate testing of a class requires testing valid and invalid sequences of class method interactions. In this paper, we show that class contracts can be used to generate effective state based unit tests algorithmically for testing meaningful ...
- ArticleMay 2005
SCTE: software component testing environments
ICCSA'05: Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part IIMay 2005, Pages 137–146https://doi.org/10.1007/11424826_15There are various number of software development approaches that can be believed as component-based software. Setting up the rules for the prediction of properties in components based system, It is necessary to count the variety of approaches that ...
- articleMay 2005
Reusing class-based test cases for testing object-oriented framework interface classes: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice (JSME), Volume 17, Issue 3May 2005, Pages 169–196An application framework provides a reusable design and implementation for a family of software systems. Frameworks are introduced to reduce the cost of a product line (i.e., family of products that share the common features) and to increase the ...
- ArticleAugust 2000
Automated Testing of Classes
ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysisAugust 2000, Pages 39–48https://doi.org/10.1145/347324.348870Programs developed with object technologies have unique features that often make traditional testing methods inadequate. Consider, for instance, the dependence between the state of an object and the behavior of that object: The outcome of a method ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 25 Issue 5, Sept. 2000 - ArticleDecember 1996
A Class Testing Technique Based on Data Bindings
APSEC '96: Proceedings of the Third Asia-Pacific Software Engineering ConferenceDecember 1996, Page 104We present a testing technique based on data bindings for testing a class. Data bindings can be used to measure the interface between the modules of a system and reflect the possibility of data interactions between modules. Our approach considers the ...
- ArticleAugust 1996
Applying Conventional Testing Techniques for Class Testing
COMPSAC '96: Proceedings of the 20th Conference on Computer Software and ApplicationsAugust 1996, Page 447Abstract: We discuss how conventional testing criteria such as branch coverage can be applied to the testing of member functions inside a class. To support such testing techniques we employ symbolic execution techniques and finite state machines (FSMs). ...