On synthesizing test cases in symbolic real-time testing

Detalhes bibliográficos
Autor(a) principal: Khoumsi,Ahmed
Data de Publicação: 2006
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Journal of the Brazilian Computer Society
Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002006000300004
Resumo: Test synthesis (or test generation) can be described as follows: from a formal specification of an implementation under test (IUT), and from a test purpose describing behaviors to be tested, the aim is to synthesize test cases to be executed in order to check whether the IUT conforms to its formal specification, while trying to control the IUT so that it satisfies the test purpose. In this paper, we study the synthesis of test cases for symbolic real-time systems. By symbolic, we mean that the specification of the IUT contains variables and parameters. And by real-time, we mean that the specification of the IUT contains timing constraints. Our method combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing test cases for (non-real-time) symbolic systems.
id UFRGS-28_e0cbe7917bea0175dd3977baeb9f8353
oai_identifier_str oai:scielo:S0104-65002006000300004
network_acronym_str UFRGS-28
network_name_str Journal of the Brazilian Computer Society
repository_id_str
spelling On synthesizing test cases in symbolic real-time testingTest cases synthesisreal-time testsymbolic testtimed input output symbolic automatatest architectureTest synthesis (or test generation) can be described as follows: from a formal specification of an implementation under test (IUT), and from a test purpose describing behaviors to be tested, the aim is to synthesize test cases to be executed in order to check whether the IUT conforms to its formal specification, while trying to control the IUT so that it satisfies the test purpose. In this paper, we study the synthesis of test cases for symbolic real-time systems. By symbolic, we mean that the specification of the IUT contains variables and parameters. And by real-time, we mean that the specification of the IUT contains timing constraints. Our method combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing test cases for (non-real-time) symbolic systems.Sociedade Brasileira de Computação2006-09-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002006000300004Journal of the Brazilian Computer Society v.12 n.2 2006reponame:Journal of the Brazilian Computer Societyinstname:Sociedade Brasileira de Computação (SBC)instacron:UFRGS10.1007/BF03192393info:eu-repo/semantics/openAccessKhoumsi,Ahmedeng2010-05-24T00:00:00Zoai:scielo:S0104-65002006000300004Revistahttps://journal-bcs.springeropen.com/PUBhttps://old.scielo.br/oai/scielo-oai.phpjbcs@icmc.sc.usp.br1678-48040104-6500opendoar:2010-05-24T00:00Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)false
dc.title.none.fl_str_mv On synthesizing test cases in symbolic real-time testing
title On synthesizing test cases in symbolic real-time testing
spellingShingle On synthesizing test cases in symbolic real-time testing
Khoumsi,Ahmed
Test cases synthesis
real-time test
symbolic test
timed input output symbolic automata
test architecture
title_short On synthesizing test cases in symbolic real-time testing
title_full On synthesizing test cases in symbolic real-time testing
title_fullStr On synthesizing test cases in symbolic real-time testing
title_full_unstemmed On synthesizing test cases in symbolic real-time testing
title_sort On synthesizing test cases in symbolic real-time testing
author Khoumsi,Ahmed
author_facet Khoumsi,Ahmed
author_role author
dc.contributor.author.fl_str_mv Khoumsi,Ahmed
dc.subject.por.fl_str_mv Test cases synthesis
real-time test
symbolic test
timed input output symbolic automata
test architecture
topic Test cases synthesis
real-time test
symbolic test
timed input output symbolic automata
test architecture
description Test synthesis (or test generation) can be described as follows: from a formal specification of an implementation under test (IUT), and from a test purpose describing behaviors to be tested, the aim is to synthesize test cases to be executed in order to check whether the IUT conforms to its formal specification, while trying to control the IUT so that it satisfies the test purpose. In this paper, we study the synthesis of test cases for symbolic real-time systems. By symbolic, we mean that the specification of the IUT contains variables and parameters. And by real-time, we mean that the specification of the IUT contains timing constraints. Our method combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing test cases for (non-real-time) symbolic systems.
publishDate 2006
dc.date.none.fl_str_mv 2006-09-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002006000300004
url http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002006000300004
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1007/BF03192393
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv text/html
dc.publisher.none.fl_str_mv Sociedade Brasileira de Computação
publisher.none.fl_str_mv Sociedade Brasileira de Computação
dc.source.none.fl_str_mv Journal of the Brazilian Computer Society v.12 n.2 2006
reponame:Journal of the Brazilian Computer Society
instname:Sociedade Brasileira de Computação (SBC)
instacron:UFRGS
instname_str Sociedade Brasileira de Computação (SBC)
instacron_str UFRGS
institution UFRGS
reponame_str Journal of the Brazilian Computer Society
collection Journal of the Brazilian Computer Society
repository.name.fl_str_mv Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)
repository.mail.fl_str_mv jbcs@icmc.sc.usp.br
_version_ 1754734669921779712

Registros relacionados