期刊名称：International Journal of Computer Information Systems and Industrial Management Applications
印刷版ISSN：2150-7988
电子版ISSN：2150-7988
出版年度：2013
卷号：5
页码：30-40
出版社：Machine Intelligence Research Labs (MIR Labs)
摘要：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 dependencies.
关键词：Web service testing; transactions; dependencies
