O avanço recente da tecnologia na área de sistemas digitais representa uma grande oportunidade para realizar um importante progresso em diversos aspectos dos sistemas de controle e proteção tradicionais. No entanto, os requisitos provenientes do uso intensivo de software em sistemas críticos de segurança, aumenta a demanda por uma abordagem adequada que possa ser baseada na experiência nesta área. Apesar de vários modelos de capacidade de maturidade estarem em constante desenvolvimento, ainda é um desafio estabelecer uma forma coerente para a melhoria e avaliação do processo de desenvolvimento de software. O objetivo desta pesquisa é propor um método para obtenção de perfis de capacidade baseados na aplicação do modelo de referência brasileiro para melhoria do processo de software MR-MPS, em conjunto com a extensão de segurança do modelo de capacidade e maturidade CMMI-DEV +SAFE, embasado pela percepção de especialistas em segurança por meio da aplicação de um modelo de decisão por múltiplos critérios. / The recent technology advance in the digital systems area represents a great opportunity to make important progress in many aspects of traditional control and protection systems. However, requirements derived from the intensive use of software in safety critical systems raises the demand for a suitable approach that can be based on the expertise in this area. Although a number of capability maturity models have been in constant development, it is still challenging to establish a coherent path for software process improvement and evaluation. The goal of this research work is to propose a method for building capability profiles based on the application of the Brazilian Reference Model for Software Process Improvement MR-MPS, along with the Capability Maturity Model for Development safety extension CMMI-DEV +SAFE, supported by safety engineers insight through the application of a multi criteria decision model.

Submitted by Rosivalda Pereira (mrs.pereira@ufma.br) on 2017-08-11T20:35:45Z No. of bitstreams: 1 CleberPereira.pdf: 3089056 bytes, checksum: ab85b5af73443dbf91e821cbac7192ab (MD5) / Made available in DSpace on 2017-08-11T20:35:45Z (GMT). No. of bitstreams: 1 CleberPereira.pdf: 3089056 bytes, checksum: ab85b5af73443dbf91e821cbac7192ab (MD5) Previous issue date: 2010-08-09 / The proposed modeling system for assessing undergraduate degree courses, according to the parameters required by ENADE emerges from the need of the IES adjust its methodology and assessment procedures to the terms set by the exam. The proposed solution does not address a specific undergraduate course and may be applied for any knowledge area. The use of software agents is justified on the grounds of a classical computer application not being able to adapt to the reality of each student, delivering the second behavioral questions identified during the evaluation process.The statistics generated from this reasoning will serve both for students and for teachers in order to reevaluate the teaching and learning process. The modeling was performed according to the UML 2.0 TROPOS methodology was used for the modeling of agents and their implementation was done in JADE. / A proposta de modelagem de sistema de avaliação dos cursos superiores de graduação, segundo os parâmetros exigidos pelo ENADE, emerge da necessidade das IES adequarem sua metodologia e procedimentos de avaliação aos moldes estabelecidos pelo exame. A solução proposta não se dirige a um curso específico de graduação, podendo ser utilizada para qualquer área do conhecimento. O uso de agentes de software em seu desenvolvimento justifica-se em razão de uma aplicação computacional clássica não ser capaz de adaptar-se à realidade de cada aluno, entregando quesitos segundo o comportamento identificado durante o processo de avaliação. As estatísticas geradas a partir deste raciocínio servirão tanto para os alunos como para os docentes no sentido de reavaliar o processo de ensino aprendizagem. A modelagem foi efetuada segundo a UML 2.0, foi utilizada a metodologia TROPOS para a modelagem dos agentes e sua implementação foi realizada no JADE.

Developing a large software system involves many complicated, varied, and inter-dependent tasks, and these tasks are typically implemented using a combination of defined processes, semi-automated tools, and ad hoc practices. Stakeholders in the development process --- including software developers, managers, and customers --- often want to be able to track the actual practices being employed within a project. For example, a customer may wish to be sure that the process is ISO 9000 compliant, a manager may wish to track the amount of testing that has been done in the current iteration, and a developer may wish to determine who has recently been working on a subsystem that has had several major bugs appear in it. However, extracting the software development processes from an existing project is expensive if one must rely upon manual inspection of artifacts and interviews of developers and their managers. Previously, researchers have suggested the live observation and instrumentation of a project to allow for more measurement, but this is costly, invasive, and also requires a live running project. In this work, we propose an approach that we call software process recovery that is based on after-the-fact analysis of various kinds of software development artifacts. We use a variety of supervised and unsupervised techniques from machine learning, topic analysis, natural language processing, and statistics on software repositories such as version control systems, bug trackers, and mailing list archives. We show how we can combine all of these methods to recover process signals that we map back to software development processes such as the Unified Process. The Unified Process has been visualized using a time-line view that shows effort per parallel discipline occurring across time. This visualization is called the Unified Process diagram. We use this diagram as inspiration to produce Recovered Unified Process Views (RUPV) that are a concrete version of this theoretical Unified Process diagram. We then validate these methods using case studies of multiple open source software systems.

Developing a large software system involves many complicated, varied, and inter-dependent tasks, and these tasks are typically implemented using a combination of defined processes, semi-automated tools, and ad hoc practices. Stakeholders in the development process --- including software developers, managers, and customers --- often want to be able to track the actual practices being employed within a project. For example, a customer may wish to be sure that the process is ISO 9000 compliant, a manager may wish to track the amount of testing that has been done in the current iteration, and a developer may wish to determine who has recently been working on a subsystem that has had several major bugs appear in it. However, extracting the software development processes from an existing project is expensive if one must rely upon manual inspection of artifacts and interviews of developers and their managers. Previously, researchers have suggested the live observation and instrumentation of a project to allow for more measurement, but this is costly, invasive, and also requires a live running project. In this work, we propose an approach that we call software process recovery that is based on after-the-fact analysis of various kinds of software development artifacts. We use a variety of supervised and unsupervised techniques from machine learning, topic analysis, natural language processing, and statistics on software repositories such as version control systems, bug trackers, and mailing list archives. We show how we can combine all of these methods to recover process signals that we map back to software development processes such as the Unified Process. The Unified Process has been visualized using a time-line view that shows effort per parallel discipline occurring across time. This visualization is called the Unified Process diagram. We use this diagram as inspiration to produce Recovered Unified Process Views (RUPV) that are a concrete version of this theoretical Unified Process diagram. We then validate these methods using case studies of multiple open source software systems.

Computers and the software they run are pervasive, yet released software is often unreliable, which has many consequences. Loss of time and earnings can be caused by application software (such as word processors) behaving incorrectly or crashing. Serious disruption can occur as in the l4th August 2003 blackouts in North East USA and Canadal, or serious injury or death can be caused as in the Therac-25 overdose incidents. One way to improve the quality of software is to test it thoroughly. However, software testing is time consuming, the resources, capabilities and skills needed to carry it out are often not available and the time required is often curtailed because of pressures to meet delivery deadlines3. Automation should allow more thorough testing in the time available and improve the quality of delivered software, but there are some problems with automation that this research addresses. Firstly, it is difficult to determine ifthe system under test (SUT) has passed or failed a test. This is known as the oracle problem4 and is often ignored in software testing research. Secondly, many software development organisations use an iterative and incremental process, known as evolutionary development, to write software. Following release, software continues evolving as customers demand new features and improvements to existing ones5. This evolution means that automated test suites must be maintained throughout the life ofthe software. A contribution of this research is a methodology that addresses automatic generation of the test cases, execution of the test cases and evaluation of the outcomes from running each test. "Predecessor" software is used to solve the oracle problem. This is software that already exists, such as a previous version of evolving software, or software from a different vendor that solves the same, or similar, problems. However, the resulting oracle is assumed not be perfect, so rules are defined in an interface, which are used by the evaluator in the test evaluation stage to handle the expected differences. The interface also specifies functional inputs and outputs to the SUT. An algorithm has been developed that creates a Markov Chain Transition Matrix (MCTM) model of the SUT from the interface. Tests are then generated automatically by making a random walk of the MCTM. This means that instead of maintaining a large suite of tests, or a large model of the SUT, only the interface needs to be maintained.

Submitted by Santos Davilene (davilenes@ufba.br) on 2013-01-25T10:33:56Z No. of bitstreams: 1 Tese Glauco Carneiro.PDF: 9132226 bytes, checksum: b22e5917f0e49a3b66dd4ee4d3aacb13 (MD5) / Made available in DSpace on 2013-01-25T10:33:56Z (GMT). No. of bitstreams: 1 Tese Glauco Carneiro.PDF: 9132226 bytes, checksum: b22e5917f0e49a3b66dd4ee4d3aacb13 (MD5) / Atividades de compreensão têm papel importante em engenharia de software. A leitura e a busca de informações no código fonte não são atividades triviais e requerem esforço significativo em sistemas de médio e grande porte. Atualmente, apesar da maioria dos ambientes de desenvolvimento de software (ADS) oferecer apoio às atividades de compreensão, eles ainda não adotaram plenamente técnicas e recursos de visualização para tal finalidade. Esta é uma limitação significativa dado que o ser humano tem maior capacidade para obter informação através da visão do que todos os outros sentidos combinados. Além disso, as próprias técnicas de visualização de software ainda não adotaram recursos de interação e coordenação já consolidados na área de visualização de informação. Esta tese propõe um ambiente interativo baseado em múltiplas visões chamado SourceMiner, desenvolvido como um plug-in da ADS Eclipse, para apoiar as atividades de compreensão de software. O SourceMiner traz novos recursos e técnicas para a área de visualização de software. O principal destes é o uso de múltiplas visões, já adotadas em visualização de informação e compatibilizadas para visualização de software através do conceito de perspectivas. O ambiente também utiliza mecanismos de coordenação entre as visões, zoom semântico e filtros interativos. O SourceMiner é um ambiente expansível no qual é possível incluir novas visões. Além disso, ele possui recursos de monitoramento de atividades a partir dos quais podem ser realizados estudos para a análise do perfil de uso do ADS e das funcionalidades oferecidas pelo próprio plug-in. A utilização integrada destes recursos é uma contribuição nova para a área de visualização de software. Foram realizados seis estudos experimentais para avaliar o uso do SourceMiner em atividades de compreensão de software. Os resultados indicam que o SourceMiner pode ser utilizado para apoiar a construção de modelos mentais que se adéquam às necessidades de compreensão daqueles que lidam tanto com atividades de desenvolvimento como de manutenção de software. / Salvador

As formigas são criaturas fascinantes que, além dos avanços na biologia também inspiraram pesquisas sobre teoria da informação. Em particular, o estudo resultou na criação da Teoria da Forragem de Informação, que descreve como os agentes de buscam informações em seu ambiente. Esta teoria também explica fenômenos recentes e bem-sucedidos, como crowd sourcing. Crowdsourcing tem sido aplicado a muitas atividades em engenharia de software, incluindo desenvolvimento, tradução e testes, mas uma atividade parece resistir: depuração. No entanto, os desenvolvedores sabem que a depuração pode exigir dedicação, esforço, longas horas de trabalho, por vezes, para mudar uma linha de código único. Nós introduzimos o conceito de Depuração em Enxame, para trazer crowd sourcing para a atividade de depuração. Através de crowd sourcing, pretendemos ajudar os desenvolvedores, capitalizando a sua dedicação, esforço e longas horas de trabalho para facilitar atividades de depuração. Mostramos que a depuração enxame requer uma abordagem específica para recolher informações relevantes, e descrevemos sua infra-estrutura. Mostramos também que a depuração em enxame pode reduzir o esforço desenvolvedores. Concluímos com as vantagens e limitações atuais de depuração enxame, e sugerir caminhos para superar estas limitações e ainda mais a adoção de crowd sourcing para atividades de depuração. / Ants are fascinating creatures that beyond the advances in biology have also inspired research on information theory. In particular, their study resulted in the creation of the Information Foraging Theory, which describes how agents forages for information in their environment. This theory also explains recent and fruitful phenomena, such as crowdsourcing. Many activities in software engineering have applied crowdsourcing, including development, translation, and testing, but one action seems to resist: debugging. Developers know that debugging can require dedication, effort, long hours of work, sometimes for changing one line of code only. We introduce the concept of Swarm Debugging, to bring crowdsourcing to the activity of debugging. Through crowdsourcing, we aim at helping developers by capitalizing on their dedication, effort, and long hours of work to ease debugging activities of their peers or theirs, on other bugs. We show that swarm debugging requires a particular approach to collect relevant information, and we describe the Swarm Debugging Infrastructure. We also show that swarm debugging minimizes developers effort. We conclude with the advantages and current limitations of swarm debugging and suggest directions to overcome these limitations and further the adoption of crowdsourcing for debugging activities.

Orientador: José Roberto Dale Luche / Coorientador: Jorge Muniz Junior / Banca: Andreia Maria Pedro Salgado / Banca: Carlos José Pereira / Resumo: Este trabalho aborda os aspectos relacionados à implantação de Fábrica de Software (FS) em Instituições de Ensino Superior (IES) no Brasil e busca identificar fatores que influenciam tais instituições na decisão de adotar o referido modelo, assim como os fatores de risco e dificuldades normalmente encontradas durante o processo. A análise realizada neste estudo permite que IES possam se atentar a aspectos que facilitem a implementação de uma Fábrica de Software em seu ambiente acadêmico. O trabalho utiliza como método a pesquisa de campo, a pesquisa documental e apresenta uma análise dos resultados com as instituições pesquisadas. A partir dos resultados observados nestas IES, é apresentada uma proposta de implementação e gerenciamento de Fábrica de Software Acadêmica (FSA), aprovada e implementada na Associação Educacional Dom Bosco (AEDB), incluindo seus resultados parciais / Abstract: This paper addresses the issues related to Software Factory deployment (FS) in Higher Education Institutions (HEIs) in Brazil and aims to identify factors that influence such institutions in the decision to adopt that model, as well as the risk factors and difficulties usually during the process. The analysis in this study allows IES can pay attention to aspects that facilitate the implementation of a Software Factory in their academic environment. The work uses as a method of field research, desk research and analyzes the results of the surveyed institutions. The results observed in these HEIs, the study presents a proposal for deployment and management Academic Software Factory (FSA), approved and implemented in Associação Educacional Dom Bosco (AEDB), including its partial results / Mestre

As formigas são criaturas fascinantes que, além dos avanços na biologia também inspiraram pesquisas sobre teoria da informação. Em particular, o estudo resultou na criação da Teoria da Forragem de Informação, que descreve como os agentes de buscam informações em seu ambiente. Esta teoria também explica fenômenos recentes e bem-sucedidos, como crowd sourcing. Crowdsourcing tem sido aplicado a muitas atividades em engenharia de software, incluindo desenvolvimento, tradução e testes, mas uma atividade parece resistir: depuração. No entanto, os desenvolvedores sabem que a depuração pode exigir dedicação, esforço, longas horas de trabalho, por vezes, para mudar uma linha de código único. Nós introduzimos o conceito de Depuração em Enxame, para trazer crowd sourcing para a atividade de depuração. Através de crowd sourcing, pretendemos ajudar os desenvolvedores, capitalizando a sua dedicação, esforço e longas horas de trabalho para facilitar atividades de depuração. Mostramos que a depuração enxame requer uma abordagem específica para recolher informações relevantes, e descrevemos sua infra-estrutura. Mostramos também que a depuração em enxame pode reduzir o esforço desenvolvedores. Concluímos com as vantagens e limitações atuais de depuração enxame, e sugerir caminhos para superar estas limitações e ainda mais a adoção de crowd sourcing para atividades de depuração. / Ants are fascinating creatures that beyond the advances in biology have also inspired research on information theory. In particular, their study resulted in the creation of the Information Foraging Theory, which describes how agents forages for information in their environment. This theory also explains recent and fruitful phenomena, such as crowdsourcing. Many activities in software engineering have applied crowdsourcing, including development, translation, and testing, but one action seems to resist: debugging. Developers know that debugging can require dedication, effort, long hours of work, sometimes for changing one line of code only. We introduce the concept of Swarm Debugging, to bring crowdsourcing to the activity of debugging. Through crowdsourcing, we aim at helping developers by capitalizing on their dedication, effort, and long hours of work to ease debugging activities of their peers or theirs, on other bugs. We show that swarm debugging requires a particular approach to collect relevant information, and we describe the Swarm Debugging Infrastructure. We also show that swarm debugging minimizes developers effort. We conclude with the advantages and current limitations of swarm debugging and suggest directions to overcome these limitations and further the adoption of crowdsourcing for debugging activities.

Made available in DSpace on 2014-06-12T15:59:44Z (GMT). No. of bitstreams: 2 arquivo5530_1.pdf: 3005185 bytes, checksum: 2a022c6abeac87f561b30607dd251420 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Faculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco / Reuso de software é um aspecto fundamental para as organizações de software interessadas em melhorar os custos, a qualidade e reduzir o tempo de entrega dos produtos. Engenharia de Linhas de Produtos de software (SPL) é um conceito crescente em engenharia de software e foi desenvolvido objetivando uma maneira sistemática e prescrita para alcançar reuso. SPL é uma estratégia de reuso pró-ativa, que explora semelhanças e gerencia variabilidades dentro de um conjunto de produtos. O inerente reuso de artefatos de software em combinação com o desenvolvimento usualmente iterativo, traz um conjunto de melhorias para o desenvolvimento de software no contexto de SPL. Além disso, o conjunto de benefícios de SPL não acontecem sem esforços, tem alguns desafios e requer abordagens de garantia de qualidade, como testes e inspeção. Se esses pontos não são considerados, o sucesso da linha pode não ser alcançado, contrariando os enormes benefícios econômicos. Embora alguns autores discutam a importância de inspeções de software em todo o desenvolvimento de engenharia de software, na prática, poucos estudos discutem a relação entre inspeção e artefatos das fases iniciais de SPL. O cenário de Qualidade em SPL tem uma carência substancial da literatura em discutir as técnicas de garantia de qualidade. Neste cenário, esta dissertação apresenta um conjunto de evidências empíricas sobre Inspeção em Linhas de Produtos de Software fornecidas por um estudo empírico embutido, realizado em um ambiente industrial com objetivo de compreender e caracterizar como a atividade de inspeção deve ser tratada nas fases iniciais de SPL (escopo e engenharia de requisitos), especialmente para os artefatos de especificação de features, requisitos funcionais e casos de uso. Além disso, com base nos resultados coletados no estudo empírico alguns modelos de predição foram construídos a fim de estimar o número de não-conformidades para os artefatos investigados neste trabalho