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.

Sistema de informação para suporte ao processo da mobilidade internacional: programa ERASMUS+

Dissertação apresentada à Escola Superior de Tecnologia do Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento de Software e Sistemas Interactivos, realizada sob a orientação científica do Professor Doutor Filipe Miguel Bispo Fidalgo, do Instituto Politécnico de Castelo Branco e da coorientação científica do Professor Doutor Rogério Pais Dionísio, Instituto Politécnico de Castelo Branco.

Do more with less: a framework for e-government

Dissertação apresentada ao Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento de Software e Sistemas Interactivos, realizada sob a orientação científica do Doutor Arminda Guerra Lopes Professor Doutor do Departamento de Informática do Instituto Politécnico de Castelo Branco

Novas tendências, o big data: deteção de fraudes e transações no comércio local: SAF-T com tecnologia big data

Dissertação apresentada à Escola Superior de Tecnologia do Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento de Software e Sistemas Interactivos, realizada sob a orientação científica da categoria profissional do orientador Doutor Eurico Ribeiro Lopes, do Instituto Politécnico de Castelo Branco.

Sistema WEB para gestão de dossier de clientes da CPI RETAIL

Dissertação apresentada ao Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento de Software e Sistemas Interativos, realizada sob a orientação científica do Doutor Fernando Reinaldo Ribeiro, Professor Adjunto da Escola Superior de Tecnologia do Instituto Politécnico de Castelo Branco

P.A.V.E.S. : Post-Accident Vehicle Emergency System

Dissertação apresentada ao Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento de Software e Sistemas Interactivos, realizada sob a orientação científica do Doutor Fernando Reinaldo Silva Garcia Ribeiro, Professor Adjunto da Unidade Técnico-Científica de Informática da Escola Superior de Tecnologia do Instituto Politécnico de Castelo Branco.

Proposta de framework para cloud computing em dispositivos móveis

Dissertação apresentada ao Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento de Software e Sistemas Interactivos, realizada sob a orientação científica do Doutor Osvaldo Arede dos Santos, Professor Adjunto da Unidade Técnico Científica de Informática da Escola Superior de Tecnologia do Instituto Politécnico de Castelo Branco.

Optimização de rotas na recolha de leite

O presente relatório tem por objectivo apresentar e descrever de forma detalhada o projecto “Optimização de rotas na recolha de leite”. Este projecto foi conduzido no âmbito do estágio curricular, realizado na parte não-lectiva do Mestrado em Sistemas de Informação de Gestão, do Instituto Superior de Contabilidade e Administração de Coimbra, tendo decorrido na empresa Lacticoop entre 03 de Outubro de 2011 e 27 de Julho de 2012. O projecto surge da necessidade da empresa optimizar as suas rotas de recolha de leite. Essa optimização pode ser subdividida em duas partes distintas: i) a recolha de dados, características e processos relativos à empresa e aos sistemas com que labora; ii) e o desenvolvimento do software necessário para a optimização de uma componente desses sistemas, associada ao processo de recolha de leite. O primeiro ponto envolve a recolha de informação sobre a política interna da empresa, a recolha de dados acerca dos veículos, rotas, consumos e condutores, assim como o levantamento de procedimentos e tecnologias utilizadas. O segundo ponto envolve a modelação do problema em estudo, o levantamento das necessidades de software para implementar o sistema de informação, a avaliação de soluções de software e desenvolvimento/adaptação da aplicação informática, assim como a implementação do software desenvolvido / adaptado e testes. Actualmente a empresa não dispõe de qualquer automatismo para a definição de rotas, sendo o processo de escalonamento de rotas feito manualmente. Este processo é bastante moroso e complexo, envolvendo a troca de informações entre o gestor e os condutores das viaturas. É um processo gradual, numa sequência de detecção de erros e correcção desses mesmos erros. Esta metodologia conduz a soluções bastante ineficientes, desde logo pela desactualização das soluções relativamente à efemeridade dos dados, especialmente ao nível de quantidades de recolha do produto. A razão da escolha de um sistema informático que permita optimizar as rotas prende-se essencialmente com a rapidez na obtenção de soluções e na capacidade de integração de dados actualizados. Este processo recorre a técnicas e modelos de optimização que envolvem o problema de Rotas de Veículos (Vehicle Routing Problem), sendo, em geral, um problema de difícil resolução em função do número de clientes envolvidos. Todavia, trata-se de um sistema que traz enormes benefícios no apoio ao processo de decisão por parte do gestor. Neste estágio pretendeu-se, como objectivo principal, desenvolver uma aplicação que permita optimizar as rotas dos veículos envolvidos no processo de recolha de leite. Os benefícios do sistema na diminuição de distâncias percorridas pelas viaturas de recolha e no aumento da eficiência do sistema de transportes, serão evidenciados no trabalho desenvolvido. A aplicação foi criada no software Eclipse (utilizando a linguagem Java). Na primeira fase do projecto estava previsto monitorizar as rotas e consumos dos veículos através da tecnologia de geo-posicionamento por satélite (GPS), de forma a atribuir comissões sobre a poupança de combustível aos condutores dos veículos. Não foi possível concluir esta fase devido à inexistência dessa tecnologia nas viaturas e pelo facto de a empresa ter retirado essa prioridade a esse investimento.

ESPERANÇAS E DECEPÇÕES Uma análise crítica da Prática Pastoral do neopentecostalismo na Igreja Internacional da Graça de Deus sob a perspectiva da Práxis Religiosa

O texto analisa a prática pastoral do neopentecostalismo na Igreja Internacional da Graça de Deus. Esta Igreja expandiu-se substancialmente no Brasil, conseguiu arregimentar um número enorme de seguidores e conquistou expressiva visibilidade na mídia. A pesquisa estuda a trajetória histórica do neopentecostalismo, o seu desenvolvimento no Brasil e os aspectos teológicos do movimento. Estuda-se também a Igreja da Graça, sua origem, sua teologia, sua estrutura de governo, seu ministério pastoral e expansão. Por estar inserida dentro do neopentecostalismo, a Igreja da Graça reflete também a sua teologia, que propõe banir a doença, a pobreza e todo o tipo de sofrimento da vida humana, a fim de produzir uma nova geração de fiéis: ricos e saudáveis. De acordo com a sua teologia, o cristão deve viver todo o tempo de sua vida livre de qualquer aspecto negativo da existência humana. Se isso não acontece, é porque ele não tem fé, está sob o poder de Satã ou tem um comportamento que desagrada a Deus. Assim, a marca do verdadeiro cristão é a plena saúde física e emocional, além da prosperidade financeira. Entretanto, a pregação neopentecostal tem produzido desapontamentos, principalmente, quando a cura física não acontece e o dinheiro não aparece. Portanto, esta tese formula uma proposta de prática pastoral de esperança que possibilite aos decepcionados com essa mensagem triunfalista retomarem a vida cristã dentro do seu espaço cristão.(AU)

Construção de um ambiente virtual de aprendizagem para aplicação do processo de enfermagem baseado na Nanda International, NOC, NIC e CIPE®

This study aimed to build a virtual learning environment for application of the nursing process based on the NANDA-I, NOC, NIC and ICNP® . Faced with problems related to learning of the nursing process and classifications, there is an urgent need to develop innovative teaching resources that modify the relationship between students and teachers. The methodology was based on the steps inception, development, construction and transition, and the software development process Rational Process Unifield. The team involved in the development of this environment was composed by researchers and students of The Care and Epidemiological Practice in Health and Nursing and Group of the Software Engineering curse of the Federal University Rio Grande do Norte, with the participation of the Lisbon and Porto Schools of Nursing, in Portugal. In the inception stage the inter research communication was in order to define the functions, features and tools for the construction process. In the preparation, step the planning and modeling occurred, which resulted in the creation of a diagram and a architectural drawings that specify the features and functionality of the software. The development, unit testing and integrated in interfaces of the modules and areas (administrator, teacher, student, and construction of the NP). Then the transition step was performed, which showed complete and functioning system, as well as the training and use by researchers with its use in practice. In conclusion, this study allowed for the planning and the construction of an educational technology, and it is expected that its implementation will trigger a substantial change in the learning of the nursing process and classifications, with the student being active agent of the learning process. Later, an assessment will be made of functional performance, which will enable the software development, with a feedback, correction of defects and necessary changes. It is believed that the software increment after the reviews, this tool grow further and help insert this methodology and every language under the educational and health institutions, promoting paradigmatic desired change by nursing.

Construção de um classificador automático de severidade de bugs para sistemas open source

Software bug analysis is one of the most important activities in Software Quality. The rapid and correct implementation of the necessary repair influence both developers, who must leave the fully functioning software, and users, who need to perform their daily tasks. In this context, if there is an incorrect classification of bugs, there may be unwanted situations. One of the main factors to be assigned bugs in the act of its initial report is severity, which lives up to the urgency of correcting that problem. In this scenario, we identified in datasets with data extracted from five open source systems (Apache, Eclipse, Kernel, Mozilla and Open Office), that there is an irregular distribution of bugs with respect to existing severities, which is an early sign of misclassification. In the dataset analyzed, exists a rate of about 85% bugs being ranked with normal severity. Therefore, this classification rate can have a negative influence on software development context, where the misclassified bug can be allocated to a developer with little experience to solve it and thus the correction of the same may take longer, or even generate a incorrect implementation. Several studies in the literature have disregarded the normal bugs, working only with the portion of bugs considered severe or not severe initially. This work aimed to investigate this portion of the data, with the purpose of identifying whether the normal severity reflects the real impact and urgency, to investigate if there are bugs (initially classified as normal) that could be classified with other severity, and to assess if there are impacts for developers in this context. For this, an automatic classifier was developed, which was based on three algorithms (Näive Bayes, Max Ent and Winnow) to assess if normal severity is correct for the bugs categorized initially with this severity. The algorithms presented accuracy of about 80%, and showed that between 21% and 36% of the bugs should have been classified differently (depending on the algorithm), which represents somewhere between 70,000 and 130,000 bugs of the dataset.

AVALIAÇÃO INSTITUCIONAL NA EDUCAÇÃO BÁSICA: UMA ANÁLISE DA PRÁTICA DA EDUCAÇÃO ADVENTISTA

O tema desta dissertação é a Avaliação Institucional da Educação Básica. Para tal, faz-se a análise do processo de avaliação, com ênfase no instrumento utilizado pelas Escolas Adventistas de nível básico do estado de São Paulo, considerando que a educação adventista se tornou uma parte consistente dentro da estrutura da Igreja Adventista do Sétimo Dia. Procurou-se, neste trabalho, como objetivo geral, compreender como se configura a prática da avaliação institucional das escolas da Rede Adventista de Educação. O método da investigação incluiu análise bibliográfica dos principais teóricos da área de políticas públicas e do sistema privado bem como da avaliação institucional, seguido de exame documental do instrumento utilizado no processo de avaliação institucional. O estudo resgata a contextualização histórica do desenvolvimento da escola privada, destacando aspectos relevantes de sua relação com o Estado. Também apresenta brevemente a história da Igreja Adventista do Sétimo Dia (IASD) nos Estados Unidos (EUA) e no Brasil, de modo a situar o surgimento do sistema educacional adventista, bem como a sua filosofia de ensino, buscando conhecer as origens desse grupo religioso que há mais de um século atua no cenário educacional brasileiro. Em seguida, aborda aspectos da Avaliação Institucional. Finalmente, apresenta-se uma síntese do processo e uma descrição analítica do instrumento de avaliação institucional das escolas de nível básico da Educação Adventista. Na conclusão do trabalho, não se encontraram indícios de que o conceito adventista de avaliação educacional seja diferente do das abordagens tradicionais. Entretanto, na concepção adventista de avaliação, existe mais fortemente a preocupação de se manter um processo de avaliação contínuo e sistemático.

Definição de política de segurança informática no IPCB

Dissertação apresentada à Escola Superior de Tecnologia do Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento de Software e Sistemas Interativos, realizada sob a orientação científica Professor Doutor Osvaldo Arede dos Santos, do Instituto Politécnico de Castelo Branco.