loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Matthieu Carlier 1 ; Catherine Dubois 1 and Arnaud Gotlieb 2

Affiliations: 1 ENSIIE, France ; 2 INRIA, France

ISBN: 978-989-8425-23-2

Keyword(s): Software testing, Automated test data generation, MC/DC, Constraint reasoning.

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

Abstract: Property-based testing implies selecting test data satisfying coverage criteria on user-specified properties. However, current automatic test data generation techniques adopt direct generate-and-test approaches for this task. In FocalTest, a testing tool designed to generate test data for programs and properties written in the functional language Focal, test data are generated at random and rejected when they do not satisfy selected coverage criteria. In this paper, we improve FocalTest with a test-and-generate approach, through the usage of constraint reasoning. A particular difficulty is the generation of test data satisfying MC/DC on the precondition of a property, when it contains function calls with pattern matching and higher-order functions. Our experimental results show that a non-naive implementation of constraint reasoning on these constructions outperform traditional generation techniques when used to find test data for testing properties.

PDF ImageFull Text

Download
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 18.208.186.19

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:
Carlier M.; Dubois C.; Gotlieb A. and (2010). CONSTRAINT REASONING IN FOCALTEST.In Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-23-2, pages 82-91. DOI: 10.5220/0003009800820091

@conference{icsoft10,
author={Matthieu Carlier and Catherine Dubois and Arnaud Gotlieb},
title={CONSTRAINT REASONING IN FOCALTEST},
booktitle={Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2010},
pages={82-91},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003009800820091},
isbn={978-989-8425-23-2},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - CONSTRAINT REASONING IN FOCALTEST
SN - 978-989-8425-23-2
AU - Carlier, M.
AU - Dubois, C.
AU - Gotlieb, A.
PY - 2010
SP - 82
EP - 91
DO - 10.5220/0003009800820091

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.