Test case design for transactional flows using a dependency-based approach

Abstract

Transactions are a key issue to develop reliable web service based applications. The advanced models used to manage this kind of transactions rely on the dependencies between the involved activities (subtransactions). Dependencies are constraints on the processing produced by the concurrent execution of interdependent activities. Existing work uses formal approaches to verify the consistency and correctness of dependencies in web service transactions, but there is no work on testing their implementation. This paper identifies and defines a set of possible dependencies using logical expressions. These expressions define the preconditions necessary for executing the subtransactions primitive tasks. By using those conditions, we propose a family of test criteria based on control-flow for checking the dependencies between subtransactions. The test criteria provide guidance for test case generation in order to specifically test the implementation of web service subtransactions dependencie