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.

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.

Software para estimativa do custo operacional de máquinas agrícolas - MAQCONTROL

A seleção e a otimização de sistemas mecanizados são os principais objetivos da mecanização racional. Não é suficiente uma compra adequada do maquinário agrícola se sua utilização não for controlada em aspectos operacionais e financeiros. Neste trabalho, é descrito o desenvolvimento de software para estimativa do custo operacional de máquinas agrícolas (MAQCONTROL), utilizando o ambiente de desenvolvimento Borland Delphi e o banco de dados Firebird. Os custos operacionais foram divididos em fixos e variáveis. Nos custos fixos, foram estimadas as despesas com depreciação, juros, alojamento e seguros. Nos custos variáveis, foi dada ênfase aos custos de manutenção como: óleos lubrificantes, filtros, pneus, graxa, combustível, pequenos reparos e troca de peças. Os resultados demonstraram a eficiência do software para os objetivos propostos. Assim, o MAQCONTROL pode ser uma importante ferramenta no processo de administração rural, pois reduz os custos da informação e agiliza a determinação precisa dos custos operacionais de máquinas agrícolas.

Comparação entre os métodos de aplicação de fluido de corte convencional e otimizado na retificação plana de cerâmicas

Com o grande crescimento tecnológico e a necessidade de melhoria, um dos materiais que ganhou uma grande gama na área da engenharia mecânica é a cerâmica, pois possui vantagens físico-químicas e propriedades mecânicas significativas sobre o aço. Entretanto, sua usinagem é um processo difícil e delicado, que requer ainda uma grande atenção em relação ao seu estudo. Assim, o processo de retificação é um dos métodos que tem apresentado bons resultados, porém um grande problema acerca de tal processo é o uso excessivo de fluidos de corte, o que se tornou uma preocupação mundial, já que os fluidos apresentam graves problemas socioambientais, além disso, o fluido de corte é responsável por uma grande parte do custo final do processo, provocando, desse modo, um grande interesse em pesquisas referentes a métodos alternativos de forma a reduzir o consumo e melhorar as características do fluido de corte utilizado. Este trabalho visa comparar duas técnicas de lubri-refrigeração, o método convencional e a Lubrificação Otimizada. O uso do método otimizado é uma alternativa à diminuição do volume de fluido utilizado, já que este tem como princípio a aplicação de uma menor quantidade de fluido de corte com uma alta velocidade, localmente aplicada, ou seja, com essa redução benefícios ambientais e socioeconômicas são obtidos. A análise do trabalho será feita a partir da avaliação das variáveis de saída do processo de retificação plana tais como o comportamento rugosidade e desgaste do rebolo, já que por elas é possível avaliar o processo em relação a qualidade da peça versus custo. Com essas analises, pretende-se avaliar se a técnica otimizada é viável a substituição da refrigeração convencional na retificação plana de cerâmicas.

O uso de um software na (re)habilitação de crianças com deficiência auditiva

OBJETIVO: Verificar a aplicabilidade de um software na (re)habilitação de crianças com deficiência auditiva. MÉTODOS: A amostra foi composta por 17 crianças com deficiência auditiva, sendo dez usuárias de Implante Coclear (IC) e sete usuárias de Aparelho de Amplificação Sonora Individual (AASI). Foi utilizado o "Software Auxiliar na Reabilitação de Distúrbios Auditivos (SARDA)". Aplicou-se o protocolo de treinamento durante 30 minutos, duas vezes por semana, pelo tempo necessário para a finalização das estratégias que compõe software. Para mensurar a aplicabilidade do software no treinamento da habilidade de percepção da fala no silêncio e no ruído, foram realizadas avaliações com o Hearing in Noise Test (HINT) pré e pós o treinamento auditivo. Os dados foram analisados estatisticamente. RESULTADOS: O grupo de usuários de IC necessitou em média 12,2 dias para finalizar as estratégias e o grupo de usuários de AASI em média 10,14 dias. Os dois grupos apresentaram diferença entre as avaliações pré e pós no silêncio e no ruído. As crianças mais novas apresentaram maior dificuldade durante a execução das estratégias, porém não houve correlação entre a idade e o desempenho. Não houve influência do tipo do dispositivo eletrônico durante o treinamento. As crianças apresentaram maior dificuldade na estratégia que envolvia estímulos não verbais e na estratégia com estímulos verbais que treina a habilidade de atenção sustentada. A atenção e a motivação da criança durante a estimulação foram fundamentais para o bom rendimento do treinamento auditivo. CONCLUSÃO: O treinamento auditivo com o SARDA foi eficaz, pois propiciou melhora na habilidade de percepção da fala, no silêncio e no ruído, das crianças com deficiência auditiva.