Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions
ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition
SOSE '08 Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering
Takuan: a tool for WS-BPEL composition testing using dynamic invariant generation
ICWE'10 Proceedings of the 10th international conference on Web engineering
Hi-index | 0.00 |
The dynamic and asynchronous nature of OASIS WS-BPEL 2.0 standard language for web service composition presents a challenge for traditional white-box testing techniques. Takuan is a tool that can help with this problem. It analyzes execution logs of a WS-BPEL process in a real-world WS-BPEL engine to dynamically generate composition invariants. Nevertheless, it suffered some performance issues when handling a large number of variables with complex multidimensional content. We present two techniques implemented to automatically alleviate these issues: dynamic analysis of XPath expressions to avoid inferring nonsensical invariants, and discarding invariants enforced by the XML Schema. We present practical results supporting our work and comment the impact and applicability of these techniques beyond WS-BPEL itself.