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.

Download


Paper 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