Unconstrained duals and their use in achieving all-uses coverage
Testing takes a considerable amount of the time and resources spent on producing software. It would therefore be useful to have ways 1) to reduce the cost of testing and 2) to estimate this cost. In particular, the number of tests to be executed is an important and useful attribute of the entity &qu...
Guardado en:
Autores principales: | , , , , |
---|---|
Formato: | CONF |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_08979178_v_n_p147_Marre |
Aporte de: |
id |
todo:paper_08979178_v_n_p147_Marre |
---|---|
record_format |
dspace |
spelling |
todo:paper_08979178_v_n_p147_Marre2023-10-03T15:43:57Z Unconstrained duals and their use in achieving all-uses coverage Marré, M. Bertolino, A. Tracz W. Zeil S.J. ACM Special Interest Group on Software Engineering (SIGSOFT) Cost benefit analysis Cost estimating Cost reduction Costs Cardinalities Coverage criteria Data-flow testing Spanning sets Testing effort Software testing Testing takes a considerable amount of the time and resources spent on producing software. It would therefore be useful to have ways 1) to reduce the cost of testing and 2) to estimate this cost. In particular, the number of tests to be executed is an important and useful attribute of the entity "testing effort". All-uses coverage is a data flow testing strategy widely researched in recent years. In this paper we present spanning sets of duas for the all-uses coverage criterion. A spanning set of duas is a minimum set of duas (definition-use associations) such that a set of test paths covering them covers every dua in the program. We give a method to find a spanning set of duas using the relation of subsumption between duas. Intuitively, there exists a natural ordering between the duas in a program: some duas are covered more easily than others, since coverage of the former is automatically guaranteed whenever the latter are covered. Those duas that are the most difficult to be covered according to this ordering are called unconstrained. A spanning set of duas is composed of unconstrained duas. Our results are useful for reducing the cost of testing, since the generation of test paths can be targeted to cover the smaller spanning set of duas, rather than all those in a program. On the other hand, assuming that a different path is taken to cover each dua in a spanning set, the cardinality of spanning sets can be used to estimate the cost of testing. Other interesting uses of spanning sets of duas are also discussed. © 1996 ACM. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_08979178_v_n_p147_Marre |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
Cost benefit analysis Cost estimating Cost reduction Costs Cardinalities Coverage criteria Data-flow testing Spanning sets Testing effort Software testing |
spellingShingle |
Cost benefit analysis Cost estimating Cost reduction Costs Cardinalities Coverage criteria Data-flow testing Spanning sets Testing effort Software testing Marré, M. Bertolino, A. Tracz W. Zeil S.J. ACM Special Interest Group on Software Engineering (SIGSOFT) Unconstrained duals and their use in achieving all-uses coverage |
topic_facet |
Cost benefit analysis Cost estimating Cost reduction Costs Cardinalities Coverage criteria Data-flow testing Spanning sets Testing effort Software testing |
description |
Testing takes a considerable amount of the time and resources spent on producing software. It would therefore be useful to have ways 1) to reduce the cost of testing and 2) to estimate this cost. In particular, the number of tests to be executed is an important and useful attribute of the entity "testing effort". All-uses coverage is a data flow testing strategy widely researched in recent years. In this paper we present spanning sets of duas for the all-uses coverage criterion. A spanning set of duas is a minimum set of duas (definition-use associations) such that a set of test paths covering them covers every dua in the program. We give a method to find a spanning set of duas using the relation of subsumption between duas. Intuitively, there exists a natural ordering between the duas in a program: some duas are covered more easily than others, since coverage of the former is automatically guaranteed whenever the latter are covered. Those duas that are the most difficult to be covered according to this ordering are called unconstrained. A spanning set of duas is composed of unconstrained duas. Our results are useful for reducing the cost of testing, since the generation of test paths can be targeted to cover the smaller spanning set of duas, rather than all those in a program. On the other hand, assuming that a different path is taken to cover each dua in a spanning set, the cardinality of spanning sets can be used to estimate the cost of testing. Other interesting uses of spanning sets of duas are also discussed. © 1996 ACM. |
format |
CONF |
author |
Marré, M. Bertolino, A. Tracz W. Zeil S.J. ACM Special Interest Group on Software Engineering (SIGSOFT) |
author_facet |
Marré, M. Bertolino, A. Tracz W. Zeil S.J. ACM Special Interest Group on Software Engineering (SIGSOFT) |
author_sort |
Marré, M. |
title |
Unconstrained duals and their use in achieving all-uses coverage |
title_short |
Unconstrained duals and their use in achieving all-uses coverage |
title_full |
Unconstrained duals and their use in achieving all-uses coverage |
title_fullStr |
Unconstrained duals and their use in achieving all-uses coverage |
title_full_unstemmed |
Unconstrained duals and their use in achieving all-uses coverage |
title_sort |
unconstrained duals and their use in achieving all-uses coverage |
url |
http://hdl.handle.net/20.500.12110/paper_08979178_v_n_p147_Marre |
work_keys_str_mv |
AT marrem unconstraineddualsandtheiruseinachievingallusescoverage AT bertolinoa unconstraineddualsandtheiruseinachievingallusescoverage AT traczw unconstraineddualsandtheiruseinachievingallusescoverage AT zeilsj unconstraineddualsandtheiruseinachievingallusescoverage AT acmspecialinterestgrouponsoftwareengineeringsigsoft unconstraineddualsandtheiruseinachievingallusescoverage |
_version_ |
1782024356406231040 |