Página 1 dos resultados de 77389 itens digitais encontrados em 0.041 segundos

Subsídios para o estabelecimento de estratégias de teste baseadas na técnica de mutação.; Subsidies for the establishment of testing strategy based on mutation technique.

Vincenzi, Auri Marcelo Rizzo
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 06/11/1998 PT
Relevância na Pesquisa
36.33%
Para sistematizar os testes e contornar as restrições de tempo e custo associadas à atividade de teste, diversas técnicas, critérios e ferramentas têm sido desenvolvidas. Além disso, visando ao estabelecimento de uma estratégia de teste incremental, que apresente baixo custo de aplicação e alta eficácia em revelar a presença de erros, estudos teóricos e empíricos vêm sendo conduzidos pela comunidade de teste. O presente trabalho está inserido nesse contexto e tem como objetivo a realização de estudos empíricos para comparar a adequação entre os critérios baseados em erros - Análise de Mutantes (teste de unidade) e Mutação de Interface (teste de integração) - visando ao estabelecimento de estratégias de teste de baixo custo e eficazes, que englobem todo o ciclo de desenvolvimento de software. Nessa perspectiva, algumas estratégias incrementais de aplicação dos operadores de mutação de unidade e de integração são definidas, explorando o aspecto complementar dos critérios baseados em mutação, reduzindo com isso os custos da atividade de teste durante as fases do teste de unidade e de integração, sem comprometer sua qualidade. Ainda, um conjunto essencial de operadores de mutação para o critério Mutação de Interface é apresentado.; Techniques...

Orientação a objeto: definição, implementação e análise de recursos de teste e validação; Object-oriented: definition, implementation and analysis of validation and testing resources

Vincenzi, Auri Marcelo Rizzo
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 05/05/2004 PT
Relevância na Pesquisa
36.37%
O desenvolvimento de software baseado no paradigma Orientado a Objetos (OO) e baseado em componentes é uma realidade. Este trabalho trata de teste e validação dentro desse contexto. Observa-se que diversos trabalhos relacionados ao teste de programas OO vêm sendo desenvolvidos. Apesar de ser um ponto controverso, alguns pesquisadores consideram que critérios de teste desenvolvidos para o teste de programas procedimentais podem ser facilmente estendidos para o teste de programas OO, pelo menos para o teste de métodos. Ainda são poucas as iniciativas de estender critérios de fluxo de dados e critérios baseados em mutação, tradicionalmente utilizados no teste de programas procedimentais, para o teste de programas OO. O presente trabalho visa a contribuir na identificação e definição de recursos de teste e validação que possam ser utilizados no teste de programas OO, com ênfase nos critérios de teste baseados em fluxo de dados e em mutação, cobrindo as fases do teste de unidade e de integração. Além disso, para apoiar a aplicação desses critérios, é de fundamental importância o desenvolvimento de ferramentas automatizadas que permitam a realização de estudos comparativos e a transferência tecnológica para a indústria. Em suma...

Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização; Pairwise integration structural testing of object- and aspect-oriented programs: criteria and automation

Franchin, Ivan Gustavo
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 19/04/2007 PT
Relevância na Pesquisa
36.34%
Uma abordagem de teste estrutural de integração par-a-par para programas OO e OA escritos em Java e AspectJ é apresentada. A finalidade dessa abordagem é descobrir defeitos que possam existir na interface entre os pares de unidades que se relacionam em um programa. Para programas OO este tipo de teste envolve testar a interação entre os pares de métodos. Já para programas OA, o teste estrutural de integração par-a-par envolve testar a interação entre os seguintes pares de unidades: método-método, método-adendo, adendo-método e adendo-adendo. Para efetuar o teste estrutural de integração par-a-par deve-se considerar todo o fluxo de execução (fluxo de controle e de dados) que ocorre entre a unidade chamadora e a unidade chamada. Para isso é definido o grafo Def-Uso Par-a-Par (PWDU) que é uma abstração formada pela integração dos grafos Def-Uso Orientado a Aspectos (AODU) da unidade chamadora e da unidade chamada. Além disso, são propostos três critérios para derivar requisitos de teste para pares de unidades. Dentre eles, dois critérios são baseados em fluxo de controle: todos-nós-integrados e todas-arestas-integradas; e um critério é baseado em fluxo de dados: todos-usos-integrados. Uma ferramenta que apóia o teste estrutural de unidade de programas OO e OA escritos em Java e AspectJ...

Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.; Validation of the reactive systems specifications: definition and analysis of the testing criteria.

Souza, Simone do Rocio Senger de
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 14/12/2000 PT
Relevância na Pesquisa
36.36%
Este trabalho investiga a aplicação de critérios de teste para o teste de especificações do aspecto comportamental de Sistemas Reativos, descritos em Estelle e em Statecharts. A utilização de Sistemas Reativos em várias atividades humanas, requer uma maior qualidade tanto do produto como do processo de desenvolvimento, pois falhas nesses sistemas podem ocasionar riscos para vidas humanas e perdas econômicas. Os critérios de teste propostos nesta tese visam a fornecer uma medida de cobertura dos testes, permitindo que a qualidade da atividade de teste possa ser mensurada e avaliada. Esta tese apresenta contribuições para as três atividades fundamentais no contexto de teste de software, que são: definição de critérios de teste, desenvolvimento de estudos teóricos/empíricos e desenvolvimento de ferramentas. Com relação à definição de critérios de teste, é proposta a aplicação do Teste de Mutação para Estelle e a aplicação de critérios de Fluxo de Controle para Estelle e Statecharts. Para o Teste de Mutação, são identificados os tipos de erros em especificações Estelle, definidos os operadores de mutação, estratégias de teste incrementais e critérios de mutação alternativa que visam a diminuir o custo de aplicação desse critério. Para os critérios de Fluxo de Controle...

Um estudo de caracterização e avaliação de critérios de teste estruturais entre os paradigmas procedimental e OO; A characterization and evaluation study of structural testing criteria between procedural and OO testing

Prado, Marllos Paiva
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 18/05/2009 PT
Relevância na Pesquisa
36.31%
O Teste de software é uma atividade de garantia da qualidade que tem por finalidade diminuir o número de defeitos do software. Esta atividade contribui para redução do custo de manutenção e para a melhora da qualidade do software, durante o processo de desenvolvimento. Isso tem motivado a investigação e proposta de estratégias, técnicas, critérios e ferramentas de teste para diferentes paradigmas de desenvolvimento, tais como procedimental, orientado a objetos e orientado a aspectos. Vários estudos experimentais têm sido desenvolvidos para avaliar e comparar critérios de teste. Grande parte desses experimentos foram realizados com programas construídos sob um mesmo paradigma ou desconsiderando a influência do mesmo sobre os resultados. Entretanto, é importante avaliar o impacto de um paradigma específico sobre a atividade de teste uma vez que alguns defeitos podem estar relacionados ao seu uso. Este trabalho apresenta um estudo experimental realizado para caracterizar e avaliar o custo de aplicação e a dificuldade de satisfação de critérios de teste, comparando dois paradigmas: o orientado a objetos e o procedimental. O estudo considera critérios de teste funcionais e estruturais e utiliza um conjunto de programas do domínio de Estrutura de Dados. Os termos e fases do processo de experimentação controlada foram usados...

Teste de integração contextual de programas orientados a objetos e a aspectos: critérios e automação; Contextual integration testing of object and aspect-oriented programs: criteria ans automation

Neves, Vânia de Oliveira
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 25/01/2010 PT
Relevância na Pesquisa
36.32%
Uma abordagem de teste estrutural de integração contextual para programas OO e OA escritos em Java e AspectJ é apresentada. A finalidade dessa abordagem é descobrir defeitos que possam existir nas interfaces entre uma determinada unidade (método ou adendo) e todas as outras que interagem diretamente com ela, bem como descobrir defeitos que possam ocorrer na hierarquia de chamadas dessas unidades. Para programas OO, esse tipo de teste envolve testar a interação entre métodos; já para programas OA, o teste estrutural de integração nível um (como também pode ser chamado) deve considerar as interações método-método, método-adendo, adendo-adendo e adendo-método. Para efetuar o teste estrutural de integração nível um deve-se considerar todo o fluxo de execução (fluxo de controle e de dados) que ocorre entre uma unidade chamadora e as unidades que interagem diretamente com ela. Para isso é definido o grafo Def-Uso IN1P, que é uma abstração formada pela integração dos grafos Def-Uso Orientado a Aspectos (AODU) da unidade chamadora e das unidades que ela chama ou que a afeta. Além disso, são propostos três critérios para derivar os requisitos de teste, dois baseados em fluxo de controle (todos-nós-integrados-N1 e todas-arestas-integradas-N1) e um baseado em fluxo de dados (todos-usos-integrados-N1). A ferramenta JaBUTi/AJ foi estendida para dar apoio à abordagem de teste de integração proposta. Exemplos são apresentados para ilustrar o uso da ferramenta para o teste de profundidade um e também seu uso no contexto de uma abordagem que leva em consideração também o teste de unidades e o teste baseado em conjuntos de junção; A Contextual structural integration testing for OO and OA programs written in Java and AspectJ is presented. The purpose of this approach is to discover faults that may exist in the interfaces between a particular unit (method or advice) and all others that interact directly with it...

Mutação de interface: um critério Interprocedimental para o teste de integração; Interface mutation: an interprocedural adequacy criterion for integration testing

Delamaro, Márcio Eduardo
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 17/06/1997 PT
Relevância na Pesquisa
36.34%
Um dos pontos fundamentais na atividade de teste de software é o projeto de casos de teste. Diversos critérios de adequação têm sido propostos com o objetivo de fornecer meios que permitam que a avaliação e elaboração de casos de teste sejam feitas de maneira sistemática e fundamentadas teoricamente. Infelizmente, a maioria dos critérios de adequação de casos de teste definidos tem seu uso restrito ao teste de unidade. Para fases posteriores da atividade de teste, em particular para o teste de integração, nota-se a ausência de critérios de adequação, principalmente porque os critérios propostos definem requisitos de teste que se restringem aos limites de uma única unidade, não exercitando de maneira efetiva as interações entre as unidades, que devem ser alvo principal no teste de integração. Com exceção de alguns poucos trabalhos que procuram estender critérios estruturais para o nível interprocedimental, tem-se utilizado nessa fase de teste, quase que exclusivamente, critérios funcionais. Dada essa ausência de critérios e salientando ainda o caráter complementar entre as diferentes técnicas de teste, esta tese apresenta um critério de teste interprocedimental baseado em defeitos chamado de Mutação de Interface. Esse critério busca exercitar as interações entre as unidades através da seleção de casos de teste que distingam mutantes criados pela introdução de defeitos típicos e que...

KITest: Um arcabouço de conhecimento e melhoria de processo de teste; KITest: a fremework of knowledge and improvement of testing process

Höhn, Erika Nina
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 21/09/2011 PT
Relevância na Pesquisa
36.31%
Contexto: Apesar de existirem muitas informações sobre a área de teste de software, elas se encontram de forma dispersa e sem conexão, o que aumenta a já existente dificuldade por parte de usuários em compreender os conceitos e as tecnologias dessa área e, conseqüentemente, em tomar a decisão de onde e quando usálas. Objetivo: O objetivo deste trabalho foi criar o arcabouço KITest (Knowledge and Improvement on Test) capaz de agregar o conhecimento em teste e disponibilizá-lo para a comunidade com a intenção de facilitar a sua transferência, a definição e a melhoria de processos de teste, com mais qualidade. Metodologia: Para facilitar a transferência de conhecimento modelou-se o conhecimento em teste por meio de um processo genérico de teste organizado em um mapa mental (KITMap). Para contemplar a questão de qualidade estabeleceu-se como base as práticas do modelo TMMi, distribuídas no processo de teste genérico. Para permitir que a comunidade interaja com essa base de conhecimento em teste criou-se uma ferramenta (KITTool) que permita acesso a essas informações, faça diagnóstico do processo de teste vigente e sugira melhorias. Para gerenciar toda essa estrutura utilizou-se uma estratégia de melhoria para que essa estrutura esteja sempre em evolução com base na realimentação da comunidade que a utiliza. Resultados e Conclusões: os resultados e as conclusões sobre a aplicação do arcabouço KITest estão apresentados no relatório técnico anexo a esta tese; Background: Although there is much information about the software testing area...

Ensino e aprendizado de fundamentos de programação: uma abordagem baseada em teste de software; Teaching and learning of programming foundations: an approach based on software testing

Souza, Draylson Micael de
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 13/04/2012 PT
Relevância na Pesquisa
36.32%
O ensino de fundamentos de programação não é uma tarefa trivial muitos estudantes têm dificuldades em compreender os conceitos abstratos de programação e possuem visões erradas sobre a atividade de programação. Uma das iniciativas que tem sido investigada a fim de amenizar os problemas associados refere-se ao ensino conjunto de conceitos básicos de programação e de teste de software. A introdução da atividade de teste pode ajudar o desenvolvimento das habilidades de compreensão e análise nos estudantes. Além disso, aprendendo teste mais cedo os alunos podem se tornar melhores testadores e desenvolvedores. Seguindo esta tendência, em trabalhos anteriores foram investigados alguns mecanismos de apoio ao ensino integrado de fundamentos de programação e teste. Dentre os mecanismos investigados destaca-se a proposição de um ambiente de apoio para submissão e avaliação automática de trabalhos práticos dos alunos, baseado em atividades de teste de software PROGTEST. Em sua primeira versão, a PROGTEST foi integrada à ferramenta JABUTISERVICE, que apoia o teste estrutural de programas escritos em Java. O presente projeto de mestrado visou a dar continuidade aos trabalhos já realizados, tendo como principal objetivo a identificação e integração de diferentes ferramentas de teste ao ambiente PROGTEST...

Fatores associados à realização do teste anti-HIV na população brasileira; Factors associated with testing for HIV in Brazilian population

Barros, Cláudia Renata dos Santos
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 26/11/2012 PT
Relevância na Pesquisa
36.38%
Conhecer os motivos de busca de serviços para a realização do teste anti-HIV é umfator importante para a prevenção da aids entre a população geral. Apesar ddisponibilização de teste e aconselhamento gratuitos no Brasil, há lacunas quanto cobertura. Assim, este estudo estimou a associação entre fatores contextuais individuais e a realização do teste anti-HIV entre a população brasileira. Para isto, foram analisados dados de um inquérito domiciliar realizado com 4.760 moradorede regiões urbanas. A amostra final foi composta de 2.566 (51,9 por cento ) mulheres e 2.194(48,1 por cento ) homens que tinham iniciado a vida sexual. O modelo teórico foi baseado noquadro da vulnerabilidade e para efeito de análise as variáveis relativas às respostados indivíduos foram consideradas de nível individual (dimensão individual e sociada vulnerabilidade) e aquelas referentes ao município de moradia de nível contextual(dimensão social e programática da vulnerabilidade). As variáveis do nível individuaforam: características sociodemográficas e da saúde sexual e saúde reprodutivainformação sobre o tratamento de aids, conhecer alguém com aids e ter opiniõesobre práticas de segregação em relação às pessoas infectadas pelo HIV (questões que expressaram a atitude de apartação e exclusão do convívio social dos portadorede aids). Para o nível contextual...

Automatização do teste estrutural de software de veículos autônomos para apoio ao teste de campo; Automated structural software testing of autonomous vehicle to support field testing

Neves, Vânia de Oliveira
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 15/05/2015 PT
Relevância na Pesquisa
36.32%
Veículo autônomo inteligente (ou apenas veículo autônomo VA) é um tipo de sistema embarcado que integra componentes físicos (hardware) e computacionais (software). Sua principal característica é a capacidade de locomoção e de operação de modo semi ou completamente autônomo. A autonomia cresce com a capacidade de percepção e de deslocamento no ambiente, robustez e capacidade de resolver e executar tarefas lidando com as mais diversas situações (inteligência). Veículos autônomos representam um tópico de pesquisa importante e que tem impacto direto na sociedade. No entanto, à medida que esse campo avança alguns problemas secundários aparecem como, por exemplo, como saber se esses sistemas foram suficientemente testados. Uma das fases do teste de um VA é o teste de campo, em que o veículo é levado para um ambiente pouco controlado e deve executar livremente a missão para a qual foi programado. Ele é geralmente utilizado para garantir que os veículos autônomos mostrem o comportamento desejado, mas nenhuma informação sobre a estrutura do código é utilizada. Pode ocorrer que o veículo (hardware e software) passou no teste de campo, mas trechos importantes do código nunca tenham sido executados. Durante o teste de campo...

A study of a Gough-Stewart platform-based manipulator for applications in biomechanical testing.

Ding, Boyin
Fonte: Universidade de Adelaide Publicador: Universidade de Adelaide
Tipo: Tese de Doutorado
Publicado em //2014
Relevância na Pesquisa
36.32%
This thesis investigates the development and application of a robotic system for in-vitro biomechanical testing to study the mechanisms leading to human joint injury and degeneration in an ethical and safe manner. Six degree of freedom (6-DOF) robotic-based systems, in particular Gough-Stewart platform-based systems, have been increasingly used in applications of biomechanical testing where 6-DOF mobility, large load capacity, and high stiffness and positioning accuracy are required from the testing machine. This study proposes a novel Gough-Stewart platform-based manipulator with ultra-high stiffness and accuracy for use in biomechanical testing and investigates its mechanism and control. Not only restricted to biomechanical testing, the proposed manipulator concept can also be applied to other robotic-based applications, particularly those requiring ultra-high accuracy positioning under large external loads (e.g machining). Four main features of the proposed manipulator are individually studied in this thesis: namely, stiffness and control of a non-collocated actuator-sensor mechanism, active preload control using actuation redundancy for backlash elimination, adaptive velocity-based load control of human joints for unconstrained testing...

The positive and negative effects of testing in lifelong learning

Meyer, Ashely N. D.
Fonte: Universidade Rice Publicador: Universidade Rice
ENG
Relevância na Pesquisa
36.36%
Formal classroom learning is a lifelong pursuit. Many older adults return to school to advance their careers, learn new skills, or simply for personal fulfillment. As such, methods for improving learning should be considered in relation to both younger and older learners in order to properly assess their ultimate usefulness. A technique that has been demonstrably effective at improving learning and memory in younger students is testing. Testing improves memory more than mere exposure to material (e.g., restudying), a benefit known as the positive testing effect. However, recognition tests, where learners are exposed to correct and incorrect information (e.g., multiple-choice tests), also introduce false information to test-takers. While evidence shows that testing improves memory for tested material, this can include the incorrect material presented on recognition tests manifested as increased reproduction of incorrect answers (lures), a phenomenon known as the negative testing effect. These effects of testing, however, have only been studied in younger learners. Older learners, on the other hand, may show decreased positive testing effects and increased negative testing effects because of poorer long-term episodic and source memory...

Mutation-based testing of buffer overflows, SQL injections, and format string bugs

Shahriar, Hossain
Fonte: Quens University Publicador: Quens University
Tipo: Tese de Doutorado Formato: 528442 bytes; application/pdf
EN; EN
Relevância na Pesquisa
36.33%
Testing is an indispensable mechanism for assuring software quality. One of the key issues in testing is to obtain a test data set that is able to effectively test an implementation. An adequate test data set consists of test cases that can expose faults in a software implementation. Mutation-based testing can be employed to obtain adequate test data sets, and numerous mutation operators have been proposed to date to measure the adequacy of test data sets that reveal functional faults. However, implementations that pass functionality tests are still vulnerable to malicious attacks. Despite the rigorous use of various existing testing techniques, many vulnerabilities are discovered after the deployment of software implementations, such as buffer overflows (BOF), SQL injections, and format string bugs (FSB). Successful exploitations of these vulnerabilities may result in severe consequences such as denial of services, application state corruptions, and information leakage. Many approaches have been proposed to detect these vulnerabilities. Unfortunately, very few approaches address the issue of testing implementations against vulnerabilities. Moreover, these approaches do not provide an indication whether a test data set is adequate for vulnerability testing or not. We believe that bringing the idea of traditional functional test adequacy to vulnerability testing can help address the issue of test adequacy. In this thesis...

AUDITOR MENTAL REPRESENTATIONS AND HYPOTHESIS TESTING OF THE CONTROL ENVIRONMENT

SCHMIDT, REGAN
Fonte: Quens University Publicador: Quens University
Tipo: Tese de Doutorado
EN; EN
Relevância na Pesquisa
36.36%
In this thesis, I examine how auditors construct their mental representations and test their hypotheses about the strength of a client’s control environment. With regard to the former, I hypothesize that management’s frame of the control system and auditor’s retrieval of control environment information from memory may influence the auditor’s control environment mental representation and impact subsequent audit judgments. Consistent with my theoretical predictions, I find that retrieval of control environment information from memory biases an auditor’s mental representation, and that this biased mental representation impacts subsequent fraud assessment. In addition, there is limited evidence to support the conjecture that auditors may be susceptible to management’s framing of the internal control system resulting in relatively positive control environment evaluations which was found to transfer to some subsequent audit judgments. With regard to the latter, prior audit literature has examined how auditors evaluate person specific characteristics, such as competence, of other auditors, however there has been no research that has examined how auditors test such characteristics of client management. I disentangle whether auditors utilize a diagnostic and/or a conservative hypothesis testing strategy when testing client management’s ethicality and competence as these are fundamental components of the client’s control environment. A diagnostic testing strategy is evidenced by the auditor searching for the most informative information...

Testing experiences of HIV positive refugees in Nakivale Refugee Settlement in Uganda: informing interventions to encourage priority shifting

O'Laughlin, Kelli Nicole McCartan; Rouhani, Shada Amelia; Faustin, Zikama M; Ware, Norma Clara
Fonte: BioMed Central Publicador: BioMed Central
Tipo: Artigo de Revista Científica
EN_US
Relevância na Pesquisa
36.35%
Background: Recent initiatives by international health and humanitarian aid organizations have focused increased attention on making HIV testing services more widely available to vulnerable populations. To realize potential health benefits from new services, they must be utilized. This research addresses the question of how utilization of testing services might be encouraged and increased for refugees displaced by conflict, to make better use of existing resources. Methods: Open-ended interviews were conducted with HIV-infected refugees (N=73) who had tested for HIV and with HIV clinic staff (N=4) in Nakivale Refugee Settlement in southwest Uganda. Interviews focused on accessibility of HIV/AIDS-related testing and care and perspectives on how to improve utilization of testing services. Data collection took place at the Nakivale HIV/AIDS Clinic from March to July of 2011. An inductive approach to data analysis was used to identify factors related to utilization. Results: In general, interviewees report focusing daily effort on tasks aimed at meeting survival needs. HIV testing is not prioritized over these responsibilities. Under some circumstances, however, HIV testing occurs. This happens when: (a) circumstances realign to trigger a temporary shift in priorities away from daily survival-related tasks; (b) survival needs are temporarily met; and/or (c) conditions shift to alleviate barriers to HIV testing. Conclusion: HIV testing services provided for refugees must be not just available...

Muta-Pro: towards the definition of a mutation testing process

Vincenzi,A. M. R.; Simão,A. S.; Delamaro,M. E.; Maldonado,J. C.
Fonte: Sociedade Brasileira de Computação Publicador: Sociedade Brasileira de Computação
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/09/2006 EN
Relevância na Pesquisa
36.32%
Mutation Testing originated from a classical method for digital circuit testing and today is used at program and specification levels. It can be used either to generate or to assess the quality of test sets. In spite of being very effective in detecting faults, Mutation Testing is usually considered a high cost criterion due to: i) the large number of generated mutants; ii) the time-consuming activity of determining equivalent mutants; and iii) the mutant execution time. Many initiatives aiming at reducing the Mutation Testing application cost have been conducted, most of them addressing one of the drawbacks mentioned above. In this paper, we identify and summarize some of the most relevant researches and results related to Mutation Testing cost reduction, e.g., Constrained-Mutation, Constraint-Based Testing and Bayesian Learning. Moreover, we propose a Mutation Testing process, named Muta-Pro, that synergetically integrates the related approaches and mechanisms. This process is intended to be incremental and tailorable to a specific application domain such as C programs or finite state machine models. The main ideas in this paper are illustrated using a UNIX utility program. This process is being integrated in a Mutation Testing environment...

Crowdsourced Testing

Corp Santiago Innova; Crowdsourced Testing Spa; PAMELARIVEROS PINTONE
Fonte: Corporação de Fomento da Produção Publicador: Corporação de Fomento da Produção
Tipo: proyecto
Publicado em 24/07/2013
Relevância na Pesquisa
46.24%
Crowdsourced Testing Es una Plataforma Web que Conecta Empresas Especializadas en Desarrollo de Software y Sitios Web con una Red Internacional de Profesionales del Aseguramiento de Calidad (testers) que Pueden Probar sus Productos para Encontrar Fallas y Reportarlas de Forma Rápida y Expedita para Facilitar su Corrección. Los Testers de Nuestra Red Son Trabajadores Independientes que Trabajan desde su Casa Todos con Experiencia Previa en Aseguramiento de Calidad de Productos Informáticos. En este Momento Nuestra Red Cuenta con 918 Testers de 70 Países y Estamos Creciendo a un Ritmo Promedio de 7 Nuevos Testers por Día. Debido a que Estos Profesionales se Encuentran Repartidos por Todo el Mundo Podemos Ofrecer nuestros Servicios con Disponibilidad de 24 Horas al Día 7 Días a la Semana. Nuestra Propuesta Busca Solucionar Varias Problemáticas Relacionadas al Aseguramiento de Calidad Presentes Actualmente en el Proceso de Desarrollo de Software: segregación: el Desarrollo de Sitios Web y Aplicaciones se Esta Haciendo Más y Más Complicado por la Gran Cantidad de Plataformas que Deben Ser Soportadas. Por Ejemplo para Asegurarse que Funciona Bien un Sitio Web Debe Ser Probado en Todos los Navegadores (internet Explorer Firefox Chrome Safari Etc. ) y Todos los Tipos de Dispositivos que Pueden Usar los Visitantes (pc Mac Iphone Android Etc. ) altos Costos: la Segregación Mencionada Anteriormente Hace Necesario que las Empresas Desarrolladoras Tengan Acceso a Múltiples Plataformas Existentes a Fin de Probar sus Productos lo que Puede Significar en un Desembolso de Gran Cantidad de Dinero para Adquirirlas en Especial los Dispositivos Móviles. falta de Eficiencia: las Empresas Desarrolladoras No Destinan Mucho Tiempo al Aseguramiento de Calidad y Suelen Necesitarlo de Forma Urgente Tan Solo a Días o Incluso Horas Antes del Lanzamiento de un Producto. Esto Hace Necesario Contar con un Equipo de Profesionales que Puedan Entregar un Listado Detallado de Fallas en el Menor Tiempo Posible para su Rápida Solución Antes que el Producto Sea Lanzado con Defectos que Podrían Afectar Momentánea o Permanentemente la Percepción que el Usuario Final Tendrá sobre Éste. Nuestra Estrategia Es Hacer Hincapié Precisamente en las Ventajas que Ofrece el Crowdsourcing. El Crowdsourcing Es el Hecho de Externalizar Tareas a un Grupo Numeroso de Personas a Través de una Convocatoria Abierta lo Mas Frecuente a Través de un Sitio Web. El Mejor Ejemplo de Crowdsourcing Es Wikipedia Donde Todos Pueden Contribuir a Desarrollar Artículos. En nuestro Caso esto Significa Poner a Disposición de nuestros Clientes una Gran Cantidad de Testers por un Precio Accesible con la Inmediatez y Celeridad que las Empresas de Desarrollo de Hoy en Día lo Requieren. En este Momento Contamos con Dos Ofertas Principales la Primera a un Precio de $299 Usd que Incluye hasta 25 Testers por un Plazo de 48 Horas y la Segunda con un Precio de $749 Usd que Incluye hasta 50 Testers por un Plazo de hasta 120 Horas. En Ambos Casos las Márgenes de Ganancias Varían entre 25 y 40% de Estos Montos. Nuestra Plataforma se Encuentra 100% Funcional por lo cual Estos Próximos Meses Queremos Enfocarnos Solamente en Mejoras que Tienen que Ver con Conquistar Nuevos Mercados Como la Integración de Otras Idiomas y Ofrecer Mejores y Mas Flexibles Servicios a nuestros Clientes. Hasta Ahora Hemos Realizado Mas de 27 Proyectos de Testing y los Resultados Fueron Muy Prometedores: se Suman Mas de 50 Testers a Cada Proyecto de Testing en los Proyectos de Corto Plazo los Testers Reportan un Promedio de 68 Defectos Validos en los Proyectos de Largo Plazo los Testers Reportan un Promedio de 160 Defectos Validosnuestro Mercado Está Compuesto por Todas Aquellas Empresas Dedicadas al Desarrolló de Sitios Web Software Aplicaciones Móviles y Videojuegos. La Mayoría de nuestros Clientes hasta Ahora Fueron Empresas Prestadores de Servicios de Desarrollo a Terceros. Estas Empresas se Conocen Como software Factory y un Claro Ejemplo Es el Caso de la Empresa Chilena Fusiona que se Encarga el Desarrollo de los Sitios de Movistar y Cnn Chile entre Otros. Como Parte de su Prestación de Servicios Fusiona Debe Asegurarse que los Sitios que Desarrolle Tengan un Correcto Funcionamiento en Todos los Dispositivos que Puedan Usar Quienes Visiten Éstos. Como Mínimo un software Factory Debería Destinar entre un 15 a un 20 Porciento de su Presupuesto de Desarrollo a Horas de Aseguramiento de Calidad. Esto Representa una Cantidad de Trabajo Importante Pero Inestable Dado al Hecho que sus Necesitadas en Aseguramiento de Calidad Son Variables Según el Flujo de sus Proyectos. Por esto No Tiene Sentido Emplear Personas a Tiempo Completo. En este Caso nuestro Servicio Es una Muy Buena Opción que le Permite Ahorrar Tiempo y Dinero. Por el Otro Lado los Clientes de los software Factory Quienes Son Dueños del Producto Final También Quieren Asegurarse del Buen Funcionami; Lograr el Despegue Comercial de Crowdsourced Testing a Través de Acciones de Marketing Prospección de Clientes y Fortalecimiento de la Plataforma.; Corporación de Fomento de la Producción

"Testing for Your Own Good": HIV testing As an Intervention Among Men Who Have Sex With Men (MSM) in Northwestern China

Yang, Minhui
Fonte: Universidade Duke Publicador: Universidade Duke
Tipo: Tese de Doutorado
Publicado em //2015
Relevância na Pesquisa
36.33%

Since 2005, China Global Fund AIDS programs have considered men who have sex with men (MSM) an "at-risk population" with priority and significance to receiving HIV testing. Community-based organizations (CBOs) have been involved in implementing the intervention programs, including free HIV testing, to MSM. This thesis explores the consequences of HIV testing as an intervention on local MSM's perceptions and relationships. Participant observation, in-depth interview and textual analysis were conducted during fieldwork research at a local CBO. It is argued that the complexities of everyday practices of public health programs at the community-level need to be emphasized in supervision. The success of China's HIV/AIDS intervention strategies is at stake: free HIV testing needs to be implemented as a benefit to testing receivers' health instead of as an obligation or commodity. In everyday practice, HIV testing is full of complexities and via HIV testing, interrelations among CDC system, local CBOs, and local MSM are reproduced and images and perceptions of free HIV testing are reconstructed. Moreover, receiving HIV testing was integrated into a new moral discourse of how to be a "good" MSM. It is recommended for local CBOs to cultivate their professionalization...

Rub, fold, and abrasion resistance testing of digitally printed documents

DiSantis, Nicholas
Fonte: Rochester Instituto de Tecnologia Publicador: Rochester Instituto de Tecnologia
Tipo: Tese de Doutorado
EN_US
Relevância na Pesquisa
36.32%
The life cycle of commercially printed digital documents (in particular, marketing and promotional items, direct mailers, business communications, and on-demand color books) was examined to find stress points where potential permanence problems could exist. The stress and life cycle overview covers the stages of processes in printing and finishing, mailing preparation and fulfillment, distribution, usage, and recycling. Stress points found in the different stages of the life cycle, whether physical or chemical, include (but are not limited to) scratching, rubbing, cracking, solvent exposure, light exposure, moisture exposure, heat exposure, and air contamination exposure. Tests for abrasion resistance, folding resistance, solvent resistance, light-fastness, water-fastness, thermostability, and gas/ozone fastness were researched. Based on a survey given to randomly selected printers, printing press vendors, and print buyers, the tests for abrasion resistance, folding resistance, and rub resistance were selected. Using offset lithography as a benchmark, three commercial digital presses as well as high-speed ink jet technology were included in this testing. Using a combination of solid circular test targets and the “Three Musicians” test target (an image for visual comparisons)...