How to Identify the Infeasible Test Requirements using Static Analyse? An Exploratory Study

João Neto, Allan Mori, Ricardo Vilela, Thelma Colanzi, Simone S. de Souza

2021

Abstract

Context: Software testing is an essential activity to ensure the quality of the software. However, the selection and generation of test cases can be an expensive and hard task. A large number of infeasible test requirements (e.g. infeasible paths) collaborate to increase the effort on test data generation, and it is not a trivial task to identify them. Objective: To investigate and analyze an process of properties of infeasible test requirements identification in a static way without inputs data through an exploratory study. Methodology: We gathered a set of statistical properties to identify infeasible test requirements without the use of input data. We manually verified the identification process using a benchmark with 19 Java programs. Results and conclusions: The alternative process identified infeasible requirements without using input data and proved effective. This study highlights the tester’s role in the process of identifying the infeasible elements and also the need to automate this process because level of complexity in decision making.

Paper Citation

in Harvard Style

Neto J., Mori A., Vilela R., Colanzi T. and S. de Souza S. (2021). How to Identify the Infeasible Test Requirements using Static Analyse? An Exploratory Study. In Proceedings of the 23rd International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-758-509-8, pages 782-789. DOI: 10.5220/0010497107820789

in Bibtex Style

@conference{iceis21,
author={João Neto and Allan Mori and Ricardo Vilela and Thelma Colanzi and Simone S. de Souza},
title={How to Identify the Infeasible Test Requirements using Static Analyse? An Exploratory Study},
booktitle={Proceedings of the 23rd International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2021},
pages={782-789},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010497107820789},
isbn={978-989-758-509-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 23rd International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - How to Identify the Infeasible Test Requirements using Static Analyse? An Exploratory Study
SN - 978-989-758-509-8
AU - Neto J.
AU - Mori A.
AU - Vilela R.
AU - Colanzi T.
AU - S. de Souza S.
PY - 2021
SP - 782
EP - 789
DO - 10.5220/0010497107820789