loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: R. Venkatesh ; Ulka Shrotri ; Amey Zare and Supriya Agrawal

Affiliation: Tata Research Development and Design Centre, India

Keyword(s): Formal Specification, Functional Test Generation.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Service-Oriented Software Engineering and Management ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques ; Software Quality Management

Abstract: Creating test cases to cover all functional requirements of real-world systems is hard, even for domain experts. Any method to generate functional test cases must have three attributes: (a) an easy-to-use formal notation to specify requirements, from a practitioner’s point of view, (b) a scalable test-generation algorithm, and (c) coverage criteria that map to requirements. In this paper we present a method that has all these attributes. First, it includes Expressive Decision Table (EDT), a requirement specification notation designed to reduce translation efforts. Second, it implements a novel scalable row-guided random algorithm with fuzzing (RGRaF)(pronounced R-graph) to generate test cases. Finally, it implements two new coverage criteria targeted at requirements and requirement interactions. To evaluate our method, we conducted experiments on three real-world applications. In these experiments, RGRaF achieved better coverage than pure random test case generation. When compared wi th manual approach, our test cases subsumed all manual test cases and achieved up to 60% effort savings. More importantly, our test cases, when run on code, uncovered a bug in a post-production sub-system and captured three missing requirements in another. (More)

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.206.83.160

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:
Venkatesh, R.; Shrotri, U.; Zare, A. and Agrawal, S. (2015). Cost-effective Functional Testing of Reactive Software. In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-100-7; ISSN 2184-4895, SciTePress, pages 67-77. DOI: 10.5220/0005347800670077

@conference{enase15,
author={R. Venkatesh. and Ulka Shrotri. and Amey Zare. and Supriya Agrawal.},
title={Cost-effective Functional Testing of Reactive Software},
booktitle={Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2015},
pages={67-77},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005347800670077},
isbn={978-989-758-100-7},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Cost-effective Functional Testing of Reactive Software
SN - 978-989-758-100-7
IS - 2184-4895
AU - Venkatesh, R.
AU - Shrotri, U.
AU - Zare, A.
AU - Agrawal, S.
PY - 2015
SP - 67
EP - 77
DO - 10.5220/0005347800670077
PB - SciTePress