GAmera is an open-source WS-BPEL mutation testing framework which uses genetic algorithms to reduce the number of mutants required.
We are currently working to release the first stable version of GAmera soon. If you want to get further information you can write an e-mail to: juanjose.dominguez [at] uca.es....
MEdit4CEP is a model-driven solution for real-time decision making in Event-Driven Service-Oriented Architecture (SOA 2.0). Its main aim is to make domain experts' tasks of defining both event patterns – situations of interest to be detected – and alerts for real time notification easier, hiding all implementation details from them....
- MuCPP Mutation Tool
MuCPP is a mutation testing tool for the C++ programming language. The tool includes class-based and traditional-based mutation operators which are applied using the Clang compiler. MuCPP is not subject to a framework testing so that you can use your own test suite....
Research: The Next Release Problem. In collaboration with the Software Systems Engineering Group of the University College London (UCL).
Proyecto raíz para todos los Proyectos Fin de Carrera alojados en esta forja.
- PFC Alejandro Nogueiro
Fuentes de la memoria, transparencias y otra documentación necesaria para el PFC de Alejandro Nogueiro.
UML2Hibernate is a code generator for Hibernate from UML models. The Generated code is the set of model classes implemented in Java with a set of JPA 2.0 annotations. These classes, through Hibernate, are used to add persistence to our code. UML models will have a set of annotations in order to transform them correctly....
Este proyecto aloja el código fuente de la memoria del Proyecto Fin de Carrera de Cristina Jiménez Gavilán, Analizador de Servicios Web basados en WSDL 1.1 para pruebas paramétricas. El código fuente está disponible en WS-BPEL Testing Tools, bajo sources-fm:source:trunk/src/ServiceAnalyzer....
- Plugin MoDAS
MoDAS is a methodology and tool for Model-Driven Adaptable Services.
PTAC (Passive Testing with Asynchronous Communications) is a passive testing tool developed by Azahara Camacho Magriñán and Inmaculada Medina-Bulo from UCASE Research Group of Universidad de Cádiz and Mercedes G. Merayo from Universidad Complutense de Madrid....
Takuan is an open-source WS-BPEL dynamic invariant generator which can infer invariants from WS-BPEL process definitions by generalizing from a set of samples of their data and control flows. It leverages modified versions of the ActiveBPEL WS-BPEL engine, the Daikon dynamic invariant generator and the BPELUnit unit testing framework....
This project hosts the source code and documentation for the SODM+T toolset which assists the SODM+Testing model-driven SOA methodology. SODM+Testing extends the SODM methodology developed by the Kybele research group with testing aspects. For installation instructions, please check the wiki....
- User Support Area
Support area for the users of this forge. Please post any problems or questions about the forge itself here.
Zona de soporte para los usuarios de la forja. Por favor, envíe cualquier problema o pregunta que tenga sobre la forja aquí.
- WS-BPEL Composition Repository
Repository of WS-BPEL 2.0 process definitions, based on various sources. Each process definition includes the XML Schema and WSDL files required to run it.
- WS-BPEL Testing Tools
This project hosts the source code repository and wiki for the Takuan, GAmera and other WS-BPEL testing projects developed inside the UCASE research group of the Computer Languages and Systems Departament of the University of Cádiz.
- Eclipse Update Site
Project for access control of the DAV area which will host our Eclipse update site.
A small Java agent that allows for automatically invoking the muJava mutation system for generating and running mutants.
- UCASE fork of ActiveBPEL 4.1
Unofficial fork of the GPL-licensed source code of ActiveBPEL 4.1, with modifications made by the UCASE research group. Some minor bugs have been squashed and the code has been Mavenized.
The repository also contains an updated version of the PLASTIC release of the Dynamo monitoring platform. It is located in the "dynamo" branch. Installation instructions are available in the included README-DYNAMO.txt file....
- Coverage-Based Quality Metric
The definition of quality metrics to estimate the mutation operator effectiveness can help us identify the most valuable mutation operators and, eventually, a subset of operators providing a similar performance than the whole set.
The Coverage-Based Quality Metric aims to value mutation operators depending on their usefulness to refine a test suite. The novelty of this quality metric is that it tackles the coverage of the test suite, as not all the mutants are executed by all the test cases. This metric works under the following two assumptions:...
Generic XML-based data-driven pipelined document viewer, with support for ACL2 3.x proofs, YAML files and BPELUnit XML reports.
Also available in: Atom