Empirical Software Engineering
A measurement framework for evaluating model-based test generation tools
IBM Systems Journal - Model-driven software development
Hi-index | 0.00 |
Adequate testing is necessary and important toensure reliability of software. Most test modelsare specification-based and fail to captureimplicit domain specific properties. This paperpresents a technique, which uses a HaskellDBspecification of the software to extract domainspecific properties and embed them into the testgeneration model. HaskellDB is an embeddeddomain specific functional and strongly typedlanguage for database related applications.Specifying using HaskellDB ensures that a set ofaxioms based on type safeness of the databasequeries will hold for the specification. Theimplementation of the application should alsosatisfy these properties and should be testedaccordingly. We therefore, propose a techniquethat extracts the axioms automatically from theHaskellDB specification and embeds additionaltest paths in the test model leading to anenriched test suite. We present an exampleapplication of the technique and compare theresults against a manual testing technique.