The University of Southampton
University of Southampton Institutional Repository

Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality

Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality
Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality
The testing of concurrent software is a challenging task. A number of different research approaches have investigated adaptation of the techniques and the criteria defined for sequential programs. A major problem with the testing of concurrent software that persists is the high application cost due to the large number of the synchronizations that are required and that must be executed during testing. In this paper we propose a complementary approach, using reachability testing, to guide the selection of the tests of all synchronization events according to a specific coverage criterion. The key concept is to take advantage of both coverage criteria, which are used to select test cases and also to guide the execution of new synchronizations, and reachability testing, which is used to select suitable synchronization events to be executed. An experimental study has been conducted and the results indicate that it is always advantageous to use this combined approach for the testing of concurrent software.
concurrent programs testing, testing criteria, reachability testing
1-891706-29-2
207-212
Souza, Simone
990afb1d-3192-4124-9263-9e3753045652
Souza, Paulo
39b008e0-f3b7-40a1-bc70-0824c12d7c89
Machado, Mario
33f72715-35c9-454f-be30-be4f8e859d15
Camillo, Mário
cb8bb65d-951b-4965-a6aa-8854a0486b1b
Simão, Adenilso
cd3cc7ea-d20e-41d2-b45b-117a825de00f
Zaluska, Ed
43f6a989-9542-497e-bc9d-fe20f03cad35
Souza, Simone
990afb1d-3192-4124-9263-9e3753045652
Souza, Paulo
39b008e0-f3b7-40a1-bc70-0824c12d7c89
Machado, Mario
33f72715-35c9-454f-be30-be4f8e859d15
Camillo, Mário
cb8bb65d-951b-4965-a6aa-8854a0486b1b
Simão, Adenilso
cd3cc7ea-d20e-41d2-b45b-117a825de00f
Zaluska, Ed
43f6a989-9542-497e-bc9d-fe20f03cad35

Souza, Simone, Souza, Paulo, Machado, Mario, Camillo, Mário, Simão, Adenilso and Zaluska, Ed (2011) Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. 23rd International Conference on Software Engineering and Knowledge Engineering, United States. 07 - 09 Jul 2011. pp. 207-212 .

Record type: Conference or Workshop Item (Paper)

Abstract

The testing of concurrent software is a challenging task. A number of different research approaches have investigated adaptation of the techniques and the criteria defined for sequential programs. A major problem with the testing of concurrent software that persists is the high application cost due to the large number of the synchronizations that are required and that must be executed during testing. In this paper we propose a complementary approach, using reachability testing, to guide the selection of the tests of all synchronization events according to a specific coverage criterion. The key concept is to take advantage of both coverage criteria, which are used to select test cases and also to guide the execution of new synchronizations, and reachability testing, which is used to select suitable synchronization events to be executed. An experimental study has been conducted and the results indicate that it is always advantageous to use this combined approach for the testing of concurrent software.

Text
SEKE2011-proceedings-version.pdf - Other
Download (1MB)

More information

Published date: 10 July 2011
Additional Information: Event Dates: July 7-9, 2011
Venue - Dates: 23rd International Conference on Software Engineering and Knowledge Engineering, United States, 2011-07-07 - 2011-07-09
Keywords: concurrent programs testing, testing criteria, reachability testing
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 272272
URI: http://eprints.soton.ac.uk/id/eprint/272272
ISBN: 1-891706-29-2
PURE UUID: 44ad7146-d500-4846-a00c-a34cd84d78d9

Catalogue record

Date deposited: 11 May 2011 09:28
Last modified: 19 Jul 2019 22:10

Export record

Contributors

Author: Simone Souza
Author: Paulo Souza
Author: Mario Machado
Author: Mário Camillo
Author: Adenilso Simão
Author: Ed Zaluska

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×