Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(14)
Automatic Generation
Data Consistency
Data Integrity
Data Intensive Application
Data Storage
Model Based Testing
Point of View
Random Testing
Relational Database Management System
Software Systems
Software Testing
Software Tool
Software Verification
Data Management System
Subscribe
Academic
Publications
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
Edit
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
(
Citations: 1
)
BibTex
|
RIS
|
RefWorks
Download
Laura M. Castro
,
Thomas Arts
Many
software systems
are data-intensive and use a
data management
systems for data storage, such as Relational
Database Management
Systems (RDBMS). RDBMSs are used to store information in a structured manner, and to define several types of constraints on the data, to maintain basic consistency. The RDBMSs are mature, well tested, software products that one can trust to reliably store data and keep it consistent within the defined constraints.There are, however, scenarios in which passing the responsibility of consistency enforcement to the RDBMS is not convenient, or simply not possible. In such cases, the alternative is to have that responsibility at the business logic level of the system. Hence, from the
point of view
of testing data-intensive applications, one of the most relevant aspects is to ensure correctness of the business logic in terms of data consistency.In this article, we show how QuickCheck, a tool for
random testing
against specifications, can be used to test the business logic of an application to increase confidence on data integrity. We build an abstract model of the data containing the minimum information necessary to create meaningful test cases, while keeping its state substantially smaller than the data in the complete database. From the abstract model we automatically generate and execute test cases which check that data constraints are preserved.
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 271, pp. 41-62, 2011
DOI:
10.1016/j.entcs.2011.02.010
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.sciencedirect.com
)
(
www.informatik.uni-trier.de
)
(
dx.doi.org
)
Citation Context
(1)
...Recently, Castro and Arts [
4
] have developed a method for testing business logic constraints with Quviq QuickCheck...
...We base our case study on the method developed by Castro and Arts [
4
], which is a general methodology for testing data consistency of database applications...
...A more thorough description can be found in [
4
]...
...The results of the project show that overall, the method described in the paper of Castro and Arts [
4
] and applied to the present case is easily extendable and applicable to appl ication which use databases such as Mnesia...
...In this case study we wanted to evaluate the methodology of Castro and Arts [
4
] for testing data consistency of dataintensive applications by examining a database application which uses an unnormalized non relational database...
Nicolae Paladi
,
et al.
Model based testing of data constraints: testing the business logic of...
References
(2)
Concurrent programming in ERLANG
(
Citations: 390
)
Joe Armstrong
,
Robert Virding
,
Mike Williams
Published in 1993.
A methodology and tool support for managing business rules in organisations
(
Citations: 37
)
Marko Bajec
,
Marjan Krisper
Journal:
Information Systems - IS
, vol. 30, no. 6, pp. 423-443, 2005
Order by:
Citations
(1)
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck
(
Citations: 2
)
Nicolae Paladi
,
Thomas Arts
Conference:
Erlang Workshop - ERLANG
, pp. 71-82, 2009