Filters








44 Hits in 1.6 sec

The ASTOOT approach to testing object-oriented programs

Roong-Ko Doong, Phyllis G. Frankl
1994 ACM Transactions on Software Engineering and Methodology  
This article describes a new approach to the unit testing of object-oriented programs, a set of tools based on this approach, and two case studies.  ...  Tests are executed by sending the sequences to objects of the class under test, then invoking a user-supplied equivalence-checking mechanism.  ...  ACKNOWLEDGMENTS The authors would like to thank Dan Hoffman  ... 
doi:10.1145/192218.192221 fatcat:y5vl3zp56rbsdmgsfmxjn7ytr4

Automatic generation of cost-effective test oracles

Alberto Goffi
2014 Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014  
So far, research in software testing focused mostly on automating the generation of test inputs and the execution of test suites, paying less attention to the generation of test oracles.  ...  Software testing is the primary activity to guarantee some level of quality of software systems.  ...  Unlike our approach, ASTOOT requires the algebraic specifications of the system under test.  ... 
doi:10.1145/2591062.2591078 dblp:conf/icse/Goffi14 fatcat:kiua7gm7evamzipa53p6ffdrgm

Testing object-oriented industrial software without precise oracles or results

T. H. Tse, Francis C. M. Lau, W. K. Chan, Peter C. K. Liu, Colin K. F. Luk
2007 Communications of the ACM  
The ASTOOT approach, or A Set of Tools for Object-Oriented Testing, introduced a technique for testing pairs of objects that are expected to be equivalent or nonequivalent in their behavior.  ...  In black and white: An integrated approach to class-level testing of object-oriented programs. ACM Transactions on Software Engineering and Methodology 7, 3 (July 1998), 250-295. 14. Doong, R.  ...  This project was supported in part by a matching grant from ASM Assembly Automation Ltd. and the Innovation and Technology Commission in Hong Kong (project no.  ... 
doi:10.1145/1278201.1278210 fatcat:pzbroaeogfhe3izzknbqdmw22e

The axioms strike back

Anya Helene Bagge, Valentin David, Magne Haveraaen
2009 Proceedings of the eighth international conference on Generative programming and component engineering - GPCE '09  
Axioms, known from program specification, allow for an alternative way of generating test cases, where the intended functionality is described as rules or equations that can be checked automatically.  ...  Modern development practises encourage extensive testing of code while it is still under development, using unit tests to check individual code units in isolation.  ...  Acknowledgments This research was funded in part by the Research Council of Norway.  ... 
doi:10.1145/1621607.1621612 dblp:conf/gpce/BaggeDH09 fatcat:tge3qnqn4zer7eupaddws6q36q

The axioms strike back

Anya Helene Bagge, Valentin David, Magne Haveraaen
2010 SIGPLAN notices  
Axioms, known from program specification, allow for an alternative way of generating test cases, where the intended functionality is described as rules or equations that can be checked automatically.  ...  Modern development practises encourage extensive testing of code while it is still under development, using unit tests to check individual code units in isolation.  ...  Acknowledgments This research was funded in part by the Research Council of Norway.  ... 
doi:10.1145/1837852.1621612 fatcat:k2mq2rvu4ndb5cfytyeqmqthym

Testing with Axioms in C++ 2011

Anya Helene Bagge, Valentin David, Magne Haveraaen
2011 Journal of Object Technology  
In this paper we show how concepts and axioms can be expressed in standard C++ 2011, and explore how to generate generic unit tests, by treating the axioms as code to be evaluated with test data.  ...  We also show a generic way to generate test data for axiom-based testing in C++ 2011. 3 typedef concept_list< 4 // operations are callable with the given parameter types 5 is_callable, 6 is_callable, 7  ...  ASTOOT [DF94] applied the ideas of axiom-based testing to object-orientation, with automated testing for Eiffel.  ... 
doi:10.5381/jot.2011.10.1.a10 fatcat:ifvbd4bowbcdvokspmangfxlt4

An Axiom-Based Test Case Selection Strategy for Object-Oriented Programs [chapter]

T. H. Tse, F. T. Chan, H. Y. Chen
1995 IFIP Advances in Information and Communication Technology  
Because of the growing importance of object-oriented programming, a number of testing approaches have been proposed.  ...  Frankl et al. propose the application of the functional approach, using algebraic specifications for the generation of test cases and the validation of methods.  ...  As indicated in [1] , the important change from the testing of conventional programs to the testing of object-oriented programs is that the latter programs are not necessarily executed in a predefined  ... 
doi:10.1007/978-0-387-34848-3_16 fatcat:mkcjkvynvvfp7kjl7ivldxtafm

Verification validation and accreditation of simulation models

Osman Balci
1997 Proceedings of the 29th conference on Winter simulation - WSC '97  
Another taxonomy of 38 V&V techniques is presented for object-oriented simulation models.  ...  A taxonomy of more than 77 V&V techniques is provided to assist simulationists in selecting proper approaches for conventional simulation model V&V.  ...  ACKNOWLEDGMENTS This research was sponsored in part by the Defense Modeling and Simulation Office (DMSO) under contract N60921-89-D-A239-052 through the Systems Research Center at Virginia Tech.  ... 
doi:10.1145/268437.268462 fatcat:bmdhddftyzbmtpgiigyhxmdnmq

On Test Data Generation of Object-Oriented Software

Andrea Arcuri, Xin Yao
2007 Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)  
Nowadays, Object-Oriented (OO) languages are widely used in the development of many different kinds of applications.  ...  However, the most promising one is probably to model the task as a Search Problem. This paper explains why automatic testing of OO software is more difficult than procedural software.  ...  The authors wish to thank Thomas Miconi for having proofread an early draft of this paper.  ... 
doi:10.1109/taic.part.2007.11 fatcat:urg2tisxqzfbne56uh4wr6bioy

On Test Data Generation of Object-Oriented Software

Andrea Arcuri, Xin Yao
2007 Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)  
Nowadays, Object-Oriented (OO) languages are widely used in the development of many different kinds of applications.  ...  However, the most promising one is probably to model the task as a Search Problem. This paper explains why automatic testing of OO software is more difficult than procedural software.  ...  The authors wish to thank Thomas Miconi for having proofread an early draft of this paper.  ... 
doi:10.1109/taicpart.2007.4344101 fatcat:qzgevuerhncntbifcbwtcuurne

Estimation of Efforts During Testing of OOP using The AVISAR Framework

2020 International Journal of Engineering and Advanced Technology  
The proposed framework AVISAR provides a platform to address the issues which are related to the testing of Object Oriented aspects of OOP like Polymorphism, Inheritance, Polymorphism etc. which plays  ...  In this research paper we have proposed our research work on the evaluation of efforts during the testing of OOP using the AVISAR object oriented testing framework which is based on the Genetic Algorithm  ...  The use of the GA-based rolling test approach tackles the control flow accessibility problem in Object Oriented Software's flow path tests and helps the effective generation of Object Oriented test data  ... 
doi:10.35940/ijeat.d8003.049420 fatcat:fb4etqjllzfntowq67ayamlrpq

Test Selection for Object-Oriented Software Based on Formal Specifications [chapter]

C. Péraire, S. Barbey, D. Buchs
1998 Programming Concepts and Methods PROCOMET '98  
To limit the size of test sets, we present several hypotheses specific to object-oriented systems, used to reduce an exhaustive test set into a pertinent test set.  ...  We propose a method of test selection based on formal specifications, for specification-based testing of object-oriented software. This method is based on rigorous theoretical foundations.  ...  Bernot, Gaudel, and Marre theory of testing to object oriented software.  ... 
doi:10.1007/978-0-387-35358-6_25 fatcat:ljwml3c4obcgjckzragcohal6q

Black-box testing using flowgraphs: an experimental assessment of effectiveness and automation potential

Stephen H. Edwards
2000 Software testing, verification & reliability  
The approach focuses on generating a flowgraph from a component's specification and applying analogues of white-box strategies to it.  ...  An experimental assessment of the fault-detecting ability of test sets generated using this approach was performed for three of Zweben's criteria using mutation analysis.  ...  Section 2 lays out the test set generation approach and describes how it can be applied to object-based or object-oriented software components.  ... 
doi:10.1002/1099-1689(200012)10:4<249::aid-stvr215>3.0.co;2-c fatcat:7wus47ldjveflj3mljrespcozm

The Oracle Problem in Software Testing: A Survey

Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo
2015 IEEE Transactions on Software Engineering  
This paper provides a comprehensive survey of current approaches to the test oracle problem and an analysis of trends in this important area of software testing research and practice.  ...  Testing involves examining the behaviour of a system in order to discover potential faults.  ...  They proposed a notation that is suitable for object-oriented programs and developed an algebraic specification language called LOBAS and a test harness called ASTOOT.  ... 
doi:10.1109/tse.2014.2372785 fatcat:kcsfqlofvnbtlmedd33z2yisq4

Cross-checking oracles from intrinsic software redundancy

Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè
2014 Proceedings of the 36th International Conference on Software Engineering - ICSE 2014  
We assume that the system under test is somewhat redundant, in the sense that some operations are designed to behave like others but their executions are different.  ...  We then generate oracles by cross-checking the execution of a test with the same test in which we replace some operations with redundant ones.  ...  We develop a technique to generate and activate oracles through an aspect-oriented programming mechanism.  ... 
doi:10.1145/2568225.2568287 dblp:conf/icse/CarzanigaGGMP14 fatcat:tutwkfrlnbeuxcqotv5actytv4
« Previous Showing results 1 — 15 out of 44 results