CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Testing Data Consistency of Data-Intensive Applications Using QuickCheck

Laura M. Castro ; Thomas Arts (Institutionen för data- och informationsteknik, Software Engineering (Chalmers))
Electronic Notes in Theoretical Computer Science (1571-0661). Vol. 271 (2011), p. 41-62.
[Artikel, refereegranskad vetenskaplig]

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.

Nyckelord: Software Testing, QuickCheck

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2011-03-28. Senast ändrad 2012-09-19.
CPL Pubid: 138377


Läs direkt!

Länk till annan sajt (kan kräva inloggning)