Testing a Data-intensive System with Generated Data Interactions: The Norwegian Customs and Excise Case Study - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

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.
Fichier principal
Vignette du fichier
caise2013.pdf (1.11 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00807894 , version 1 (04-04-2013)

Identifiers

  • HAL Id : hal-00807894 , version 1

Cite

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⟩
52 View
172 Download

Share

Gmail Facebook X LinkedIn More