TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
Francisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva
2011
Abstract
Algebraic specification languages have been successfully used for the formal specification of abstract data types (ADTs) and software components, and there are several approaches to automatically derive test cases that check the conformity between the implementation and the algebraic specification of a software component. However, existing approaches do not assure the coverage of conditional axioms and conditions embedded in complex axioms. In this paper, we present a novel approach and a tool to automatically derive test cases from bounded algebraic specifications of ADTs, assuring axiom coverage and of all minterms in its full disjunctive normal form (FDNF). The algebraic specification is first translated into the Alloy modelling language, and the Alloy Analyzer tool is used to find model instances for each test goal (axiom and minterm to cover), from which test cases in JUnit are extracted.
DownloadPaper Citation
in Harvard Style
Rebello de Andrade F., Pascoal Faria J. and C. R. Paiva A. (2011). TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 192-200. DOI: 10.5220/0003528101920200
in Bibtex Style
@conference{icsoft11,
author={Francisco Rebello de Andrade and João Pascoal Faria and Ana C. R. Paiva},
title={TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={192-200},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003528101920200},
isbn={978-989-8425-77-5},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
SN - 978-989-8425-77-5
AU - Rebello de Andrade F.
AU - Pascoal Faria J.
AU - C. R. Paiva A.
PY - 2011
SP - 192
EP - 200
DO - 10.5220/0003528101920200