Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification

Reliability and trust are fundamental prerequisites for the establishment of functional relationships among peers in a Collaborative Networked Organisation (CNO), especially in the context of Virtual Enterprises where economic benefits can be directly at stake. This paper presents a novel approach towards effective service discovery and selection that is no longer based on informal, ambiguous and potentially unreliable service descriptions, but on formal specifications that can be used to verify and certify the actual Web service implementations. We propose the use of Stream X-machines (SXMs) as a powerful modelling formalism for constructing the behavioural specification of a Web service, for performing verification through the generation of exhaustive test cases, and for performing validation through animation or model checking during service selection

White-Box Testing Framework for Object-Oriented Programming based on Message Sequence Specification

Software is a crucial element in the functionality of devices and industry. Likewise, the operation of an enterprise or organization depends largely on the reliability of the software systems used for supporting the business process or particular tasks. The quality of software has become the most important factor in determining the success of products or enterprises. In order to accomplish a quality software product several methodologies, techniques, and frameworks have been developed, each of them tailored to specific areas or characteristics of the software under review. This paper presents a white-box testing framework for Object- Oriented Programming based on Message Sequence Specification. In the context of an object-oriented program, our framework can be used to test the correct order in which the methods of a class are invoked by its clients. The implementation of the framework is based on aspect-oriented programming.XV Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

White-Box Testing Framework for Object-Oriented Programming based on Message Sequence Specification

Software is a crucial element in the functionality of devices and industry. Likewise, the operation of an enterprise or organization depends largely on the reliability of the software systems used for supporting the business process or particular tasks. The quality of software has become the most important factor in determining the success of products or enterprises. In order to accomplish a quality software product several methodologies, techniques, and frameworks have been developed, each of them tailored to specific areas or characteristics of the software under review. This paper presents a white-box testing framework for Object- Oriented Programming based on Message Sequence Specification. In the context of an object-oriented program, our framework can be used to test the correct order in which the methods of a class are invoked by its clients. The implementation of the framework is based on aspect-oriented programming.XV Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

Defining and matching test-based certificates in Open SOA

Following the Service-Oriented Architecture (SOA) and the Cloud paradigms, an increasing number of organizations implement their business processes and applications via runtime composition of services made available on the cloud by single suppliers. This scenario however introduces new security risks and threats, as the service providers may not provide the level of assurance required by their customers. There is therefore the need of a new certification scheme for services that provides trusted evidence that a service has some security properties, and a matching infrastructure to compare service certificates with users' certification preferences. In this paper, we propose a first solution to the definition of a test-based certification process for SOA

White-Box Testing Framework for Object-Oriented Programming based on Message Sequence Specification

Software is a crucial element in the functionality of devices and industry. Likewise, the operation of an enterprise or organization depends largely on the reliability of the software systems used for supporting the business process or particular tasks. The quality of software has become the most important factor in determining the success of products or enterprises. In order to accomplish a quality software product several methodologies, techniques, and frameworks have been developed, each of them tailored to specific areas or characteristics of the software under review. This paper presents a white-box testing framework for Object- Oriented Programming based on Message Sequence Specification. In the context of an object-oriented program, our framework can be used to test the correct order in which the methods of a class are invoked by its clients. The implementation of the framework is based on aspect-oriented programming.XV Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

White-Box Testing Framework for Object-Oriented Programming based on Message Sequence Specification

Software is a crucial element in the functionality of devices and industry. Likewise, the operation of an enterprise or organization depends largely on the reliability of the software systems used for supporting the business process or particular tasks. The quality of software has become the most important factor in determining the success of products or enterprises. In order to accomplish a quality software product several methodologies, techniques, and frameworks have been developed, each of them tailored to specific areas or characteristics of the software under review. This paper presents a white-box testing framework for Object- Oriented Programming based on Message Sequence Specification. In the context of an object-oriented program, our framework can be used to test the correct order in which the methods of a class are invoked by its clients. The implementation of the framework is based on aspect-oriented programming

PEWS Editor, um front-end para a linguagem PEWS

Orientador: Martin A. MusicanteInclui apendiceDissertaçao (mestrado) - Universidade Federal do Paraná, Setor de Ciencias Exatas, Programa de Pós-Graduaçao em Informática. Defesa: Curitiba, 2006Inclui bibliografiaResumo: PEWS 'e uma linguagem de composi¸c˜ao de servi¸cos web. Composi¸c˜oes PEWS podem ser utilizadas para a descri¸c˜ao de servi¸cos web simples tanto quanto compostos. Servi¸cos web simples s˜ao constru'ýdos a partir de programas em Java1 enquanto que servi¸cos web compostos s˜ao constru'ýdos a partir da composi¸c˜ao de servi¸cos web j'a existentes. PEWS possui uma vers˜ao XML chamada XPEWS, permitindo que a linguagem possa ser utilizada tamb'em no n'ývel de interface. Com o objetivo de facilitar a utiliza¸c˜ao de PEWS, 'e apresentado neste trabalho o desenvolvimento de um front-end na forma de um plug-in para a plataforma Eclipse, permitindo uma maior integra¸c˜ao com outras ferramentas como editores XML, WSDL e Java. O uso do plug-in pode ajudar na redu¸c˜ao do tempo de desenvolvimento das composi¸c˜oes, permitindo verifica¸c˜ao de erros de codifica¸c˜ao e gera¸c˜ao de c'odigo XPEWS, aumentando assim a produtividade do desenvolvedor. Finalmente, um estudo de caso 'e elaborado, analisando a linguagem PEWS do ponto de vista da sua expressividade, mediante a avalia¸c˜ao da linguagem, com base em um framework composto por padr˜oes para workflow. Este estudo de caso nos permite apresentar uma compara¸c˜ao com outras linguagens de composi¸c˜ao de servi¸cos web, baseada no mesmo framewor

Automating Regression Test Selection for Web Services

As Web services grow in maturity and use, so do the methods which are being used to test and maintain them. Regression Testing is a major component of most major testing systems but has only begun to be applied to Web services. The majority of the tools and techniques applying regression test to Web services are focused on test-case generation, thus ignoring the potential savings of regression test selection. Regression test selection optimizes the regression testing process by selecting a subset of all tests, while still maintaining some level of confidence about the system performing no worse than the unmodified system. A safe regression test selection technique implies that after selection, the level of confidence is as high as it would be if no tests were removed. Since safe regression test selection techniques generally involve code-based (white-box) testing, they cannot be directly applied to Web services due to their loosely-coupled, standards-based, and distributed nature. A framework which automates both the regression test selection and regression testing processes for Web services in a decentralized, end-to-end manner is proposed. As part of this approach, special consideration is given to the concurrency issues which may occur in an autonomous and decentralized system. The resulting synchronization method will be presented along with a set of algorithms which manage the regression testing and regression test selection processes throughout the system. A set of empirical results demonstrate the feasibility and benefit of the approach

Um sistema de tempo de execução para a linguagem PEWS /

Orientador : Martin Alejandro MusicanteInclui apêndicesDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciencias Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 2006Inclui bibliografi