The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Internet web service delivery expectations grow every year but the underlying technology does not scale naturally to deal with greater demand for services. A simple service, once becoming popular, requires the service provider to invest in powerful hardware in order to deal with sudden spike in client interest. A standard solution involves employing a content distribution network resulting in spiralling...
The design, development and testing of intelligent disaster detection and alerting systems pose a set of non-trivial problems. Not only are such systems difficult to design as they need to accurately predict real-world outcomes using a distributed sensing of various parameters, they also need to generate an optimal number of timely alerts when the actual disaster strikes. In this paper, we propose...
Web services technology provides a flexible and cost-effective paradigm to construct highly dynamic systems through service discovery, composition, and ultra-late binding. However, its new features bring great pressure to maintain Web service-based system. Based on the massive testing results, how to locate the fault points in system is a challenging task. In the paper, a two level diagnosis framework...
The rise of web services and service composition in recent years makes it necessary to pay special attentions to their robustness and integrity. One of the most ideal solutions is using testing technology, we are interested in checking whether the process satisfies a given temporal safety property, the cost of dynamic testing for distributed and heterogeneous applications is huge, so forward a static...
To increase the number of customer, companies create some programs. loyalty program is the one way to increase number of customer. Most of the companies merge, cooperate, and acquired with other companies that leads to integration of their system. The purpose of this research is to show an alternative solution to these integrations, an alternative that is easy to implement and undemanding in terms...
Research efforts have been gradually invested in online automatic business system health-checking in order to improve enterprise business capability in real-time. The paper proposes a service-based framework to automatically check the health situation of business execution in online way. Based on enterprise organizational behavior analysis, paper establishes collaborative health-checking system by...
One of the great benefits of using a Stream X-machine (SXM) to specify a system is its associated testing method. Under certain test conditions, this method produces a test suite that can determine the correctness of the implementation under test (IUT). However, the size of the test suite is generally very large, the manual test suite generation is very complex and error-prone. With the more and more...
The eXtreme Programming (XP) software development methodology has received considerable industrial attention in recent years. As a methodology which is highly responsive to customer's changing requirements, XP has been widely used in Web application developing process. As a key characteristic of XP, Test-Driven Development(TDD) can be used for refactoring the new code and ensuring the quality of the...
Web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors may still be compatible to its originally collaborative agreement. Although peer services may wish to conduct regression testing to verify the original collaboration, the source code of the former service can be inaccessible to them. Traditional code-based regression...
Although WSDL and UDDI are widely accepted as standards for web service discovery, they can not guarantee scalable, flexible and automatic service discovery. Therefore, Semantic Web Services (SWS) is proposed to ensure high-quality service discovery. However, an effective and dedicated semantic registry for SWS discovery is still desired. Accordingly, in the paper we propose an approach and implement...
Testing web services for robustness is an effective way of disclosing software bugs. However, when executing robustness tests, a very large amount of service responses has to be manually classified to distinguish regular responses from responses that indicate robustness problems. Besides requiring a large amount of time and effort, this complex classification process can easily lead to errors resulting...
Testing Service Oriented Architecture applications is a challenging task due to the high dynamism, the low coupling and the low testability of services. Web services, a popular implementation of services, are usually provided as black box and using testing techniques based on implementation is limited. This paper presents an approach to support the use of the structural testing technique on web service...
Service Oriented Architecture (SOA) provides a new generation of software architectures that attracts attention as promising way for smooth integration of loose coupled software applications. In addition to all benefits, it adds new dimensions to the complexity of designing, building, testing, deploying and maintaining Service-based applications (SBA). Research in verification and validation applied...
Increasing complexity and distribution of current software systems lead to new and more complex behavioral constraints. Consequently, testing if a given system fulfills its functional requirements becomes more crucial than ever and necessitates more powerful test oracles. In this paper, we focus on temporal requirements of critical systems. We propose a formal testing approach for specification and...
An orchestrator in a Web Service system is a locally deployed piece of software used both to allow users to interact with the system and to communicate with remote components (Web Services) in order to fulfill a goal. We propose a symbolic model based approach to test orchestrators in the context of the systems they pilot. Our approach only takes as input a model of the orchestrator and no models...
In recent years, systems have emerged that enable end users to “mash” together existing web services to build new web sites. However, little is known about how well end users succeed at building such mashups, or what they do if they do not succeed at their first attempt. To help fill this gap, we took a fresh look, from a debugging perspective, at the approaches of end users as they attempted to create...
We describe the conclusions of a technology and communities survey supported by concurrent and follow-on proof-of-concept prototyping to evaluate feasibility of defining a durable, versatile, reliable, visible software interface to support strategic modularization of test software development. The objective is that test sets and support software with diverse origins, ages, and abilities can be reliably...
Services are highly reusable, flexible and loosely coupled, which makes the evolution and the maintenance of composite services more complex. Evolution of BPEL composite service covers changes of processes, bindings and interfaces. In this paper, an approach is proposed to select and generate test cases during the evolution of BPEL composite service. The approach identifies the changes by using control-flow...
The adequate testing of black-box components is an important basis before they will be reused in the approach of Component Based Software Development. The test-data generation and test adequacy ensuring are difficult issues for the unavailability of the source code of black-box components. In this paper, an extended component interface specification model is proposed to support the component understanding,...
Virtual users with high quality are the preconditions to ensure the effect of load testing for Web applications. The existed tools for load testing usually generate virtual users with randomly choosing user sessions, manually generating user sessions or mining Log files, which causing such problems as non-real workload, subjectivity or difficult to update. Therefore we set each virtual user with a...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.