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