On reducing test length for FSMs with extra states

A long-standing problem when testing from a deterministic finite state machine is to guarantee full fault coverage even if the faults introduce extra states in the implementations. It is well known that such tests should include the sequences in a traversal set which contains all input sequences of length defined by the number of extra states. This paper suggests the SPY method, which helps reduce the length of tests by distributing sequences of the traversal set and reducing test branching. It is also demonstrated that an additional assumption about the implementation under test relaxes the requirement of the complete traversal set. The results of the experimental comparison of the proposed method with an existing method indicate that the resulting reduction can reach 40%. Experimental results suggest that the additional assumption about the implementation can help in further reducing the test suite length. Copyright (C) 2011 John Wiley & Sons, Ltd.

MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.

A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.

Avaliação da capacitação de usuários para a recuperação da informação: o caso de uma biblioteca acadêmica

Com a disponibilidade de acesso à informação, através das tecnologias de informática e telecomunicação nas bibliotecas acadêmicas, houve significativa mudança no perfil de seus usuários. Estes passaram a formular sua estratégia de busca e obter a informação desejada, diminuindo seu contato com o bibliotecário para esse fim, mas demandando novos serviços das bibliotecas. Nesse contexto, o papel do bibliotecário mudou para acompanhar a necessidade do novo usuário; passando a ser o do educador [trainer], aquele que capacita os usuários a se tornarem permanentemente autônomos para fazer suas buscas nos sistemas de informação de forma eficiente e, sobretudo, eficaz. As bibliotecas passaram a oferecer cursos e treinamentos para que os usuários conheçam os sistemas de recuperação da informação, a arquitetura das bases de dados, e como a informação é organizada nas áreas do conhecimento, tornado-os com a competência informacional. Apresenta a experiência da Biblioteca da Faculdade de Saúde Pública, da Universidade de São Paulo, na capacitação de seus usuários no uso de bases de dados.Seu objetivo foi comparar os resultados obtidos na avaliação da capacitação dos alunos egressos dos Cursos MEDLINE e LILACS da década de 1990 (1993/1995) e, após 10 anos (2005/2006), a fim de se conhecer as mudanças no comportamento do usuário quanto à aquisição de autonomia e familiaridade no uso das bases de dados estudadas

An integrated approach of software development and test processes to distributed teams

The Distributed Software Development (DSD) is a development strategy that meets the globalization needs concerned with the increase productivity and cost reduction. However, the temporal distance, geographical dispersion and the socio-cultural differences, increased some challenges and, especially, added new requirements related with the communication, coordination and control of projects. Among these new demands there is the necessity of a software process that provides adequate support to the distributed software development. This paper presents an integrated approach of software development and test that considers distributed teams peculiarities. The approach purpose is to offer support to DSD, providing a better project visibility, improving the communication between the development and test teams, minimizing the ambiguity and difficulty to understand the artifacts and activities. This integrated approach was conceived based on four pillars: (i) to identify the DSD peculiarities concerned with development and test processes, (ii) to define the necessary elements to compose the integrated approach of development and test to support the distributed teams, (iii) to describe and specify the workflows, artifacts, and roles of the approach, and (iv) to represent appropriately the approach to enable the effective communication and understanding of it.

Audioteca: inovação na informação em saúde pública

INTRODUÇÃO: A Audioteca é uma coleção de spots de rádio criados a partir de conteúdos das dissertações/teses defendidas na Faculdade de Saúde Pública da USP (FSP/USP). Parte do pressuposto de que a universidade pode contribuir para a construção da cidadania e capacitação da população para participar das políticas públicas de saúde. Com linguagem acessível, os áudios são compostos de entrevistas e depoimentos de pesquisadores, disponíveis de forma universal e gratuita. O projeto é resultado de uma parceria entre a Biblioteca/CIR, o Departamento de Saúde Materno-Infantil/FSP/USP, a Bireme/OPAS e o Ministério da Saúde. A Audioteca é produzida pela Biblioteca/CIR com apoio do Centro de Produção Digital, ambos da FSP/USP. OBJETIVO: Identificar as tendências temáticas da literatura científica que deu origem aos conteúdos de áudio da Audioteca inseridos nos registros dos sistemas de informação, especificamente na Biblioteca Virtual em Saúde Pública, e produzir novos spots. METODOLOGIA: Às bolsistas coube a análise temática dos 166 programas de áudio já incorporados ao acervo, a partir de mapeamento dos registros na base de dados LILACS. Para tanto foram capacitadas no uso dessa fonte de informação. Acompanhamento de todo o processo de produção dos áudios, desde a seleção do autor até sua inserção nos sistemas de informação. Os registros são classificados pela temática a partir do DeCS (Descritores em Ciências da Saúde/Bireme). RESULTADOS: As bolsistas iniciaram os trabalhos com leituras de bibliografia referente à Biblioteca/CIR, à Biblioteca Virtual em Saúde Pública, ao projeto Audioteca e à radiodifusão comunitária. Também participaram de visitas guiadas aos diferentes acervos da Biblioteca e de seu Programa Educativo. Após essa etapa, teve início o processo de seleção de dissertações/teses para novos programas, levando-se em consideração temáticas de interesse do usuário regular do SUS. Receberam treinamento em gravação e edição de áudio e já estão capacitadas em software para este fim. CONCLUSÃO: As bolsistas já estão capacitadas para gravar e editar os spots da Audioteca, que são produzidos pela Biblioteca/CIR com apoio do Centro de Produção Digital, responsável pelo estúdio.

Informação profissional e orientação para a carreira mediadas por computador: uma revisão da literatura

A Informação Profissional, um dos componentes do processo de Orientação Profissional Vocacional ou para a Carreira, visa fornecer dados da realidade do mundo ocupacional de forma a auxiliar pessoas em processos de tomada de decisão. Este estudo objetiva sistematizar e analisar a produção do conhecimento sobre a temática Informação Profissional com base na revisão da literatura. Os dados foram organizados em três categorias, com base em Robinson e colaboradores: (1) modelos de recursos impressos, (2) programas e sistemas de informação e (3) sites na internet. Os resultados mostram que as novas Tecnologias da Informação e Comunicação (TICs) aliadas às estratégias tradicionais representam inúmeras oportunidades de desenvolvimento da Informação Profissional, com desafios e limites a serem enfrentados em um campo que não para de evoluir. O estudo evidencia o papel da Informação Profissional, com seus limites e possibilidades, no contexto brasileiro bem como nos países desenvolvidos.

Política institucional de informação de acesso aberto da USP, Brasil: estratégias de implantação

A Universidade de São Paulo, Brasil congrega 5.732 docentes, mais de 80 mil alunos de graduação e pós-graduação e tem seu sistema de informação composto por 44 bibliotecas distribuídas em sete campina capital e nove em cidades do interior do estado de São Paulo. Sua produção intelectual anual (técnico-científica, artística e didática) é superior a 40 mil itens. Desenvolver estratégias de política de acesso aberto neste contexto, tem sido uma atividade continua desde 2002. Iniciou-se com a implantação da Biblioteca Digital de Teses e Dissertações, seguiu-se o Portal de Revistas Científicas. Atualmente, iniciou-se a construção do Repositório Institucional da Produção Científica, abarcando publicações de artigos, livros, capítulos de livros, trabalhos em eventos etc. Neste momento, buscando refletir sobre acesso a publicações que envolvem a participação de terceiros e que influenciam a estrutura de avaliação da ciência regulamentada por organismos governamentais, novas estratégias se mostraram necessárias. Optou-se então pela composição de grupo multiplicador composto de professores e alunos, criação de espaço de referência cobrindo temas distintos sobre o acesso aberto, workshop, fórum aberto para discussão do acesso aberto na USP e elaboração de carta de intenções em fase de assinatura e endosso pela comunidade uspiana.

TIC e organização da informação: intersecções

Sistemas de recuperação da informação. Comunicação científica. Digitalização e preservação digital. Curadoria digital. Competências informacionais