Researchers have developed framework for diagnosis analysis that are called “Model Based Diagnosis Systems”. These systems are very general in scope, covers a wide range of malfunctions uncovering and identifying repair measures. This thesis is an effort to diagnose complex and lengthy static source code. Without executing source code discrepancies can only be identified by finding procedural dependencies. With respect to modern programming languages, many software bugs arise due to logical erroneous calculations or miss handling of data structures. Modern Integrated Development Environments (IDE) like Visual Studio, J-Builder and Eclipse etc are strong enough to analyze and parse static text code to identify syntactical and type conversion errors. Some of IDE’s can automatically fix such kind of errors or provide different possible suggestions to developer. In this thesis we have analyzed and extracted functional dependencies of source code. This extracted information can increase programmer’s understanding about code when they are extremely large or complex. By modeling this information into a model system, reduces time to debug the code in case of any failure. This increases productivity in terms of software development and in debugger skills as well. The main contribution of this thesis is the use of model based diagnosis techniques on software functional dependency graphs and charts. Keywords: Model Based Diagnosis Systems, Integrated Development Environments, Procedural Dependencies, Erroneous calculations, Call graphs, Directed graph markup language.

Nowadays, as the use of computers is rapidly spreading to our life, software is getting more and more complex and large in computer systems. Therefore, the software configuration management (SCM) is playing an increasingly important role in the software development process. One of its significant activities is change management, which has an outstanding role in dealing with the continued and concurrent change requirements during the system development and use. In this report, we describe some basic activities of SCM, overview some representative SCM CASE tools with emphasizing on change management and analyze a possibility of integration of SCM version management tool (e.g., Subversion) and error management tool (e.g., Bugzialla) in order to provide an integrated software configuration management and change management. Moreover, a set of exercises based on RCS are developed, which illustrate some SCM simple activities and their modification to facilitate version management and change management.

Empirical methodologies have recently attracted increasing attention from the broader software engineering community. In particular, organisational issues and the human role in software development have been addressed. Qualitative research approaches have been identified as necessary for understanding human nature. One qualitative methodology which has become increasingly recognised in the software engineering community is ethnography. It is also the qualitative approach that is addressed in this thesis, i.e. ethnography in relation to software engineering. Ethnography emphasises the members point of view in an effort to understand the organisation of a social, cultural and technical setting. Until now, only a handful of ethnographic studies focusing on software engineering have been carried out in accordance with the original conception of ethnography; these studies have traditionally been performed by sociologists. The understanding and application of ethnography by software engineers differ from that of sociologists as it gives up the studied people's point of view in the analysis of data. The thesis is based on two independent ethnographic studies where the ‘inside’ perspective which complies with the original understanding of the methodology is applied. Using these examples as a basis, the relation between ethnography and software engineering research is explored. The objective of this thesis is to promote ‘ethnographic knowledge’ by giving an overview of ethnographic work within software engineering, presenting an original understanding of ethnography, comparing software engineers' understanding of ethnography with the original understanding of ethnography, demonstrating how the different implicit research attitudes of ethnographers and software engineers produce different research discourses, and finally pointing to an opportunity to combine ethnography, which contributes an ‘inside perspective’, with software engineering's need for constant improvement.

Doctor en Ciencias, Mención Computación / Lograr proyectos de software productivos y con calidad dentro de una industria dinámica y competitiva, requiere definir modelos de proceso correctos y adecuados al contexto. Así, el mejor proceso debe estar correctamente definido y debe ser adecuado a las particularidades del proyecto en el que será usado. Típicamente, un ingeniero de procesos define un proceso específico para cada proyecto en forma ad-hoc, lo cual resulta costoso, irrepetible y propenso al error. Por otro lado, la especificación de procesos demanda un esfuerzo enorme y una vez éstos son especificados, son pocos los enfoques y aún menos las herramientas, que asistan al ingeniero de procesos a analizar la calidad de sus modelos de proceso. En los últimos cinco años hemos asesorado empresas de software en la especificación de sus procesos de software. Como parte de este trabajo una serie de problemas fueron identificados, éstos indican la presencia potencial de incorrectas concepciones y especificaciones, así como inadecuadas adaptaciones en el modelo del proceso. Para prevenir errores en la adaptación de procesos, esta tesis propone CASPER, un metaproceso para definir modelos de proceso adaptables al contexto. CASPER usa un enfoque basado en modelos para adaptar el proceso de desarrollo generando procesos específicos a proyectos a partir del proceso organizacional y el contexto específico del proyecto. El enfoque es sistemático, repetible y no depende de un usuario experto en ingeniería de procesos. Para asistir al ingeniero de procesos en el análisis de problemas concepuales y de especificación, en esta tesis se desarrolló AVISPA. AVISPA es una herramienta que gráficamente presenta diferente patrones de error de un modelo de proceso de software resaltando los errores potenciales a través de indicadores comprensibles e intuitivos. Los enfoques de CASPER y AVISPA han sido validados aplicándolos en la definición y análisis de algunos modelos de proceso de la industria de software Chilena y algunos procesos públicos disponibles desde la comunidad de Eclipse Process Framework. Estos enfoques muestran ampliamente la utilidad práctica del enfoque dirigido por modelos para lograr modelos de proceso de alta calidad.

Actualmente en el Perú los temas de cultura general, como por ejemplo nuestra historia, son poco valorados y conocidos por personas de todas las edades, esto a partir del gran impacto que ha generado la televisión con el contenido de los llamados programas “basura”. Este proyecto tiene objetivo promover los temas culturales que se han dejado de lado a través de la implementación de un juego trivia para los Smart TV en el que se podrán encontrar preguntas de diferentes categoría y se pondrán a prueba los conocimientos de cada jugador. De esta manera se pueda enfocar el uso de este medio de comunicación a algo más productivo, como el aprendizaje de la cultura general de nuestro Perú a través del juego y la competencia. Para explicar a detalle el proyecto, se ha dividido este documento en cinco capítulos. En el capítulo 1 se detallará el objeto de estudio y el problema encontrado, así como también la solución a tomar, los objetivos y los indicadores de éxito. En el capítulo 2 se explicarán los conceptos relacionados al proyecto, como la definición de Smart TV, trivia y se explicará en qué consiste la gamificación y se explicará más a fondo esta tendencia. En el capítulo 3 se definirá el mercado de aplicaciones Smart TV en el mundo para posteriormente explicar el mercado de aplicaciones a nivel de educación. Posteriormente se explicarán los beneficios de la gamificación en ambientes educativos y sus casos de éxito relacionados. En el capítulo 4 se describirá el desarrollo del proyecto. Finalmente en el capítulo 5 se describirá el producto final y los principales planes de gestión. / Actually in Peru, topics about general knowledge, like our history, are little valued an known by people of all ages, this because the great impact TV has generated with TV Shows called "junk". The goal of this project is promoting general knowledge that citizens have forgotten, this through developing a trivia game for Smart TV's. This app has questions of different topics or categories and will test players’ skills. In this way, it can change the point of view about how people think about TV. People would think about TV like a mean of learning about Peru through the game and competition instead of only a mean for watch TV. To explain this project, this document has been divided into five chapters. In the first chapter, we are going to talk about the the object of study and the problem to solve, then about the solution, the goals and success indicators. In chapter 2, we are going to talk about concepts related to the project, such as: definition of Smart TV, trivia, and gamification. In chapter 3, the Smart TV applications market will be defined. Then we will talk about the benefits of gamification in educational environments and the status of education in Peru. Chapter 4 describes the final product, and finally in chapter 5, management plans of the final product are described.

The purpose of this project was to try to investigate one approach to the problem of automatically generating programs from some specification. Rather than following the approach which requires the user to define his problem using some formulation, it was decided to look at a class of problems that have similar solutions, but have many variations, and to try to design a system capable of obtaining user requirements and generating solutions tailored to these requirements. The aim was to design the system in such a way that it could be extended to cater for other classes of problems, so that eventually a system which could automatically generate program solutions for a range of problems might be developed. Intro. p. 1.

M.Sc. (Computer Science) / The process that involves creating and altering software systems can be defined as the software development lifecycle. People often use methodologies and methods in order to develop these systems with success factors such as people, processes and technology. The lifecycle is comprised of the following stages: • Planning • Requirements definition • Design • Development • Integration and testing • Installation • Acceptance. The underlying issue in such a lifecycle is that project defects are identified late within the lifecycle and therefore, the process of rectifying these problems becomes costly. Ultimately, an ideal product is one with minimal or zero defects which can be achieved with a software project that prevents or detects defects earlier within the cycle. Release management can be described as the process involving decision-­‐making regarding the implementation and releasing of a software product. A conceptual framework exists which stipulates the stages involved in the development process of a software application. Several models exist that describe the SDLC in different approaches. A philosophy is adopted within the RAD model, known as Agile and is beneficial since it minimises future scope creep and scope changes. Development occurs in shorter intervals. Over and above the stages and values in this methodology, the Agile methodology includes incremental changes which are then captured in the scheduled software releases. The purpose of the research presented in this dissertation is to incorporate findings where large companies with global IT projects can adopt the Agile conceptual framework and to testify whether all types of IT projects will benefit from a frequent release approach to the delivery of the project. Three different projects across a large South African financial institution that specialises in corporate organisation banking and core-­‐banking functionality will be studied and presented as case studies. Release management will also be studied from an organisational perspective with the following banking institution in context. Data will be retrieved by carrying out interviews and surveys with appropriate stakeholders, and therefore, analysed to generate a valid conclusion.

A software developer explores a software system by asking and answering a series of questions. To answer these questions, a developer may need to consult various sources providing information about the program, such as the static relationships expressed directly in the source code, the run-time behaviour of a program recorded in a dynamic trace, or evolution history as recorded in a source management system. Despite the support afforded by software exploration tools, developers often struggle to find the necessary information to answer their questions and may even become disoriented, where they feel mentally lost and are uncertain of what they were trying to accomplish. This dissertation advances a thesis that a developer's questions, which we refer to as conceptual queries, can be better supported through a model to represent and compose different sources of information about a program. The basis of this model is the sphere, which serves as a simple abstraction of a source of information about a program. Many of the software exploration tools used by a developer can be represented as a sphere. Spheres can be composed in a principled fashion such that information from a sphere may replace or supplement information from a different sphere. Using our sphere model, for example, a developer can use dynamic runtime information from an execution trace to replace information from the static source code to see what actually occurred. We have implemented this model in a configurable tool, called Ferret. We have used the facilities provided by the model to implement 36 conceptual queries identified from the literature, blogs, and our own experience, and to support the integration of four different sources of program information. Establishing correspondences between similar elements from different spheres allows a query to bridge across different spheres in addition to allowing a tool's user interface to drive queries from other sources of information. Through this effort we show that sphere model broadens the set of possible conceptual queries answerable by software exploration tools. Through a small diary study and a controlled experiment, both involving professional software developers, we found the developers used the conceptual queries that were available to them and reported finding Ferret useful. / Science, Faculty of / Computer Science, Department of / Graduate

Orientador: Eliane Martins / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T02:16:54Z (GMT). No. of bitstreams: 1 Fidelis_WennderIndalecioOliveira_M.pdf: 646280 bytes, checksum: c3cc6206f734b9eb157f44adc1f4d8a4 (MD5) Previous issue date: 2003 / Resumo: A rápida difusão da Internet e novas tecnologias estão produzindo um significativo crescimento da demanda de aplicações Web, sendo que cada vez mais são exigidos requisitos de usabilidade, confiança, funcionalidade e segurança. Esse trabalho propõe uma estratégia de testes de regressão voltada para aplicações Web que visa auxiliar os testadores de aplicações Web na tarefa de selecionar dentre os testes aplicados durante o desenvolvimento, aqueles que deverão ser reexecutados durante a manutenção, levando em consideração as modificações realizadas na aplicação. A estratégia proposta é resultado da análise das estratégias hoje existentes para testes de regressão, buscando identificar dentre as mesmas, aquela cujos princípios mais se adequassem ao contexto de manutenção de aplicações Web. Também é apresentada a ferramenta ¿FireWeb¿, a qual automatiza muitos dos passos da estratégia proposta, tornando o processo mais rápido e barato / Abstract: The fast Internet diffusion and the new technologies are producing a significant growth in the Web applications demand, whereas more and more requisites such as user-friendly interface, dependability, functioning and security are being required. This work suggests the strategy of using regression tests made for Web applications, which in this case, are meant to help the Web applications testers in the task of selecting among the applied tests during the developing phase, those which will have to be re-run during the maintenance, taking into consideration the changes made in the application. The strategy presented is the result of the analysis of the existing regression tests, with the purpose of identifying among them, those that principles fit more adequately to Web applications maintenance context. The FireWeb tool is also presented; it makes several steps of the presented strategy automatic making the process faster and cheaper / Mestrado / Engenharia de Software / Mestre em Computação

Orientador : Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-31T23:15:35Z (GMT). No. of bitstreams: 1 Uber_FlavioRogerio_M.pdf: 2367377 bytes, checksum: 0e8a8f216f118ab15a844a5c1423ea52 (MD5) Previous issue date: 2001 / Resumo: As máquinas finitas de estados estendidas (MFEE) são muito utilizadas para a especificação de protocolos. Por essa razão existem muitas técnicas baseadas nesse modelo, usadas nos testes de conformidade, os quais servem para determinar se uma determinada implementação satisfaz a sua especificação. Com o objetivo de dar suporte à geração de testes a partir de MFEE foi construída no Instituto de Computação da UNICAMP a ferramenta CONDADO. Até então essa ferramenta implementava os métodos de testes de transição, para cobrir a parte de controle. Com relação à parte de dados (referente ao formato das interações bem como aos valores dos parâmetros dessas interações) eram utilizados os testes de sintaxe e os testes baseados em classes de equivalência. Este trabalho implementa uma extensão à CONDADO visando melhorar a estratégia de geração de dados de teste por parte desta ferramenta. Em vez dos testes baseados em classes de equivalência são usados testes de domínios que consideram os predicados associados às transições da MFEE . Com isso foi reduzido o número de casos de teste correspondentes a caminhos não executáveis. Acredita-se ainda na melhora do potencial para detecção de falhas com dados de teste próximos aos limites do domínio, o que deverá ser analisado futuramente / Abstract: Extended Finite State Machine (EFSM) are much utilized in protocoI specification. For testing it there are many techniques, used in conformance testing. Conformance testing of communication protocols aims at verifying that the externaI behaviour of a protocoI implementation complies with th protocoI specification. To test EFSM based specifications was developed CONDADO tooI, in Computing Institute (UNICAMP). This tooI combines different specification-based test methods: transition testing for the controI part of a protocoI and syntax and equivalence partitioning fot the data parto. This work develops a CONDADO extension, intending to improve data generation. Equivalence partitioning will be substituted by domain testing to consider the predicates associated with transitions. With domain testing will be decreased the number of case tests corresponding to non-executable paths / Mestrado / Mestre em Ciência da Computação