Navegando por Data de Publicação, começando com "2014-10-20"

Filtrar resultados por ano ou mês

Agora exibindo 1 - 3 de 3

Investigação de operadores essenciais de mutação para programas orientados a aspectos
(Universidade Federal de São Carlos, 2014-10-20) Lacerda, Jésus Thiago Sousa; Ferrari, Fabiano Cutigi; https://lattes.cnpq.br/3154345471250570; https://lattes.cnpq.br/0035619364824823
Context: The literature on software testing reports on the application of the Mutation Analysis criterion or mutation testing as a promising approach for revealing faults in aspect-oriented (AO) programs. However, it is widely known that this criterion is highly costly due to the large number of generated mutants and the effort required to identify equivalent mutants. We highlight that little existing research on mutation testing for AO programs focuses on cost reduction strategies. Objective: this work aims at investigating the cost reduction of mutation testing for AO programs. In particular, we intend to reduce the cost of mutation testing by identifying a reduced set of mutation operators that are capable of keeping the effectiveness in guaranteeing the quality of the designed test sets. Method: to achieve the goals, we applied an approach called Sufficient Procedure. Such approach yields sufficient (sets of) mutation operators. Test sets that are adequate with respect to mutants produced by sufficient operators are able to reveal the majority of faults simulated by a whole set of mutants. Results: by applying the Sufficient Procedure, we obtained substantial cost reductions for three groups of AO programs. The cost reduction in the experiments range from 52% to 62%. The final mutation scores yielded by the test sets that are adequate to mutants produced by the sufficient operators range from 92% to 94%. Conclusion: with the achieved results, we conclude that it is possible to reduce the cost of mutation testing applied to AO programs without significant losses with respect to the capacity of revealing prespecified fault types. The Sufficient Procedure has shown to be able to support cost reduction and to maintain the effectiveness of the criterion.
Evidências do efeito da fragmentação da mata atlântica na variabilidade e estruturação genética de Chiroxiphia caudata
(Universidade Federal de São Carlos, 2014-10-20) Niero, Leonardo Paes; Galetti Júnior, Pedro Manoel; https://lattes.cnpq.br/7398754661670478; https://lattes.cnpq.br/4581580635244874
Habitat fragmentation is one of the main threats to biodiversity and one of the main challenges faced by conservation biology. This study assessed the habitat fragmentation effects on the genetic variability of Chiroxiphia caudata, which is an Atlantic Forest endemic bird species. Nine microsatellite loci were used for the analysis of individuals from five Atlantic Forest areas. We found departure from HWE is due to heterozygotes deficit and positive values for the inbreeding coefficient (Fis) for all populations. Private alleles were found in all areas. Fst, Dest, Bayesian and factorial correspondence analyses indicated that populations are genetically structured, but the distance could not explain the differentiation between areas. Apparently, this species did not suffered from a reduction in its variability because of the habitat fragmentation process. The fragmentation and its consequences as the reduction of gene flow may be acting in order to increase the differentiation between areas, including nearby areas that already show evidence of early differentiation.The choice of C. caudata for this study concerning the Atlantic Forest revealed the most fragmented areas played an important role for the specie by sheltering great genetic diversity within itself. Although not considered a very specialized specie as to their habits, the study model based on C. caudata showed that even more generalist species may be affected by fragmentation. When dealing with more specialized species, this scenario can become even worse.
Catálogo de padrões para o desenvolvimento de software como um serviço multi-tenant
(Universidade Federal de São Carlos, 2014-10-20) Leite, Bruno Dias; Penteado, Rosângela Aparecida Dellosso; https://lattes.cnpq.br/4061946080136286
Software as a Service (SaaS) represent a form of software distribution on demand and accessible via the Internet. The development of SaaS enables service users (tenants) to benefit from the low cost of deployment and maintenance. The Multi-Tenant (MT) architecture is often used in the development of SaaS, it allows the sharing of software and hardware resources, providing cost savings to the costumers and the service provider. A challenge that the SaaS developer has is to keep sharing the instance of the software in scenarios with tenants who have differing needs. In this project, to address the variability of tenants in SaaS MT were set some patterns, based on Software Product Lines techniques for customizing user interfaces, data, processes and permissions. A framework called FoSaaS (Framework of Software as a Service) has also been developed to support the use of patterns, providing support to developers in SaaS MT coding. In addition to allowing the customization of SaaS MT, experiments in this project indicated that patterns improve reuse, quality and productivity in developed SaaS MT. The applicability of the patterns was evidenced through real projects in developing commercial applications.