Uma abordagem é proposta para o teste estrutural de programas de Aplicação de Banco de Dados Relacional (ABDR) com SQL embutida. Uma aplicação é vista como um conjunto de programas e cada programa como um conjunto de unidades. Devido à natureza da ABDR, dois modelos de fluxo de dados são propostos: intra-modular e inter-modular.O modelo de fluxo de dados intra-modular aplica-se ao teste de unidade e ao teste de integração das unidades de um programa. O inter-modular aplica-se à integração dos programas que compõem uma aplicação. O teste de unidade pode ser apoiado por qualquer critério de teste estrutural de unidade de programas procedimentais. Duas abordagens são propostas para o teste de integração intra-modular: teste baseado no grafo de chamadas e teste baseado em dependência de dados. Critérios baseados nos modelos intra-modular e inter-modular são apresentados e discutidos com exemplos de sua aplicação; são também apresentados e discutidos resultados de experimentos. A análise da complexidade dos critérios mostra que ela é de ordem exponencial, para o pior caso. Contudo, os resultados de sua aplicação, em programas reais, indicam que eles demandam um número pequeno de casos de teste.
A busca pela qualidade de Aplicações de Banco de Dados Relacionais (ABDR) envolve a definição de abordagens de teste que considerem o fluxo de dados persistentes. A técnica de teste estrutural é baseada na estrutura interna de programas; ela é aplicada no teste de unidade de programas e na integração dessas unidades. Este trabalho explora a análise de fluxo de dados persistentes em ABDR, para determinar requisitos para teste estrutural de integração. Especificamente, uma abordagem é proposta para o teste estrutural de integração em programas com SQL embutida, onde a persistência de dados estabelece associações de fluxo de dados. A abordagem considera o teste de integração intra-modular e intermodular para definir os requisitos de teste. Os critérios de teste propostos estão baseados na estrutura de chamada entre unidades e na dependência exclusiva de dados, focados nas relações de fluxo de dados persistentes.
Este trabalho tem a finalidade de apresentar a teoria e uma classe de metodos da Programaçao Geometrica. que tem sido consideradas de grande utaidade para soluç2O de problemas de Engenharia. A classe de me todos estudados e baseada num conceito de condensaçao, que visa aproximar um programa posinomial a um programa Linear. Este ultimo pode ser resolvido usando tecnicas da Programaçao Linear. A idáhia de projeçao de Censor-Lent foi usada, em combinaçao com os-metodos estudados, numa tentativa de acelera-los. Finalmente apresentamos as experiencias numáiricas e conciusoes.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.