Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Interprocedual data flow testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
The Cost of Data Flow Testing: An Empirical Study
IEEE Transactions on Software Engineering
Data flow-based test adequacy analysis for languages with pointers
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Data flow coverage and the C language
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Case studies on testing object-oriented programs
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Automated flow graph-based testing of object-oriented software modules
Journal of Systems and Software - Special issue on object-oriented software
Efficient computation of interprocedural definition-use chains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
Interprocedural Def-Use Associations for C Systems with Single Level Pointers
IEEE Transactions on Software Engineering
The State-Based Testing of Object-Oriented Programs
ICSM '93 Proceedings of the Conference on Software Maintenance
An evaluation of required element testing strategies
ICSE '84 Proceedings of the 7th international conference on Software engineering
Slicing object-oriented software
Proceedings of the 18th international conference on Software engineering
Inter-class def-use analysis with partial class representations
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Proceedings of the Conference on The Future of Software Engineering
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
OMEN: A strategy for testing object-oriented software
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Contextual def-use associations for object aggregation
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Change impact analysis for object-oriented programs
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Optimizations Enabled by Relational Data Model View to Querying Data Streams
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
An Object-Oriented Web Test Model for Testing Web Applications
COMPSAC '00 24th International Computer Software and Applications Conference
TATOO: Testing and Analysis Tool for Object- Oriented Software
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
UML-Based Integration Testing for Component-Based Software
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Dynamic Querying of Streaming Data with the dQUOB System
IEEE Transactions on Parallel and Distributed Systems
Fragment class analysis for testing of polymorphism in Java software
Proceedings of the 25th International Conference on Software Engineering
Data flow testing as model checking
Proceedings of the 25th International Conference on Software Engineering
Augmenting data flow criteria for class testing
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Class testing and code-based criteria
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Inter-class testing of O-O software in the presence of polymorphism
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
A Graphical Class Representation for Integrated Black- and White-Box Testing
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Effect Of Class Testing On The Reliability Of Object-Oriented Programs
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Testing Object-Oriented Programs An Integrated Approach
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Criteria for Testing Polymorphic Relationships
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Structural Testing of Web Applications
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Applying Conventional Testing Techniques for Class Testing
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A History-Based Approach for Early Faulty State Detection
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A family of test adequacy criteria for database-driven applications
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
The Construction of Contextual Def-Use Associations for Object-Oriented Systems
IEEE Transactions on Software Engineering
Fragment Class Analysis for Testing of Polymorphism in Java Software
IEEE Transactions on Software Engineering
Parameterized object sensitivity for points-to analysis for Java
ACM Transactions on Software Engineering and Methodology (TOSEM)
Coverage testing of Java programs and components
Science of Computer Programming - Special issue on new software composition concepts
Establishing structural testing criteria for Java bytecode
Software—Practice & Experience
Achieving communication coverage in testing
ACM SIGSOFT Software Engineering Notes
Perspectives on automated testing of aspect-oriented programs
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Control and data flow structural testing criteria for aspect-oriented programs
Journal of Systems and Software
A Language-Driven Tool for Fault Injection in Distributed Systems
GRID '05 Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing
Efficiently monitoring data-flow test coverage
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Testing criteria for object oriented visual dataflow languages
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Data Flow Analysis of UML Action Semantics for Executable Models
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Data Flow Analysis and Testing of Abstract State Machines
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Analyzing clusters of class characteristics in OO applications
Journal of Systems and Software
Extended firewall for regression testing: an experience report
Journal of Software Maintenance and Evolution: Research and Practice
Science of Computer Programming
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Towards Testing and Analysis of Systems that Use Serialization
Electronic Notes in Theoretical Computer Science (ENTCS)
Measuring design testability of a UML class diagram
Information and Software Technology
Contextual integration testing of classes
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Testing techniques in software engineering
Testing techniques in software engineering
Synthesis of test scenarios using UML activity diagrams
Software and Systems Modeling (SoSyM)
A pointcut-based coverage analysis approach for aspect-oriented programs
Information Sciences: an International Journal
Practical elimination of external interaction vulnerabilities in web applications
Journal of Web Engineering
A tool to automatically detect defects in c++ programs
CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
Evaluating structural criteria for testing mobile code
EASE'08 Proceedings of the 12th international conference on Evaluation and Assessment in Software Engineering
An experimental evaluation of weak-branch criterion for class testing
Journal of Systems and Software
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Dataflow testing of java programs with DFC
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
An approach to testing commercial embedded systems
Journal of Systems and Software
Automatic generation of basis test paths using variable length genetic algorithm
Information Processing Letters
Hi-index | 0.00 |
The basic unit of testing in an object-oriented program is a class. Although there has been much recent research on testing of classes, most of this work has focused on black-box approaches. However, since black-box testing techniques may not provide sufficient code coverage, they should be augmented with code-based or white-box techniques. Dataflow testing is a code-based testing technique that uses the dataflow relations in a program to guide the selection of tests. Existing dataflow testing techniques can be applied both to individual methods in a class and to methods in a class that interact through messages, but these techniques do not consider the dataflow interactions that arise when users of a class invoke sequences of methods in an arbitrary order. We present a new approach to class testing that supports dataflow testing for dataflow interactions in a class. For individual methods in a class, and methods that send messages to other methods in a the class, our technique is similar to existing dataflow testing techniques. For methods that are accessible outside the class, and can be called in any order by users of the class, we compute dataflow information, and use it to test possible interactions between these methods. The main benefit of our approach is that it facilitates dataflow testing for an entire class. By supporting dataflow testing of classes, we provide opportunities to find errors in classes that may not be uncovered by black-box testing. Our technique is also useful for determining which sequences of methods should be executed to test a class, even in the absence of a specification. Finally, as with other code-based testing techniques, a large portion of our technique can be automated.