Manutenção de sistemas produtivos: um estudo sobre a gestão da disponibilidade de equipamentos.

Este trabalho traduz um estudo de casos, que procura pesquisar e sistematizar o conhecimento sobre a gestão do estado dos equipamentos para atender às suas funções produtivas, isto é, uma gestão orientada para resultados. A função manutenção tem sido considerada como aquela que agrega conhecimentos e atividades para assegurar a disponibilidade operacional dos sistemas produtivos, dentro de padrões de desempenho antecipadamente especificados, ao menor custo possível e atendendo a requisitos pertinentes de segurança. Nesse contexto, pretende-se caracterizar de que modo abordagens ou políticas, adotadas por empresas selecionadas, que requerem o exercício da função manutenção, se vinculam a indicadores de disponibilidade. Ao longo do trabalho, a disponibilidade é tratada como um \"indicador de resultado\" das atividades de manutenção. Transparece da literatura que a análise da tendência desse indicador deve orientar as tomadas de decisão referentes às ações sobre o equipamento. Desse modo, compete verificar se, e como, é feito o vínculo entre esse indicador e decisões relativas à manutenção, sem perder de vista a produtividade da empresa. Assim, descreve-se o contexto em que se inserem a manutenção e a disponibilidade e são identificados elementos que, interferindo na disponibilidade, permitem desdobrá-la e associá-la a uma estrutura analítica que auxilie o levantamento e encaminhamento de análises sobre os dados obtidos no campo, para melhor percepção do tratamento dado à disponibilidade. Para possibilitar o encaminhamento do estudo de casos e a definição das proposições de pesquisa, a função manutenção é associada a um processo, em que se usa o indicador de disponibilidade como feedback, para a otimização do próprio processo de operação da função manutenção, bem como da especificação dos recursos de entrada desse processo. Três proposições são estruturadas e verificadas em quatro empresas que tipificam dois grupos distintos de operações, focalizando o tratamento dado à disponibilidade, e, no seu âmbito, o tratamento de compromissos de gestão e do estudo do ciclo de vida do equipamento. Para possibilitar uma avaliação objetiva das variáveis das proposições da pesquisa, que são de natureza essencialmente qualitativa, encontrou-se, no Capability Maturity Model (CMM), um modelo conceitual que, por suas características evolutivas, forneceu inspiração para estruturar o necessário instrumento de avaliação. A conclusão da pesquisa revela que as proposições de estudo não se confirmaram de forma plena, apontando sensível diferença de seu atendimento quando se faz a comparação entre os dois grupos de empresas, deixando, assim, um espaço em aberto para novas pesquisas.

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.