Teste Estrutural de Integração de Programas de Aplicação de Banco de Dados Relacional

Spoto, Edmundo Sérgio; Leitão, Plínio de Sá; Jino, Mário; Maldonado, José Carlos

doi:10.5753/sbqs.2005.16166

Cited by 1 publication

(12 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…O uso persistente ocorre em algum nó de manipulação de dados da SQL e pode afetar o fluxo de controle nos arcos de saída desses nós, quando houver tratamento de exceção (Spoto, 2000). Esse enfoque é enriquecido pela inclusão de ocorrências de comandos de seleção de fluxo de controle de programa, os quais podem possuir uso de dados persistentes, conforme exemplificado abaixo: if exists (select id from empl where emplno = :emplno)…”

Section: Fluxo De Dados Persistentesunclassified

“…A evolução deste modelo é descrita no Capítulo 6. Em (Spoto, 2000), para cada comando que caracteriza uma definição (persistente) de tabela, existe um comando específico para indicar a tupla utilizada; entretanto, a implementação desse esforço na direção da granularidade em nível tupla utiliza variáveis de programa para a identificação da linha afetada por um comando. Kapfhammer e Soffa (2003) definem critérios de teste baseados em análise de fluxo de dados para aplicações de banco de dados explorando os vários níveis de granularidade; são introduzidas extensões ao critério todos-usos para dados persistentes no contexto do modelo relacional.…”

Section: Granularidade De Fluxo De Dados Persistentesunclassified

“…Essa abordagem considera a integração das unidades de programa, realizada duas-a-duas (pairwise). Spoto (2000) estendeu essa idéia para o teste de aplicações de banco de dados, contemplando a definição e o uso de variáveis do tipo tabela; os fluxos de controle resultantes de chamadas de procedimentos entre unidades foram explorados para abstrair relações de fluxo de dados persistentes. Para o caso de regras ativas e no modelo de interações adotado -política de ciclo recursiva e modos de acoplamento imediatos, onde a execução de uma regra é interrompida quando o evento de disparo de alguma regra é provocado e o controle é transferido para esta regra -, interações A/E podem resultar em novas interações A/C e A/A, similarmente às associações de chamada e de retorno inicialmente definidas por Vilela (1998), com a particularidade de as interações resultantes ocorrerem sempre no escopo de uma mesma transação.…”

Section: Definição: Grafo De Interação Entre Regras Ativasunclassified

“…A/E entre as regras r i e r j resulta na interação A/A entre as regras r i e r j referente ao par < p, (s, x j ) >, onde as ocorrências de definição e de uso estão em uma mesma transação. Spoto (2000) afirma que uma variável tabela definida por uma unidade de programa mantém-se viva ao longo do tempo. Esta característica resulta em associações de fluxo de dados entre duas unidades de programa que foram executadas em momentos distintos, sem a necessidade de um comando de chamada de uma para a outra; tais associações são denominadas associações por dependência de dados, sendo exercitadas por execuções independentes de pares de unidades (execução da unidade que define a variável tabela e, em seguida, execução da unidade que usa a variável tabela).…”

Section: Definição: Grafo De Interação Entre Regras Ativasunclassified

“…A análise de relações de fluxo de dados persistentes pela manipulação de dados via SQL foi inicialmente abordada em Spoto, 2000;Spoto et al, 2005). O trabalho é focado no teste estrutural de programas de aplicação de banco de dados relacional com SQL embutida.…”

unclassified

See 4 more Smart Citations

Teste baseado na interação entre regras ativas escritas em SQL

Leitão¹

View full text Add to dashboard Cite

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 ability. ivA Cyndia e a Giovanna, minha família. v AgradecimentosA Deus, pela delicadeza da vida.Ao prof. Mario Jino, pelas oportunidades, pela orientação e pelas conversas que resultaram nesta pesquisa.Ao prof. Plínio Vilela pelas contribuições a esta pesquisa.Aos meus pais, Plínio e Eliezita, pelo amor, pela educação e por sua verdadeira amizade.Aos meus irmãos, por sermos uma família.A minha esposa, Cyndia, pelo amor, dedicação e sorrisos que iluminam nossas vidas.A minha filha, Giovanna, por sua inocência e chorinho.Aos colegas da UNICAMP, em especial aos do grupo de teste de software da FEEC.

show abstract

Section: Fluxo De Dados Persistentesunclassified

Section: Granularidade De Fluxo De Dados Persistentesunclassified

Section: Definição: Grafo De Interação Entre Regras Ativasunclassified