Automated Generation of Test Cases from Logical Specification of Software Requirements

Richa Sharma, K. K. Biswas

2014

Abstract

The quality of the delivered software relies on rigorous testing performed. However, designing good test cases is a challenging task. The challenges are multi-fold and test-cases design is often delayed towards the end of implementation phase. In this paper, we propose an approach to automatically generate test cases from the logical form of requirements specifications during early phases of software development. Our approach is based on courteous logic representation of requirements. The Knowledge stored in the courteous logic predicates is used to automatically generate the test cases. We evaluate the effectiveness of our generated test-cases through case-studies.

Paper Citation

in Harvard Style

Sharma R. and K. Biswas K. (2014). Automated Generation of Test Cases from Logical Specification of Software Requirements . In Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-030-7, pages 241-248. DOI: 10.5220/0004972902410248

in Bibtex Style

@conference{enase14,
author={Richa Sharma and K. K. Biswas},
title={Automated Generation of Test Cases from Logical Specification of Software Requirements},
booktitle={Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2014},
pages={241-248},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004972902410248},
isbn={978-989-758-030-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Automated Generation of Test Cases from Logical Specification of Software Requirements
SN - 978-989-758-030-7
AU - Sharma R.
AU - K. Biswas K.
PY - 2014
SP - 241
EP - 248
DO - 10.5220/0004972902410248