DeltaFineFit: a model-based testing approach for software
product lines
The DeltaFineFit approach
integrates
data refinement based testing into delta-oriented software product
line development [Damiani
et al., Software & Systems Modeling, 2016]---(the final
publication is available at Springer via http://dx.doi.org/10.1007/s10270-016-0516-2).
The DeltaFineFit tool chain, which is currently
under development, will provide full automated
support to the integrated use of:
The Album PL is an example of
DeltaJ 1.5 software product line that has been specified using the DeltaFineFit approach.
- A ZIP file containing the DeltaJ 1.5 Eclipse
project of the Album PL which has to be imported
into the workspace can be downloaded here (see
the DeltaJ 1.5 home page for instructions about how
to install DeltaJ 1.5 and how to import a project).
- A ZIP file containing the delta-table modules of
the DeltaFineFit specification of the Album PL can
be downloaded here.
- The demos/deltafit
page (accessible also from the FineFit home page)
explains how to run FinFit on the products of the a
AlbumPL.
The version of the Album
PL illustrated
above follows the simple-core approach to delta-oriented software product line development (see [Schaefer
et al, 2010] and [Schaefer and
Damiani, 2010]). A ZIP file containing the delta-table
modules of a
DeltaFineFit specification of the Album PL that follows the complex-core approach can be
downloaded here, and a ZIP file containing the DeltaJ 1.5 Eclipse
project of a complex-core version of Album PL can be downloaded here.
This is free and unencumbered software released into the public domain.
Anyone is free to copy, modify, publish, use, compile, sell, or
distribute this software, either in source code form or as a
compiled binary, for any purpose, commercial or non-commercial,
and by any means.
In jurisdictions that recognize copyright laws, the author or
authors of this software dedicate any and all copyright
interest in the software to the public domain. We make this
dedication for the benefit of the public at large and to the
detriment of our heirs and successors. We intend this
dedication to be an overt act of relinquishment in perpetuity
of all present and future rights to this software under
copyright law.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR
ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
THE SOFTWARE.
For more information, please refer to http://unlicense.org/