Paulo Augusto Nardi

• Professor at Federal University of Technology of Paraná

With the growth of the digital games market, the occurrence of bugs in games has a significant impact and generates dissatisfaction among users. Therefore, conducting tests is necessary to avoid these events and ensure the quality of the distributed product. Among the tests that are performed in games, one that is particularly effective in identify...

As mobile gaming is an ever-growing, competitive and profitable market, there has been an increasing demand for better quality in video game software. While manual testing is still a common practice among mobile game developers, some repetitive and error-prone tasks could benefit from test automation. For instance, test scripts that perform sanity...

This work presents an experiment with real users of a realistic three-dimensional simulation tool for confection and installation of computer networks. The experiment highlights the use of virtual simulators for vocational education applied to technology courses, with the focus being the technology course in Systems Analysis and Development. The te...

The teaching of software analysis and design can take advantage of more specific systems for engineering courses, since some of these areas focus on embedded systems and hardware components associated. In this context, this paper presents the development of an open educational resource to support the teaching of software analysis and design using t...

Este artigo apresenta um programa paraárea da fisioterapia implementado com tecnologias de controle por gestos, mapeando o corpo do paciente e rastreando o exercício durante sua execução. A base do seu funcionamento está no sistema de validação do exercício por comparação de ângulos e referências dos pontos corporais, com modelos de movimentos corr...

The design of embedded systems is often supported by the definition of executable models for tools like Matlab/Simulink or Scilab/Xcos. These models play a pivotal role in the development process and their correctness is thus extremely important. Many different solutions exist for the definition of suitable tests to “exercise” these models, but onl...

This paper presents an experiment with real users in a realistic 3D simulation tool for manufacture and installation of computer networks. The study highlights the use of virtual simulators for vocational education applied vocational courses, with the main focus on the upper reaches of Technology Analysis and Systems Development. The tests were per...

Diversas abordagem vêm sendo aplicadas para atenuar o problema do consumo de drogas por jovens e adolescentes, todas baseadas nos efeitos negativos de seu consumo. Todavia, o que se tem percebido é que este tipo de estratégia está muito aquém do convívio do adolescente. Portanto, a estratégia aqui relatada investiga o comportamento do adolescente e...

Oracles play a key role in software testing since they state the correctness of the software under test. Unfortunately, many testers tend to judge their own executions, but human oracles are error-prone, slow, and very expensive. In contrast, automated oracles are usually faster, cheaper, and much more reliable: many proposals have addressed the pr...

Test oracle methods have changed significantly over time, which has resulted in clear shifts in the research literature. Over the years, the testing techniques, strategies, and criteria utilized by researchers went through technical developments due to the improvement of technologies and programming languages. Software testing designers, known as t...

This paper presents a partially-automated solution for the definition of test oracles for validating Simulink models. Since these models are widely used for the design of embedded systems, their thorough validation is key. Errors and misunderstandings in these models may preclude the correctness and reliability of the final system: a manual, human-...

Software testing is an important and expensive activity of the software development process. Techniques and tools are essential to improve test quality and productivity. Structural testing is a technique that uses characteristics such as control-flow and data-flow structures to derive testing requirements. By exercising such testing requirements th...

Resumo. Embora seja de alto custo, a atividade de teste é de fundamental im-portância no processo de desenvolvimento de software. Técnicas e ferramentas são essenciais para a melhoria da qualidade e da produtividade na atividade de teste. A técnica de teste estrutural usa estruturas de fluxo de controle e de dados para derivar requisitos de testes....

This paper describes the implementation of the criterion all-t-uses in the coverage testing tool JaBUTi. All-t-uses is a criterion of unit test and belong to a family of structural test criteria, based on data flow, for Relational Database Applications, as much for test of unit as of integration. This paper presents basic concepts on this criterion...