User Tools

Site Tools


PUPPET - Public Home Page

puppet_logo_small.jpg 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).

Here the link to the PUPPET User's Guide


  • 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.



  • GPLv3


labsedc/tools/puppet/public/main.txt · Last modified: 2017/02/02 22:55 (external edit)