[PDF] Top 20 Geração automática de testes a partir de especificações algébricas

... Os testes unitários são testes realizados ao nível de unidades individuais de software, ou de grupos de unidades ...de testes é verificar o correto ou incorreto funcionamento de cada unidade através ... See full document

... de testes a partir da descrição formal das entradas do ...A geração das sentenças é realizada levando em consideração aspectos sintáticos definidos pela especificação da entrada, a ...de ... See full document

... de Testes e Qualidade de Software e Métodos Formais de Engenharia de Software, uma vez que utiliza uma abordagem inovadora para a utilização de especificações algébricas nos testes de ... See full document

... Um exemplo de modelagem com redes de Petri é apresentado em (Heiner & Menzel, 1998). Neste trabalho é definido um procedimento para transformar fragmentos de um pro- grama escrito na linguagem Instruction List (IL) ... See full document

... de testes a partir da descrição formal das entradas do ...na geração automática de testes para ...a partir destes estudos foi possível avaliar o comportamento e o desempenho de ... See full document

... de testes proprietário da Motorola conhecido como PTF (Phone Test Framework) ...da geração completa, é possível produzir um modelo direcionado a um objetivo, ou seja, a BxT foi projetada para permitir ao ... See full document

... da geração de casos de teste tem como objetivo tornar esse processo de identificação e geração mais ágil, menos propenso a erros humanos, mais rápido e menos dispendioso (Quentin, ...de testes, a ... See full document

... de testes numa in- terface bastante prática e possui índices e métodos de gestão de qualidade de software, no entanto tem como atual ponto fraco, o facto de não gerar uma boa documentação para os seus ... See full document

... de testes de software, as falhas podem ser reveladas e em seguida diagnosticadas a fim de identificar os defeitos que a ...Os testes devem idealmente ser aplicados desde o nível da unidade até o nível mais ... See full document

... a partir da Onto- ...de testes s˜ao: T´ ecnica Funcional, T´ ecnica Estrutural, T´ ecnica Baseada em Er- ros, T´ ecnica Baseada em M´ aquina de Estados, T´ ecnica Rand^ omica e T´ ecnica ad ... See full document

... Os casos de teste em nível de unidade são normalmente feitos pela pessoa que escreveu o código. O código fonte está quase sempre disponível no teste de unidade (exceto nos componentes COTS) e os que desenvolveram estão ... See full document

... Como previamente referido, a lógica para a resolução dos problemas enunciados centra-se na elevação da abstracção dos casos de teste e na automatização dos seus di- versos estádios. É neste sentido, de acordo com [25], ... See full document

... Relativamente a trabalhos futuros é essencial a implementação de uma outra funcionalidade que permita a descrição dos processos inerentes a cada caso de uso descrito, sugerindo-se que seja utilizado o diagrama de ... See full document

... os testes de software e as especificações formais. Os testes têm por objetivo encontrar falhas com o software já construído, enquanto que especificações formais buscam minimizá-las nas fases ... See full document

... e testes são ferramentas para obtenção e controle de qualidade de ...de Testes Baseados em Modelos permitem que testes sejam gerados a partir de outros artefatos de software como ... See full document

... [r] ... See full document

... Após o processo de especificação e verificação formal das propriedades do sistema, faz-se necessário a adição das diretivas utilizadas pela ferramenta na geração de código. Nesta etapa, são definidos também os ... See full document

... A Figura 12 apresenta este módulo em detalhe. Com base na informação contida no campo protocol.application, o gerador obtém os protocolos e os portos da regra a gerar. Um exemplo deste funcionamento é a geração de ... See full document

... A Teoria Fundamentada nos dados é o estudo de um conceito e a descoberta de padrões emergentes a partir da análise de dados (Glaser & Strauss, 1967). Consiste na recolha e leitura de dados, através de métodos ... See full document

... A partir do zero, e o terceiro trata de gerar os cheiros se a opção do utilizador for Aproveitando algum código já ...a geração das várias entidades que formam a es- trutura deste padrão de criação, ... See full document