Plastic Validation Framework Tools

Jambition

Overview Jambition is a prototype tool to automatically test the functionality of stateful Web Services based on Service State Machine (SSM) specifications. SSMs are similar to UML state machines, but tailored to the domain of Web Services. They have a precise semantics and are especially suited to perform Model-Based Testing. SSMs specify a single port type. The Web Service to be tested is assumed to be passive, meaning that only request-response and one-way operations are defined in the corresponding WSDL. Jambition supports a subset of the XML-Schema data types.

New Version “Plastic” released on August 4, 2008!

Documentation

Download

Licensing

  • GPLv3

Contact info

Minerva

Overview Apart from ShowWSDL, Minerva is not a tool on its own, but rather a companion to Jambition. It reads Service State Machine models designed with the MagicDraw UML modeling tool and generates SSM objects, which are then passed to Jambition for testing Web Services. The SSM specification can come from an XML description as well.

ShowWSDL parses a WSDL document and outputs its structure in a human readable format.

Documentation

Download

Licensing

  • GPLv3 with some exceptions to include libs

Contact info

WS-Guard

Overview WS-Guard (WS-Guaranteeing Uddi Audition at Registration and Discovery) provides an implementation of the Audition Framework previously described in the deliverable 4.1. Main idea of the Audition framework is to augment the registration phase of a service within a registry with a testing phase. Registration is then guaranteed only if the service passes the testing phase. WS-Guard to derive test cases to be applied to services requires the availability behavioral models in the form of Service State Machines (SSM)

Documentation

Download

Licensing

  • GPLv3 with some exceptions to include libs

Contact info

PUPPET

Overview

In the last years both industry and academia have shown a great interest in ensuring consistent cooperation for business-critical services, with contractually agreed levels of Quality of Service. Service Level Agreement specifications as well as techniques for their evaluation are nowadays irremissible assets. Puppet (Pick UP Performance Evaluation Test-bed) is an approach supported by an implementation tool for the automatic generation of test-beds to empirically evaluate the QoS features of a Web Service under development. Specifically, the generation exploits the information about the coordinating scenario, the service description (WSDL) and the specification of the agreements (WS-Agreement).

Documentation

Publications

  • A. Bertolino, G. De Angelis, A. Polini: ”Automatic Generation of Test-beds for Pre-Deployment QoS Evaluation of Web Services”, in Proc. of the 6th International Workshop on Software and Performance (WOSP 2007) ,Buenos Aires, 5th to 8th February 2007, available here
  • A. Bertolino, G. De Angelis, A. Polini: ”A QoS Test-bed Generator for Web S ervices” in Proc. of 7th International Conference on Web Engineering (ICWE 2007), Como, Italy, July 16-20, available here
  • A. Bertolino, G. De Angelis, Lars Frantzen, A. Polini: ”Model-based Generation of Testbeds for Web Services”. In Proc. of the 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM 2008). LNCS, Springer Verlag. Jun. 2008, Tokio, Japan, available here
  • A. Bertolino, G. De Angelis, Lars Frantzen, A. Polini: ”The PLASTIC Framework and Tools for Testing Service-Oriented Applications”. Chapter in “Software Engineering – International Summer School, Tutorial Lectures”, A. De Lucia, F. Ferrucci, Ed.s, 2008, to appear.
  • A. Bertolino, G. De Angelis, F. Lonetti, A. Sabetta: ”Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications”. In Proc. of the 34th EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (Em-SEAA 2008). IEEE. Sept. 2008, Parma, Italy, available here
  • A. Bertolino, G. De Angelis, A. Di Marco, P. Inverardi, A. Sabetta, M. Tivoli: ”A Framework for Analyzing and Testing the Performance of Software Services”, in Proc. of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), 13-15 October 2008 - Porto Sani (Kassandra, Chalkidiki) – Greece.

Download

Licensing

  • GPLv3

Contact info

SlangMon

Overview This is an Eclipse Plugin for the creation of SLA monitors based on SLAng. The Plugin is part of the SLAng Editor developed in D2.2. The monitors are based on timed automata and exploit AXIS handlers to intercept mesages.

Documentation

Download

Licensing

  • Mozilla Public Licence v.1.1 (MPL).

Contact info

Weevil

Overview

The aim if Weevil is to ease the difficulty in programming distributed experiment control scripts by generating them based on simple configuration files. It covers a two-phase experimentation process.

  • Workload generation: A distributed system workload is a time-ordered list of service calls from clients to system access points. While there are many ways to create such workloads, they are still not flexible enough. Our approach to workload generation is to perform an off-line simulation of expected client behavior and record the resulting service calls. During an experiment run, these service calls are provided as inputs to the subject system.
  • Experiment deployment and execution: This activity applies a workload to a system and gathers runtime data. To achieve this, the subject system, the workload, and the framework codes are first deployed across an experimentation testbed and then configured. Next, the system is started and stimulated by the execution of service calls at the times and locations dictated by the workload. When the experiment terminates, output and diagnostic data are collected from across the testbed to facilitate efficient data analysis and reduction.

Weevil consists of a synthetic-workload generator coupled with an environment for managing the deployment and execution of experiments. Weevil is intended to facilitate experimentation activities for distributed systems by providing engineers with a flexible, configurable, automated and, thus, repeatable process for evaluating their software on a networked testbed. Further, Weevil is not targeted at a specific system or application model, but rather it is a generic, programmable tool. A prototype implementation of Weevil is available.

Documentation

Download

  • Weevil Version 1.2.6 released on 21/7/2008
  • Weevil Version 1.2.4 released on 27/2/2008

Licensing

Dynamo-AOP

Overview

Dynamo-AOP is a framework for monitoring functional properties of external services which a BPEL process interacts with, to realize a composite service. Its architecture is based on the dynamic aspectization of the BPEL engine executing the monitored service compositions, achieved by using AspectJ as an AOP language.

Documentation

Download

Licensing

Contact info

tools.txt · Last modified: 2008/11/06 11:50 by gulyx
chimeric.de = chi`s home Creative Commons License Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0