loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Francisco Rebello de Andrade 1 ; João Pascoal Faria 2 and Ana C. R. Paiva 1

Affiliations: 1 Faculty of Engineering of the University of Porto, Portugal ; 2 Faculty of Engineering of the University of Porto and INESC Porto, Portugal

Keyword(s): Test case generation, Algebraic specifications, Abstract data types, Alloy analyzer.

Related Ontology Subjects/Areas/Topics: Software Engineering ; Software Engineering Methods and Techniques ; Software Testing and Maintenance

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.210.77.73

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-2833, SciTePress, pages 192-200. DOI: 10.5220/0003528101920200

@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},
issn={2184-2833},
}

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
IS - 2184-2833
AU - Rebello de Andrade, F.
AU - Pascoal Faria, J.
AU - C. R. Paiva, A.
PY - 2011
SP - 192
EP - 200
DO - 10.5220/0003528101920200
PB - SciTePress