Carmen Castro-Cabrera

Universidad de Cádiz | UCA · Department of Computer Languages and Systems

Various software testing techniques have been shown to be successful in producing high-quality test suites for software where the code is not accessible (black-box approach). Nevertheless, no method has been found to guide combining some of these in a general way. In this study, a test suite generation method for black-box software called CMBMeTest...

Metamorphic Testing (MT) is a test design approach that produces “follow-up” test cases from existing ones, through the application of metamorphic relations (MRs). These MRs encode known properties about the problem being solved by the system under test. Identifying , designing and implementing the MRs is costly and error-prone. In the past, severa...

A core task in software testing is the design of test suites. Large test suites may take too long to run frequently, and test case prioritization (TCP) techniques have been proposed to speed up the detection of faults. These techniques have become increasingly popular and the number of publications has grown in recent years. Surveys have covered mo...

One of the current challenges in the context of Metamorphic Testing (MT) is the formalization and validation of metamorphic relations (MRs), as there is no single method or homogeneous way of doing it. It is a part of this software testing technique that, unlike others, is not yet developed. On one hand, the fact of having an artifact that formally...

In recent years, the focus on higher education learning has shifted from knowledge to skills, with interpersonal skills likely being the most difficult to assess and work with. Wikis ease open collaboration among peers. A number of these skills can be objectively assessed by using wikis in an educational environment: collaborative writing, conflict...

Nowadays, the impact of Web Services is quickly increasing because of transactions through Internet. The OASIS WS-BPEL 2.0 standard language allows to develop business processes by means of pre-existing Web Services and to offer themselves as a new Web Service. This makes it necessary to pay special attention to testing this type of software and pr...

Este artículo pretende plasmar una experiencia docente llevada a cabo en las titulaciones de Informática, entre dos asignaturas de diferentes cursos y titulaciones y en el marco de un proyecto de innovación y mejora docente de la Universidad de Cádiz. En concreto, se han realizado prácticas conjuntas sobre el contenido temático común de redes de am...

In recent years, the focus on higher education learning has shifted from knowledge to skills, with the interpersonal skills likely being the most difficult to assess and work with. Wikis ease open collaboration among peers. The massive adoption of computers and the Internet both in the classroom and by students makes it possible to use them for gra...

Web services compositions are being widely adopted by developers, therefore the economic impact of WS-BPEL service compositions has increased, and deeper insight on how to test them effectively is required. In fact, new software testing techniques are being developed nowadays, specially those related with applications to Web Services, because of tr...

Resumen Hoy en día, las composiciones de servicios web y el estándar OASIS WS-BPEL 2.0 juegan un papel importante en los procesos de ne-gocio. Sin embargo, asegurar la validez funcional de este tipo de software representa un reto debido a la escasez de sistemas que automaticen el proceso. Por otro lado, se están utilizando pruebas metamórficas para...

Nowadays, Web Service (WS) compositions play an important role in business processes. Languages for composing web services, such as the OASISWS-BPEL 2.0 standard, open a new field for large-scale programming. However, they also present a challenge for traditional quality assurance because of the inclusion of specific instructions for concurrency, f...