Technology for testing nondeterministic client/server database applications

Gwan Hwan Hwang, Sheng Jen Chang, Huey Der Chu

研究成果: 雜誌貢獻文章同行評審

11 引文 斯高帕斯(Scopus)

摘要

The execution of a client/server application involving database access requires a sequence of database transaction events (or, T-events), called a transaction sequence (or, T-sequence). A client/server database application may have nondeterministic behavior in that multiple executions thereof with the same input may produce different T-sequences. In this paper, we present a framework for testing all possible T-sequences of a client/server database application. We first show how to define a T-sequence in order to provide sufficient information to detect race conditions between T-events. Second, we design algorithms to change the outcomes of race conditions in order to derive race variants, which are prefixes of other T-sequences. Third, we develop a prefix-based replay technique for race variants derived from T-sequences. We prove that our framework can derive all the possible T-sequences in cases where every execution of the application terminates. A formal proof and an analysis of the proposed framework are given. We describe a prototype implementation of the framework and present experimental results obtained from it.

原文英語
頁(從 - 到)59-77
頁數19
期刊IEEE Transactions on Software Engineering
30
發行號1
DOIs
出版狀態已發佈 - 2004 一月 1

ASJC Scopus subject areas

  • Software

指紋 深入研究「Technology for testing nondeterministic client/server database applications」主題。共同形成了獨特的指紋。

引用此