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
Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Raul Vidal
  • Cargo

    Business Developer
  • Desde

    01 outubro 1985
  • Nacionalidade

    Portugal
  • Contactos

    +351222094106
    raul.vidal@inesctec.pt
Publicações

2011

Classification of Defect Types in Requirements Specifications: Literature Review, Proposal and Assessment

Autores
Margarido, IL; Faria, JP; Vidal, RM; Vieira, M;

Publicação
SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I

Abstract
Requirements defects have a major impact throughout the whole software lifecycle. Having a specific defects classification for requirements is important to analyse the root causes of problems, build checklists that support requirements reviews and to reduce risks associated with requirements problems. In our research we analyse several defects classifiers; select the ones applicable to requirements specifications, following rules to build defects taxonomies; and assess the classification validity in an experiment of requirements defects classification performed by graduate and undergraduate students. Not all subjects used the same type of defect to classify the same defect, which suggests that defects classification is not consensual. Considering our results we give recommendations to industry and other researchers on the design of classification schemes and treatment of classification results.

2007

Towards the Integration of Visual and Formal Models for GUI Testing

Autores
Paiva, ACR; Faria, JCP; Vidal, RFAM;

Publicação
Electronic Notes in Theoretical Computer Science

Abstract
This paper presents an approach to diminish the effort required in GUI modelling and test coverage analysis within a model-based GUI testing process. A familiar visual notation a subset of UML with minor extensions is used to model the structure, behaviour and usage of GUIs at a high level of abstraction and to describe test adequacy criteria. The GUI visual model is translated automatically to a model-based formal specification language (e.g., Spec{music sharp sign}), hiding formal details from the testers. Then, additional behaviour may be added to the formal model to be used as a test oracle. The adequacy of the test cases generated automatically from the formal model is accessed based on the structural coverage of the UML behavioural diagrams.

2005

A model-to-implementation mapping tool for automated model-based GUI testing

Autores
Paiva, ACR; Faria, JCP; Tillmann, N; Vidal, RAM;

Publicação
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS

Abstract
This paper presents extensions to Spec Explorer to automate the testing of software applications through their GUIs based on a formal specification in Spec. Spec Explorer, a tool developed at Microsoft Research, already supports automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a Net assembly. The tool described in this paper extends Spec Explorer to automate GUI testing: it adds the capability to gather information about the physical CUI objects that are the target of the user actions described in the model; and it automatically generates a Net assembly with methods that simulate those actions upon the GUI application under test. The GUI modelling and the overall test process supported by these tools are described. The approach is illustrated with the Notepad application.

2004

Automated specification-based testing of interactive components with asmL

Autores
Paiva, ACR; Faria, JCP; Vidal, RFAM;

Publicação
CEUR Workshop Proceedings

Abstract
It is presented a promising approach to test interactive components, supporting the automatic generation of test cases from a specification. The relevance and difficulties (issues and challenges) associated with the testing of interactive components are first presented. It is shown that a formal specification with certain characteristics allows the automatic generation of test cases while solving some of the issues presented. The approach is illustrated with an example of automatic testing of the conformity between the implementation of a button, in the .Net framework, and a specification, written in the AsmL language, using the AsmL Tester tool.The conclusion discusses the characteristics of the tool and gives directions for future work.

2003

Specification-based testing of user interfaces

Autores
Paiva, ACR; Faria, JCP; Vidal, RFAM;

Publicação
INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION

Abstract
It is proposed an approach to integrate formal methods in the software development process, with an emphasis on the user interface development. The approach covers the specification by means of formal models, early model animation and validation, construction and conformity testing of the user interface implementation with respect to the specification. These conformity tests are described in detail through a state transition model with an abstraction function mapping concrete (implementation) to abstract (specification) states and operations. In order to illustrate the approach, it is presented a simple login/password dialog specification in VDM++, using a reusable control specification library, with a straightforward translation to Java or C#.