loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

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

Affiliation: Tata Research Development and Design Centre, India

ISBN: 978-989-758-100-7

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 wit h 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)

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 34.231.21.123

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 - Volume 1: ENASE, ISBN 978-989-758-100-7, 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 - Volume 1: ENASE,},
year={2015},
pages={67-77},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005347800670077},
isbn={978-989-758-100-7},
}

TY - CONF

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

Login or register to post comments.

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