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
10 July 2011
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, Eden Roc Renaissance Miami Beach, United States.
07 - 09 Jul 2011.
.
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
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, Eden Roc Renaissance Miami Beach, 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: 14 Mar 2024 09:51
Export record
Contributors
Author:
Simone Souza
Author:
Paulo Souza
Author:
Mario Machado
Author:
Mário Camillo
Author:
Adenilso Simão
Author:
Ed Zaluska
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