Processo de depuração depois do teste: definição e análise.

O objetivo da realização deste trabalho foi analisar em detalhes o processo de depuração que ocorre depois da atividade de teste. Por tanto, vários processos de depuração de software foram analisados. Baseado nessa análise foi definido um processo de Depuração depois do teste (DDT) que enfativa os seguintes aspectos: identificação, avaliação e refinamento sucessivo de sintomas internos até a localização do defeito; e tipo de informação de teste utilizada. Várias técnicas de depuração foram então avaliadas em termos de mecanismos de apoio ao processo DDT e quanto a sua escabilidade para programas reais. Dessa avaliação, observou-se que os resultados do teste sistemático de software, quando utilizado na depuração, resultam em técnicas de baixo custo e com maiores perspectivas de escabilidade para programas reais. Infelizmente, esses resultados têm sido utilizados apenas para apoiar um dos aspectos do processo DDT- identificação de sintomas internos. Essa observação motiva a definição de estratégias de depuração que utilizem, de maneira eficaz e eficiente, as informações de teste na avaliação e no refinamento de sintomas internos.bitstream/CNPTIA/9957/1/bolpesq5.pdfAcesso em: 28 maio 2008

Dynamic code coverage with progressive detail levels

Tese de Mestrado Integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 201

Requirements for a software maintenance support environment

This thesis surveys the field of software maintenance, and addresses the maintenance requirements of the Aerospace Industry, which is developing inige projects, running over many years, and sometimes safety critical in nature (e.g. ARIANE 5, HERMES, COLUMBUS). Some projects are collaborative between distributed European partners. The industry will have to cope in the near and far future with the maintenance of these products and it will be essential to improve the software maintenance process and the environments for maintenance. Cost effective software maintenance needs an efficient, high quality and homogeneous environment or Integrated Project Support Environment (IPSE). Most IPSE work has addressed software development, and lias not fully considered the requirements of software maintenance. The aim of this project is to draw up a set of priorities and requirements for a Maintenance IPSE. An IPSE, however can only support a software maintenance method. The first stage of this project is to deline 'software maintenance best practice' addressing the organisational, managerial and technical aspects, along with an evaluation of software maintenance tools for Aerospace systems. From this and an evaluation of current IPSEs, the requirements for a Software Maintenance Support Environment are presented for maintenance of Aerospace software

TACTOPI: a playful approach to promote computational thinking to visually impaired children

Tese de mestrado em Informática, Faculdade de Ciências, Universidade de Lisboa, 2021The use of playful activities is common in introductory programming settings. Visually, these activities tend to be stimulating enough. However, these are not accessible for visually impaired children. This work presents TACTOPI - a system that consists of a tangible environment that provides navigation skills training and enriches sensorial experiences using sound, visual and tactile elements; It allows the learning of introductory concepts of computational thinking embedded in playful activities with storytelling that promote environmental education for children with visual impairments from 4 to 7 years old. The map is modular, customizable and has a docking system to place the elements allowing a fun tactile interaction. Another essential element is the 3D printed helm containing a joystick and buttons for the child to control and pre-program the instructions to be played by the robot. A study was carried out using a qualitative questionnaire to evaluate the system. Suggestions were collected from respondents experienced with blind children about the suitability, relevance and accessibility of this system for these children. From the results, it is possible to conclude that this is a tool that, despite some limitations, is efficient to introduce computational thinking; interactive elements that support activities in other disciplines and contexts; a tool that ensures accessibility and supports task training for the development of blind children

A dynamic failure model for performing propagation and infection analysis on computer programs

This thesis introduces a methodology for determining program locations where faults can easily hide. It is a program structure-based model that analyzes program flow both statically and dynamically; each program location is analyzed relative to its preceding locations and succeeding locations. A statistical model termed propagation analysis studies the relation between incorrect internal data states and their affect on the output. Infection analysis is a statistically model which studies the relation between classes of faults and internal data states. Together these two models combine to form one model of analyzing programs termed Propagation and Infection Analysis (PIA).;PIA employs aspects of both software testing methods and verification techniques. The results of PIA distinguish it from traditional verification efforts however. Verification compares a program with its specification. The ultimate goal of verification is to show the program with its specification. The ultimate goal of verification is to show the program is correct with respect to its specification. PIA characterizes a program in terms of how its failure behavior will be impacted by the presence of faults at various locations. A location which minimally impacts the failure behavior is called fault insensitive. The goal of PIA is to identify fault insensitive location. Since program correctness, safety, and reliability are all intricately connected to the presence (or absence) of faults in the code, PIA therefore provides information useful in quantifying the effectiveness of other verification activities.;The implementation of the propagation and infection analysis model is performed through dynamic executions of the program. Propagation analysis quantifies the impacts on a program after its internal data states have been altered; infection analysis quantifies the impacts on internal data states that common faults have once injected at program locations. The statistics gathered from both altered data states and altered locations are then used to make predictions about expected program behavior if a fault were there.;Models are also provided for applying the results from propagation and infection analysis to a variety of applications dealing with software quality assurance. These include software complexity, debugging, software testing, software reliability, software security, and probable correctness

Intergenerationality in a Digital World: Proposals of Activities:Bilingual (EN and PT)

A educação para os media tem ganho um grande fôlego nos últimos anos, porém ainda precisa de passos de gigante, muito em especial ao nível da forma como é tratada e enraizada junto dos cidadãos. Este e-book surge com essa preocupação. As fichas de atividades tão diversificadas, todas elas com uma componente digital, embora não esquecendo em alguns casos a ligação a outros dispositivos não digitais e formas de estar na vida no dia a dia. Estas 20 propostas do e-book Intergeracionalidade e o mundo digital: Propostas de atividades/Intergenerationality in a Digital World: Proposals of activities tentam dar forma a uma necessidade que encontramos de fazer com que as pessoas, além das crianças e dos jovens em espaço escolar e no contexto mais formal, questionem, pensem e ajam sobre as interpelações do mundo mediático e da informação.Media Education has gained momentum in recent years, but this area still needs to be improved, especially in terms of how it is perceived and implemented among citizens. This e-book is the result of this concern. The activities are diverse and include a digital component, without forgetting the connection to other non-digital devices in daily life. These 20 proposals of the e-book Intergeracionalidade e o mundo digital: Propostas de atividades/Intergenerationality in a Digital World: Proposals of activities intend to respond to the need that people, besides children in education, question, think and act on the interpellations of a mediatised world full of information available.info:eu-repo/semantics/publishedVersio