Skip to Main content Skip to Navigation
Conference papers

Testing a Data-intensive System with Generated Data Interactions: The Norwegian Customs and Excise Case Study

Abstract : Testing data-intensive systems is paramount to increase our reliance on e-governance services. An incorrectly computed \emph{tax} can have catastrophic consequences in terms of public image. Testers at Norwegian Customs and Excise reveal that faults occur from interactions between database features such as \emph{field values}. Taxation rules, for example, are triggered due to an interaction between 10,000 items, 88 country groups, and 934 tax codes. There are about 12.9 trillion 3-wise interactions. Finding interactions to uncover specific faults is like finding a needle in a haystack. Can we surgically generate a test database for interactions that interest testers? We address this question with a methodology and tool {\tool} to automatically populate a test database that covers all T-wise interactions for \emph{selected features}. {\tool} generates a constraint model of interactions in {\Alloy} and solves it using a divide-and-combine strategy. Our experiments demonstrate scalability of our methodology and we project its industrial applications.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-00807894
Contributor : Arnaud Gotlieb <>
Submitted on : Thursday, April 4, 2013 - 3:18:23 PM
Last modification on : Thursday, October 3, 2019 - 3:36:02 PM
Long-term archiving on: : Sunday, April 2, 2017 - 11:56:13 PM

File

caise2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00807894, version 1

Citation

S. Sen, Arnaud Gotlieb. Testing a Data-intensive System with Generated Data Interactions: The Norwegian Customs and Excise Case Study. 25th International Conference on Advanced Information Systems Engineering (CAISE'13), Jun 2013, Valencia, Spain. ⟨hal-00807894⟩

Share

Metrics

Record views

116

Files downloads

369