An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Black-box testing: techniques for functional testing of software and systems
Black-box testing: techniques for functional testing of software and systems
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Concurrency and loose semantics of open graph transformation systems
Mathematical Structures in Computer Science
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Model-based functional conformance testing of web services operating on persistent data
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Introduction to Software Testing
Introduction to Software Testing
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Architecting Dependable Systems V
An Empirical Study of the Use of Frankl-Weyuker Data Flow Testing Criteria to Test BPEL Web Services
COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01
Model-Based System Testing Using Visual Contracts
SEAA '09 Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Are Longer Test Sequences Always Better? - A Reliability Theoretical Analysis
SSIRI-C '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion
Improving the coverage criteria of UML state machines using data flow analysis
Software Testing, Verification & Reliability
Parallel independence of amalgamated graph transformations applied to model transformation
Graph transformations and model-driven engineering
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
AGG 2.0 --- new features for specifying and analyzing algebraic graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
| Hi-index | 0.00 |
Testing service-oriented or component-based systems poses new challenges due to the non-availability of code and the distributed nature of the applications being tested. Structural coverage criteria, traditionally used to assess test suites, require access to code. As an alternative we consider model-based criteria based on interface specifications using visual contracts. Formally represented as graph transformation rules, visual contracts are analysed for potential dependencies and conflicts and dependency graphs are derived for defining the criteria. In order to assess the coverage of a given set of tests, AGG is used for simulating the model while tests are executed. In the course of the simulation, which also serves as a test oracle, conflicts and dependencies are observed and recorded. This allows us to see if the statically detected potential dependencies and conflicts are exercised at runtime. For evaluation purposes, we compare coverage with respect to model-based criteria and traditional structural ones.