Geraaao De Especificaaaes De Casos De Teste
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Modelling and Integrating Formal Models: from Test Cases and Requirements Models
A especificaÃÃo formal de um sistema ou seu modelo formal à uma forma abstrata de representar suas propriedades (caracterÃsticas). MÃtodos formais à um ramo da Engenharia de Software com foco no desenvolvimento de sistemas tendo uma especificaÃÃo formal do mesmo como ponto de partida. Inicialmente, as vantagens de usar notaÃÃes abstratas antes da i
Publicado em: 2007
-
2. NLForSpec: Uma Ferramenta para GeraÃÃo de EspecificaÃÃes Formais a partir de Casos de Teste em Linguagem Natural
This work describes the NLForSpec, a Natural Language Processing tool to translate software test cases descriptions in English into a formal representation. NLForSpec is part of a larger project (CIn-Motorola BTC Test Research Project), which aims to automate test case generation, selection and evaluation for mobile phone applications. One of the projects ma
Publicado em: 2006
-
3. SpecNL: Uma ferramenta para gerar descriÃÃes em linguagem natural a partir de especificaÃÃes de casos de teste
Software Testing is an important task in the software development process. However, this task is very expensive. Studies suggest that Software Testing takes up to 50% of the total cost of software development. In order to automate and optimize the testing activities, several tools have been applied to aid the testing process, ranging from test generation to
Publicado em: 2006
-
4. GeraÃÃo automÃtica de casos de teste CSP orientada por propÃsitos
O processo de desenvolvimento de software està sujeito a inserÃÃo de erros diversos cuja presenÃa compromete a qualidade final dos produtos de software. Teste à uma atividade dinÃmica e bastante custosa dentro das vÃrias empregadas pela Garantia da Qualidade de Software. O objetivo de teste à demonstrar que um comportamento especÃfico (cenÃrio) de
Publicado em: 2006