Achieving both model and code coverage with automated gray-box testing

We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. The former provides general guidance for the structure of the tests in the form of test sequences, as well as the oracle to...

Descripción completa

Detalles Bibliográficos
Autores principales:	Kicillof, Nicolás, Braberman, Víctor Adrián
Publicado:	2007
Materias:	Concolic execution Model-based testing Parameterized unit testing Symbolic execution Test-case generation Behavioral research Mathematical models Parameter estimation Parameterization Computer software
Acceso en línea:	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815959_v_n_p1_Kicillof http://hdl.handle.net/20.500.12110/paper_97815959_v_n_p1_Kicillof
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	paper:paper_97815959_v_n_p1_Kicillof
record_format	dspace
spelling	paper:paper_97815959_v_n_p1_Kicillof2023-06-08T16:38:06Z Achieving both model and code coverage with automated gray-box testing Kicillof, Nicolás Braberman, Víctor Adrián Concolic execution Model-based testing Parameterized unit testing Symbolic execution Test-case generation Concolic execution Model-based testing Parameterized unit testing Symbolic execution Test-case generation Behavioral research Mathematical models Parameter estimation Parameterization Computer software We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. The former provides general guidance for the structure of the tests in the form of test sequences, as well as the oracle to check for conformance of an application under test with respect to a behavioral model. The latter finds a set of concrete parameter values that maximize code coverage using symbolic analysis. By applying these techniques together, we can produce test definitions (expressed as code to be run in a test management framework) that exercise all selected paths in the model, while also covering code branches specific to the implementation. These results cannot be obtained from any of the individual approaches alone, as the model cannot predict what values are significant to a particular implementation, while parameterized unit testing requires manually written test sequences and correctness validations. We provide tool support, integrated into our model-based testing tool. Copyright 2007 ACM. Fil:Kicillof, N. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2007 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815959_v_n_p1_Kicillof http://hdl.handle.net/20.500.12110/paper_97815959_v_n_p1_Kicillof
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	Concolic execution Model-based testing Parameterized unit testing Symbolic execution Test-case generation Concolic execution Model-based testing Parameterized unit testing Symbolic execution Test-case generation Behavioral research Mathematical models Parameter estimation Parameterization Computer software
spellingShingle	Concolic execution Model-based testing Parameterized unit testing Symbolic execution Test-case generation Concolic execution Model-based testing Parameterized unit testing Symbolic execution Test-case generation Behavioral research Mathematical models Parameter estimation Parameterization Computer software Kicillof, Nicolás Braberman, Víctor Adrián Achieving both model and code coverage with automated gray-box testing
topic_facet	Concolic execution Model-based testing Parameterized unit testing Symbolic execution Test-case generation Concolic execution Model-based testing Parameterized unit testing Symbolic execution Test-case generation Behavioral research Mathematical models Parameter estimation Parameterization Computer software
description	We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. The former provides general guidance for the structure of the tests in the form of test sequences, as well as the oracle to check for conformance of an application under test with respect to a behavioral model. The latter finds a set of concrete parameter values that maximize code coverage using symbolic analysis. By applying these techniques together, we can produce test definitions (expressed as code to be run in a test management framework) that exercise all selected paths in the model, while also covering code branches specific to the implementation. These results cannot be obtained from any of the individual approaches alone, as the model cannot predict what values are significant to a particular implementation, while parameterized unit testing requires manually written test sequences and correctness validations. We provide tool support, integrated into our model-based testing tool. Copyright 2007 ACM.
author	Kicillof, Nicolás Braberman, Víctor Adrián
author_facet	Kicillof, Nicolás Braberman, Víctor Adrián
author_sort	Kicillof, Nicolás
title	Achieving both model and code coverage with automated gray-box testing
title_short	Achieving both model and code coverage with automated gray-box testing
title_full	Achieving both model and code coverage with automated gray-box testing
title_fullStr	Achieving both model and code coverage with automated gray-box testing
title_full_unstemmed	Achieving both model and code coverage with automated gray-box testing
title_sort	achieving both model and code coverage with automated gray-box testing
publishDate	2007
url	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815959_v_n_p1_Kicillof http://hdl.handle.net/20.500.12110/paper_97815959_v_n_p1_Kicillof
work_keys_str_mv	AT kicillofnicolas achievingbothmodelandcodecoveragewithautomatedgrayboxtesting AT brabermanvictoradrian achievingbothmodelandcodecoveragewithautomatedgrayboxtesting
_version_	1768546560875954176

Achieving both model and code coverage with automated gray-box testing

Ejemplares similares