Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

Produção e caracterização da bananeira 'Prata Anã' (AAB) em dois ciclos de produção (Juazeiro, Bahia)

A avaliação do comportamento de genótipos de bananeira em diferentes ecossistemas é essencial ao programa de melhoramento genético, tornando-se de fundamental importância para o sistema produtivo. O objetivo deste trabalho foi avaliar o crescimento da bananeira 'Prata Anã' (AAB), nos 1° e 2° ciclos de produção, e os atributos físico-químicos dos frutos, no Submédio São Francisco. As mudas foram produzidas pelo processo de cultura de tecidos, na Biofábrica de Cruz das Almas, BA, e transplantadas para o campo com seis meses de idade, cultivadas no espaçamento 3 x 3 m. Foram avaliados os ciclos de produção (em dias) e, em cada ciclo, a altura das plantas, o perímetro do pseudocaule e o número de folhas adultas. Quanto à produção, foram avaliadas as seguintes características: massa da matéria fresca do cacho; número de pencas e de frutos por cacho; massa da matéria fresca da 2ª penca; número, comprimento e diâmetro de frutos da 2ª penca; relação polpa/casca; firmeza; pH; sólidos solúveis (SS); acidez titulável (AT) e a relação SS/AT. Verificou-se diferença significativa para a maioria das variáveis analisadas: o segundo ciclo de produção da bananeira 'Prata Anã' foi menor do que o primeiro, sendo que, no segundo ciclo, ocorreram tendências de maior crescimento e de melhor desempenho dos caracteres que expressam a produção e a qualidade física dos frutos.

Indicadores econômicos da produção de flores tropicais no estado do Rio de Janeiro

Esta pesquisa teve como objetivo determinar, mediante o cálculo do valor presente líquido (VPL), da taxa interna de retorno (TIR) e do Payback Econômico (PBE), a viabilidade econômica da produção de Alpinia purpurata, Etlingera elatior e Anthurium andraeanum, no Estado do Rio de Janeiro, bem como identificar e verificar, por meio da análise de sensibilidade, a influência de alguns fatores do sistema produtivo sobre a rentabilidade da atividade nas principais regiões produtoras. Os resultados mostram que a produção das espécies tropicais consideradas é uma atividade lucrativa e promissora para os agricultores no Estado do Rio de Janeiro. Porém, trata-se de um mercado em construção, cujos itens de maior impacto sobre a rentabilidade e o tempo de retorno do investimento (PBE) são o preço de venda do produto e o percentual de perdas da produção. Assim, a agregação de valor e o planejamento estratégico da produção são importantes medidas mercadológicas para a consolidação deste setor.

Crescimento e produção da bananeira 'Thap Maeo' (AAB) durante dois ciclos de produção no Vale do São Francisco

A avaliação de genótipos de bananeira, durante ciclos sucessivos de produção em diferentes ecossistemas, é essencial não só ao programa de melhoramento genético, mas, também, para indicar cultivares promissores para o sistema produtivo local. O objetivo deste trabalho foi avaliar o crescimento e a produção da bananeira 'Thap Maeo' (AAB), no Vale do São Francisco, durante o primeiro e o segundo ciclos de produção (da colheita da planta-mãe à colheita da planta-filha) e os atributos de qualidade de seus frutos. As mudas de 'Thap Maeo' foram produzidas pelo processo de cultura de tecidos e transplantadas ao campo aos seis meses de idade, em espaçamento 3,0 m x 3,0 m. As características avaliadas foram: ciclos de produção; em cada ciclo, a altura de planta, o perímetro do pseudocaule, o número de folhas por planta, o número de dias entre plantio e colheita, a massa da matéria fresca do cacho, o número de pencas e de frutos por cacho, a massa da matéria fresca da segunda penca; número, comprimento e diâmetro de frutos da segunda penca, relação polpa/casca, firmeza, pH, sólidos solúveis (SS), acidez titulável (AT) e relação SS/AT. A bananeira 'Thap Maeo' apresentou, no segundo ciclo, maior crescimento, melhor desempenho dos caracteres que expressam a produção e qualidade dos frutos em pós-colheita.

Broad and restricted scope of the concept of civil service: a multipolarização do conceito de publica nos modelos hibricos. A capacidade transformadora dos memorados de entendimento: Portugal e Irlanda

Analise do conceito de Função Publica, identificando, á partida, uma dicotomia conceptual, entre um modelo marcadamente continental(broad concept of civil service) e um modelo restrito(restricted scope of the concept of civil service), característico dos países anglo-saxónicos, aflorando a reforma da Administração Publica, na senda da New Public Management, como o caminho para a afirmação de modelos híbridos, com características de laboralização da Função Publica e de flexisegurança, que surgem como consequência da pulverização daquela dicotomia, revelando uma miscigenação entre os modelos iniciais e elementos externos, de acordo com as idiossincrasias de cada país. Posterior estudo de caso, versando sobre Portugal e a Irlanda , dois países que, são contrario do que a tradição anglo- saxónica da Irlanda faria adivinhar, partilham um conceito amplo de Função Publica(broad concept of Civil Service), apoiado num sistema de carreira(carrear sytem). Percorrerem, quase em simultâneo, o caminho de um regate económico-financeiro desenvolvido pelo Fundo Monetário Internacional, Banco Central Europeu e Comissão Europeia. Procurara investiga-se se o acordo firmado entre os dois países e a Troika, materializado nos respectivos Memorando de Entendimento e sucessivas revisões, no período compreendido entre 16 de Dezembro de 2010 e 31 de Dezembro de 2012, introduziu modificações nos respectivos modelos de Função Publica, designadamente forçando-os a uma aproximação do restricted scope of the concept of Civil Service e, com isso, projectando-os para a adopção de modelos híbridos.

Modelos de regressão para estimação do volume de árvores comerciais, em florestas de Paragominas

Em fevereiro de 2009, o Ministério do Meio Ambiente criou a Resolução CONAMA 406, que determina que, a partir do segundo Plano Operacional Anual (POA), só será aceito, pelo órgão ambiental competente, o cálculo do volume de árvores em pé, mediante equação de volume, desenvolvida especificamente para o Plano de Manejo Florestal Sustentável (PMFS). Em função disso, necessita-se especificar um modelo estatístico para estimar o volume comercial das árvores. Neste trabalho, ajustou-se o modelo estatístico às informações coletadas em povoamento de floresta Ombrófila densa, localizada no município de Paragominas, Estado do Pará, com o objetivo de selecionar o de melhor ajuste e precisão. A amostra foi composta de 234 árvores, distribuídas em sete classes diamétricas, com amplitudes de 12 cm, no intervalo de 49 até 127 cm. Obteve-se o volume real, medindo-se as circunferências nas secções, a cada 2 m, determinando-se o CAP e a altura comercial real. A seleção para a escolha do melhor modelo teve como referência o valor da estatística F, o mais alto coeficiente de determinação (R²), o menor erro padrão da estimativa em percentagem (Syx%) e a análise de resíduos, por meio do Desvio Médio Porcentual (DMP). Com base nas estatísticas mencionadas, concluiu-se que o melhor entre os modelos tradicionais, a ser empregado na área, foi o proposto por Schumacher-Hall. Finalmente, concluiu-se que o modelo alternativo, com variável dummy, é melhor e deve ser o adotado em florestas nativas da Amazônia.

Biomassa seca acumulada, partições e rendimento industrial da cana-de-açúcar irrigada no Semiárido brasileiro

Objetivou-se, com este trabalho, determinar parâmetros de crescimento e de rendimento da cana-de-açúcar cv. RB92579, sob regime de irrigação, no Semiárido brasileiro, visando a avaliar o desempenho desta cultura nas condições edafoclimáticas locais. Foram avaliados o acúmulo de biomassa seca e as suas respectivas partições, durante dois ciclos consecutivos de cana-de-açúcar (soca e ressoca), além dos indicadores de rendimento e de qualidade da cultura ao final do período experimental. Em ambos os ciclos, foram realizadas dez coletas de amostras para se determinar a biomassa seca de seis componentes estruturais dos perfilhos (folhas verdes, bainhas, parte emergente, pseudocolmos, folhas e bainhas mortas e colmo). A cana-de-açúcar apresentou elevado acúmulo de biomassa seca da parte aérea da planta, com valor médio de 6.493 g m-2 para os dois ciclos de cultivo. No início do seu crescimento, os fotoassimilados foram destinados prioritariamente às folhas verdes, bainhas, parte emergente e pseudocolmos. Em fase posterior de crescimento, os fotoassimilados passaram a ser utilizados na formação dos colmos. Os resultados obtidos foram muito semelhantes para os ciclos de soca e ressoca. Os modelos ajustados para descrever a evolução da biomassa seca e de suas respectivas partições apresentaram ajustes satisfatórios, em função dos dias após o corte. O elevado rendimento industrial (133,88 ± 40,84 t ha-1) e a alta concentração de sacarose por biomassa seca (0,34 ± 0,10 g g-1) proporcionaram valores elevados de produção de açúcar (17,75 ± 4,44 t ha-1) e de álcool (12,73 ± 3,23 t ha-1), indicando alto desempenho produtivo da RB92579 para a região.