By Topic

Enhanced testing of domain specific applications by automatic extraction of axioms from functional specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Sinha, A. ; Center for Reliability Eng., Maryland Univ., USA ; Smidts, C.S. ; Moran, A.

Adequate testing is necessary and important to ensure reliability of software. Most test models are specification-based and fail to capture implicit domain specific properties. This paper presents a technique, which uses a HaskellDB specification of the software to extract domain specific properties and embed them into the test generation model. HaskellDB is an embedded domain specific functional and strongly typed language for database related applications. Specifying using HaskellDB ensures that a set of axioms based on type safeness of the database queries hold for the specification. The implementation of the application should also satisfy these properties and should be tested accordingly. We therefore propose a technique that extracts the axioms automatically from the HaskellDB specification and embeds additional test paths in the test model leading to an enriched test suite. We present an example application of the technique and compare the results against a manual testing technique.

Published in:

Software Reliability Engineering, 2003. ISSRE 2003. 14th International Symposium on

Date of Conference:

17-20 Nov. 2003