Code Coverage Analysis
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. Teste de programas concorrentes com memória compartilhada / Test of shared memory concurrent programs
This work presents a novel test model for shared memory concurrent programs. Some important new features in this model are: (1) analysis the communication and synchronization in an isolated manner, (2) examines the synchronization due the start and the finish of threads, and (3) employs a method based on timestamps to check the communication exercised for an
Publicado em: 2009
-
2. AdaptaÃÃo do processo de desenvolvimento de software para anÃlise de cobertura de cÃdigo
Teste à uma atividade muito importante no processo de desenvolvimento de software, entretanto, à uma atividade cara, uma vez que ela consome uma parte considerÃvel dos recursos de um projeto de desenvolvimento de software. Um problema encontrado na maioria dos processos de desenvolvimento de software à a ausÃncia de uma maneira de se avaliar a efetivida
Publicado em: 2007
-
3. Structural coverage analysis of test sets derived from formal specifications: a comparative study in the space applications context / Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espaciais
Testing techniques can be divided, in high level, in code-based ones (white box) and specification based ones (black box). None of them are complete as they intend to identify different kinds of faults. The use of them together can increase the application confidence level. Thus, it is important to investigate the relationship between structural testing tech
Publicado em: 2007
-
4. The marginal value of increased testing: an empirical analysis using four code coverage measures
This paper presents an empirical comparison of the growth characteristics of four code coverage measures, block, decision, c-use and p-use, as testing is increased. Due to the theoretical foundations underlying the lognormal software reliability growth model, we hypothesize that the growth for each coverage measure is lognormal. Further, since for a given pr
Journal of the Brazilian Computer Society. Publicado em: 2006-12
-
5. A construção do comércio varejista no jornalismo econômico de Folha de São Paulo, O Estado de São Paulo, Gazeta Mercantil e Valor Econômico
This inquiry aims to investigate the ways of construction of the retail commerce in the economical daily journalism. Retail trade is constantly covered by the media. Journalism in general approaches this sector from different points of view, whether under the topic of behavior, services or, mainly, economy. This coverage has been revealing the marked changes
Publicado em: 2006
-
6. Uma ferramenta para teste estrutural de regras ativas
Active rules define actions on active databases, activated without the intervention of the user; they are used for the maintenance of a database as well as for controlling diverse other activities. There is few work focusing on the test of rules and the existing ones do not explore the SQL language, one of the most used languages in relational databases. A t
Publicado em: 2004