Test Case Design for Transactional Flows Using a Dependency-Based Approach

Download Now
Provided by: Machine Intelligence Research Labs (MIR Labs)
Topic: Software
Format: PDF
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 (sub transactions). 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.
Download Now

Find By Topic