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.

Caracterização experimental de uma bomba ejetora

A opção de futuro incide sobre os processos de combustão em regime pobre e com baixos índices de formação de poluentes. Neste contexto, o presente trabalho estuda um ejetor de um queimador de gás propano, que equipa uma marmita utilizada para confeção de alimentos no Exército Português, para compreender o mecanismo de arrastamento de ar, com vista a identificar as causas que possam contribuir para uma diminuição da razão de equivalência da mistura ar/combustível. Estes queimadores são dispositivos de funcionamento estritamente mecânico e de conceção simples que permitem uma gama de potências caloríficas compreendidas entre 8 e 22 kW. Permitem uma boa estabilidade de chama que é um requisito fundamental de segurança. A regulação de potência é executada através de uma válvula de ajuste, contendo três posições, uma em que a alimentação se encontra cortada e as outras duas permitindo funcionar na potência mínima e máxima. De modo a efetuar o estudo do ejetor, numa primeira fase, submeteu-se o sistema a uma caracterização experimental do campo de escoamentos à entrada de ar do ejetor, a partir da técnica de diagnóstico Particle Image Velocimetry (PIV). Assim avalia-se de que forma o escoamento de ar exterior influencia o comportamento do escoamento da mistura de ar/combustível à saída do queimador. Numa segunda fase, recorre-se à técnica de diagnóstico Quimiluminescência para medição de espécies químicas, para avaliar o comportamento do ejetor a alterações de vários parâmetros, tais como caudal de combustível, área de entrada de ar e área de saída da mistura do difusor. Conclui-se que o ejetor mostrase "insensível" a alterações da área de saída e de entrada de ar, em relação ao valor médio da razão de equivalência. Porém observa-se que as misturas de ar/combustível são mais homogéneas quando as áreas de entrada, da saída e da garganta têm valores próximos.

Rail-highway crossing warning device - life cycle cost analysis. Final report.

Federal Railroad Administration, Office of Safety, Washington, D.C.

Graphical remote-access simulation system (GRASS), the communication and monitor components (GASP/GLASP).

"Supported in part by contract U.S. AEC AT(11-1)1469."

Illiac III reference manual.

"C00-2118-0005" (v. 1)

DEC PDP-8 interface to IBM 2701 PDA

"C00-1469-0153."

A failure tolerant filing system,

"COO-1469-0200."

RASER: random to serial converter.

"COO 1469-0209."

DEC PDP-7 Interface to IBM 2701-PDA,

"C00-1469-0116"

The pattern articulation unit of Illiac III: simulation,

"COO-1018-1154."

Semantrix : a semantically guided digital electronic machine /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.

Memory-processor connection networks.

Vita.

Supplement to CAMAC (computer automated measurement and control) standards and reports /

Issued Mar. 1978.

Economic effects of metallic corrosion in the United States.

Appendix C published in PB-279 430.

Research in computerized structural analysis and synthesis : research-in-progress papers presented at a symposium /

Incldues bibliographical references