Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HumanISE

2015

Ramex-Forum: Sequential Patterns of Prices in the Petroleum Production Chain

Autores
Tiple, P; Cavique, L; Marques, NC;

Publicação
PROGRESS IN ARTIFICIAL INTELLIGENCE

Abstract
We present a sensibility analysis and new visualizations using an improved version of the Ramex-Forum algorithm applied to the study of the petroleum production chain. Different combinations of parameters and new ways to visualize data will be used. Results will highlight the importance of Ramex-Forum and its proper parameterizations for analyzing relevant relations among price variations in petroleum and other similar markets.

2015

Evaluating Software Engineers' Acceptance of a Technique and Tool for Web Usability Inspection

Autores
Rivero Cabrejos, LJE; Rizzo Vincenzi, AM; Maldonado, JC; Conte, T;

Publicação
SEKE

Abstract
Usability is related to software quality, improving its ability to be understood, operated and attractive to users. We proposed the Design Usability Evaluation (DUE) technologies to allow identifying usability problems earlier in the development of Web applications, through the inspection of mockups. While we found that the DUE technique and tool were effective and efficient in the identification of usability problems, we saw the need to investigate their acceptance in practitioners' work environment. This paper reports the results from a study evaluating the acceptance of the DUE technologies from the point of view of software engineers. We asked questions based on the indicators from the Technology Acceptance Model and identified that a majority of the software engineers who participated in the study: (a) found the DUE technologies useful and easy to use for supporting the usability inspection process; and (b) would regularly use the DUE technologies for future inspections in their job. Nevertheless, the practitioners indicated that the technique should be refined in order to reduce the ambiguity and repetition of some of its items, while the tool should become more intuitive.

2015

Investigating the Correspondence between Mutations and Static Warnings

Autores
de Araújo, CA; Delamaro, ME; Maldonado, JC; Vincenzi, AMR;

Publicação
2015 29TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING

Abstract
This paper provides evidences on the correspondence between mutations and static warnings. We used mutation operators as a fault model to evaluate the direct correspondence between mutations and static warnings. The main advantage of using mutation operators is that they generate a large number of programs containing faults of different types, which can be used to decide the ones most probable to be detected by static analyzers. Since static analyzers, in general, report a substantial number of false positive warnings, the intention of this study is to define a prioritization approach of static warnings based on the probability they correspond to a true positive and lead to detect software faults. The results obtained for a set of open-source programs indicate that a correspondence exist when considering specific mutation operators such that static warnings may be prioritized based on their correspondence level with mutations.

2015

WAP: Cognitive Aspects in Unit Testing The Hunting Game and the Hunter's Perspective

Autores
Prado, MY; Verbeek, E; Storey, MA; Vincenzi, AMR;

Publicação
2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE)

Abstract
Humans are hunters and love the chase - they hunt for food, they hunt for bugs in software. In the last decade, testing research has gone deeper and broader to help with the challenging task of catching bugs. Much of the literature approaches the problem from a theoretical-technical perspective and is often oriented to automated solutions. Yet, there is a gap between industry testing problems and research testing solutions. We take a different perspective and consider the human component as a major part of the solution for practical testing problems. Many of these human-related issues are reported in academic surveys of practitioners. We highlight the importance of human factors in testing by introducing a hunting metaphor. We also bring attention to evidence on cognitive support demands in unit test practices. An initial framework is proposed as an effort to bring understanding of cognitive support demands, and provides direction for further research on unit testing tools which support tester skill improvement.

2015

Learning Difficulties in Computing Courses: Cognitive Processes Assessment Methods Research and Application

Autores
Pessoni, VV; Federson, FM; Rizzo Vincenzi, AM;

Publicação
SBSI

Abstract
Learning difficulties in computing courses is a situation perceived in diverse universities from different countries, cultures and backgrounds. These difficulties directly affect achievement rates and increase course evasion. We believe in the existence of a foundation of cognitive processes, that without it, even the most motivated student would have trouble to transform the received information into knowledge. This work has focused mainly on the research of candidate methods for cognitive processes assessment with a strong background theory. With this kind of information would be possible to devise cognitive interventions, in order to evolve students cognitive level, and consequently, raise their success rates. A systematic review was conducted and among the many researched methods we selected Lawson Classroom Test of Scientific Reasoning – LCTSR. Authorized by its author, we conducted the first translation of LCTSR to Brazilian Portuguese and administered to students of three undergraduate computing courses: Information Systems, Computer Science and Software Engineering. We also present results of its administration that we consider important to reinforce the above suggested strategy.

2015

Avaliação do Nível de Maturidade em Teste de Software em Micro e Pequenas Empresas do Estado de Goiás [Maturity Level Assessment in Software Testing in Small and Medium-Sized Enterprises of the State of Goias]

Autores
Araujo, AF; Rodrigues, CL; Vincenzi, AMR; Camilo Junior, CG;

Publicação
SBSI

Abstract

  • 530
  • 740