Automatic generation of database instances for white-box testing

Zhang, Jian; Xu, Chen; Cheung, Shing-Chi

doi:10.1109/cmpsac.2001.960612

Cited by 18 publications

(12 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Zhang et al [29] describe a fault-based approach which generates a set of constraints that feeds a general purpose constraint solver to derive the test database. Binnig et al [2] propose the Multi-RQP technique to populate a test database, taking as input a set of queries and their expected results.…”

Section: Related Workmentioning

confidence: 99%

Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach

Blanco¹,

Tuya²,

Seco³

2012

2012 IEEE Fifth International Conference on Software Testing, Verification and Validation

View full text Add to dashboard Cite

Testing a database application is a challenging process where both the database and the user interaction have to be considered in the design of test cases. This paper describes a specification-based approach to guide the design of test inputs (both the test database and the user inputs) for a database application and to automatically evaluate the test adequacy. First, the system specification of the application is modelled: (1) the structure of the database and the user interface are represented in a single model, called Integrated Data Model (IDM), (2) the functional requirements are expressed as a set of business rules, written in terms of the IDM. Then, a MCDC-based criterion is applied over the business rules to automatically derive the situations of interest to be tested (test requirements), which guide the design of the test inputs. Finally, the adequacy of these test inputs is automatically evaluated to determine whether the test requirements are covered. The approach has been applied to the TPC-C benchmark. The results show that it allows designing test cases that are able to detect interesting faults which were located in the procedural code of the implementation.

show abstract

Section: Related Workmentioning

confidence: 99%

Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach

Blanco¹,

Tuya²,

Seco³

2012

2012 IEEE Fifth International Conference on Software Testing, Verification and Validation

View full text Add to dashboard Cite

show abstract

“…Nesse contexto, existem vários estudos sendo conduzidos para o teste dessas aplicações. Esses estudos envolvem geração de dados, teste do projeto e da aplicação de base de dados (Chan e Cheung 1999, Chays et al 2000, Chays e Deng 2003, Deng et al 2005, Kapfhammer e Soffa 2003, Suárez-Cabal e Tuya 2004, Zhang et al 2001); alguns estudos exploram o uso de informações do esquema para o teste da aplicação de base de dados (Chan et al 2005, Robbert e Maryanski 1991. Nesse contexto de base de dados relacional, destaca-se o trabalho de Aranha et al (2000) que aborda o teste de esquema.…”

Section: Trabalhos Relacionadosunclassified

“…Na literatura, a maioria dos trabalhos existentes se dedica somente a testar as aplicações. No contexto de esquemas de dados relacionais, eles visam à geração de dados, ao teste do projeto e da aplicação de base de dados (Chan e Cheung 1999, Chays et al 2000, Chays e Deng 2003, Deng et al 2005, Kapfhammer e Soffa 2003, Suárez-Cabal e Tuya 2004, Zhang et al 2001) e quando consideram o esquema é somente como fonte de informações para a obtenção de dados de teste. (Chan et al 2005, Robbert e Maryanski 1991.…”

Section: Introductionunclassified

XTool: Uma Ferramenta de Teste Baseado em Defeitos para Esquemas de Dados

Nazar¹,

Emer²,

Vergílio³

et al. 2008

Anais Do IX Workshop De Testes E Tolerância a Falhas (WTF 2008)

View full text Add to dashboard Cite

Este trabalho descreve a ferramenta, denominada XTool, que testa esquemas de dados considerando classes de defeitos previamente definidas. A XTool gera automaticamente dados de teste formados por instâncias de dados e consultas a essas instâncias. A abordagem implementada pela ferramenta pode ser utilizada em diferentes tipos de esquemas. O objetivo do teste realizado pela XTool é contribuir para melhorar a qualidade das aplicações de software, assegurando a integridade dos dados que ela manipula e que são definidos pelo esquema em teste.

show abstract

“…Técnicas de teste para programas convencionais têm sido propostas, implementadas e avaliadas, mas relativamente pouco esforço tem sido dedicado ao desenvolvimento de técnicas sistemáticas na direção de corretude de aplicações de banco de dados (Chan e Cheung, 1999;Chays et al, 2000;Kapfhammer and Soffa, 2003;Zhang et al, 2001). As iniciativas mais formalizadas aos objetivos de teste surgiram nos últimos cinco anos, o que demonstra a atualidade de esforços sistemáticos em sintonia com o teste de software.…”

Section: Motivaçãounclassified

“…As iniciativas mais formalizadas aos objetivos de teste surgiram nos últimos cinco anos, o que demonstra a atualidade de esforços sistemáticos em sintonia com o teste de software. Existe consenso sobre a necessidade de abordagens sistemáticas de teste que explorem a estrutura e a semântica das operações de acesso a base de dados (Chan e Cheung, 1999;Chays et al, 2000;Kapfhammer e Soffa, 2003;Suárez-Cabal e Tuya, 2004;Zhang et al, 2001), aspecto este não coberto por abordagens de teste tradicionais.…”

Section: Teste De Bancos De Dadosunclassified

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

Automatic generation of database instances for white-box testing

Cited by 18 publications

References 4 publications

Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach

Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach

XTool: Uma Ferramenta de Teste Baseado em Defeitos para Esquemas de Dados

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

Contact Info

Product

Resources

About