Teste baseado na interação entre regras ativas escritas em SQL
Autor(a) principal: | |
---|---|
Data de Publicação: | 2005 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
Texto Completo: | https://hdl.handle.net/20.500.12733/1601819 |
Resumo: | Orientadores: Mario Jino, Plinio Roberto Souza Vilela |
id |
UNICAMP-30_ac318e0ad766c53a0074688be6f0cd7f |
---|---|
oai_identifier_str |
oai::361263 |
network_acronym_str |
UNICAMP-30 |
network_name_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository_id_str |
|
spelling |
Teste baseado na interação entre regras ativas escritas em SQLTesting based on interaction of SQL rulesBanco de dados relacionaisEngenharia de softwareProgramas de computador - TestesSQL (Linguagem de programação de computador)Active database applicationAdequacy criterionSoftware engineeringSoftware testingSQL based applicationOrientadores: Mario Jino, Plinio Roberto Souza VilelaTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de ComputaçãoResumo: Bancos de dados ativos têm sido usados como uma alternativa à implementação de parte da funcionalidade de muitas aplicações em diversas áreas de conhecimento. A idéia básica é a resposta automática à ocorrência de eventos pela ativação de tarefas com funções específicas, conduzindo à execução de regras ativas. A despeito do uso difundido dessa tecnologia, pouco esforço de pesquisa tem sido direcionado ao teste de aplicações de bancos de dados ativos. Nesta pesquisa, nós investigamos o uso de uma técnica de teste estrutural para revelar a presença de defeitos, visando à melhoria de qualidade e ao aumento do nível de confiança com relação a este tipo de software. Uma família de critérios de adequação é proposta e analisada, no âmbito de regras ativas escritas em SQL. Especificamente, um modelo de interação entre regras é elaborado, visando à abstração de associações de interação, as quais formam a base para os requisitos de teste. No contexto de teste estrutural baseado em fluxo de dados, é definido um conjunto de critérios de adequação, denominados Critérios Baseados na Interação entre Regras, que requerem o exercício de associações de interação. Os critérios são uma extensão ao critério todos usos, pela exploração de relações de fluxo de dados persistentes devido a interações entre regras. Investigações teóricas e empíricas foram conduzidas, demonstrando que os critérios demonstram habilidade na detecção dos defeitos com complexidade polinomial. Defeitos e falhas de manipulação foram estudados, enumerados e utilizados em um experimento que avalia a habilidade de detecção de defeitos dos critérios em diferentes granularidades: precisões da análise de fluxo de dados. Uma ferramenta chamada ADAPT-TOOL (Active Database APplication Testing TOOL for active rules written in SQL) foi construída para suportar o experimento. Os resultados indicam que: (i) a eficácia de detecção de defeitos alcançou 2/3 do conjunto adequado, obtendo-se valores mais elevados para granularidades menos precisas; e (ii) a cobertura de associações de interação em granularidades mais precisas não melhora a habilidade de revelar defeitosAbstract: Active Rule databases have been used as an alternative to the partial implementation of applications in several knowledge domains. Their principle is the automatic response to events by the activation of tasks with specific functionalities, leading to the execution of active rules. Notwithstanding their widespread use, few research efforts have been concentrated on active database application testing. In this research work we investigate the use of a structural testing technique to reveal the presence of faults, aimed at improving reliability and overall quality of this kind of software. A family of adequacy criteria is proposed and analysed in the active SQL-based database realm. Specifically, an interaction model between rules is elaborated, in order to abstract interaction associations that form the basis for testing requirements. In the context of data flow based structural testing, a family of adequacy criteria is defined, called Interaction Between Rules based Criteria, that demands the coverage of interaction associations. The criteria are an extension to the all uses criterion, by the exploitation of persistent data flow relations associated to rule interaction. Both theoretical and empirical investigations were performed, showing that the criteria posses fault detecting ability with polynomial complexity. Manipulation faults and failures were studied, enumerated and used in an experiment that evaluates criteria fault detecting ability at different granularities: data flow analysis precisions. A tool called ADAPT-TOOL (Active Database APplication Testing TOOL for active rules written in SQL) was built to support the experiment. The results indicate that: i) the fault-detecting efficacy was 2/3 of the adequate set, and reaches higher values for the lower data flow analysis precision; and (ii) the coverage of interaction association at higher granularities does not improve the fault detecting abilityDoutoradoEngenharia de ComputaçãoDoutor em Engenharia Elétrica[s.n.]Jino, Mario, 1943-Vilela, Plínio Roberto Souza, 1970-Ricarte, Ivan Luiz MarquesDe Martino, José MárioMagalhães, Léo PiniChaim, Marcos LordelloVergilio, Silvia ReginaUniversidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de ComputaçãoPrograma de Pós-Graduação não informadoUNIVERSIDADE ESTADUAL DE CAMPINASLeitão Junior, Plinio de Sa20052005-12-21T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf222p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1601819LEITÃO JUNIOR, Plinio de Sa. Teste baseado na interação entre regras ativas escritas em SQL. 2005. 222p. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1601819. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/361263porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2024-02-27T16:16:17Zoai::361263Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2024-02-27T16:16:17Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false |
dc.title.none.fl_str_mv |
Teste baseado na interação entre regras ativas escritas em SQL Testing based on interaction of SQL rules |
title |
Teste baseado na interação entre regras ativas escritas em SQL |
spellingShingle |
Teste baseado na interação entre regras ativas escritas em SQL Leitão Junior, Plinio de Sa Banco de dados relacionais Engenharia de software Programas de computador - Testes SQL (Linguagem de programação de computador) Active database application Adequacy criterion Software engineering Software testing SQL based application |
title_short |
Teste baseado na interação entre regras ativas escritas em SQL |
title_full |
Teste baseado na interação entre regras ativas escritas em SQL |
title_fullStr |
Teste baseado na interação entre regras ativas escritas em SQL |
title_full_unstemmed |
Teste baseado na interação entre regras ativas escritas em SQL |
title_sort |
Teste baseado na interação entre regras ativas escritas em SQL |
author |
Leitão Junior, Plinio de Sa |
author_facet |
Leitão Junior, Plinio de Sa |
author_role |
author |
dc.contributor.none.fl_str_mv |
Jino, Mario, 1943- Vilela, Plínio Roberto Souza, 1970- Ricarte, Ivan Luiz Marques De Martino, José Mário Magalhães, Léo Pini Chaim, Marcos Lordello Vergilio, Silvia Regina Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação Programa de Pós-Graduação não informado UNIVERSIDADE ESTADUAL DE CAMPINAS |
dc.contributor.author.fl_str_mv |
Leitão Junior, Plinio de Sa |
dc.subject.por.fl_str_mv |
Banco de dados relacionais Engenharia de software Programas de computador - Testes SQL (Linguagem de programação de computador) Active database application Adequacy criterion Software engineering Software testing SQL based application |
topic |
Banco de dados relacionais Engenharia de software Programas de computador - Testes SQL (Linguagem de programação de computador) Active database application Adequacy criterion Software engineering Software testing SQL based application |
description |
Orientadores: Mario Jino, Plinio Roberto Souza Vilela |
publishDate |
2005 |
dc.date.none.fl_str_mv |
2005 2005-12-21T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
(Broch.) https://hdl.handle.net/20.500.12733/1601819 LEITÃO JUNIOR, Plinio de Sa. Teste baseado na interação entre regras ativas escritas em SQL. 2005. 222p. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1601819. Acesso em: 2 set. 2024. |
identifier_str_mv |
(Broch.) LEITÃO JUNIOR, Plinio de Sa. Teste baseado na interação entre regras ativas escritas em SQL. 2005. 222p. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1601819. Acesso em: 2 set. 2024. |
url |
https://hdl.handle.net/20.500.12733/1601819 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://repositorio.unicamp.br/acervo/detalhe/361263 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf 222p. : il. |
dc.publisher.none.fl_str_mv |
[s.n.] |
publisher.none.fl_str_mv |
[s.n.] |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
instname_str |
Universidade Estadual de Campinas (UNICAMP) |
instacron_str |
UNICAMP |
institution |
UNICAMP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
collection |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP) |
repository.mail.fl_str_mv |
sbubd@unicamp.br |
_version_ |
1809188937440165888 |