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.
During the development process of Web application, two essential phases are software testing and code refactoring. However, automatic testing script plays an important role in test automation. It has been a hot research topic in Web application. In order to refactor the JavaScript code of Web application more conveniently, an approach to automatic script generation from the defined test case is introduced...
Building a simplified model for testing complex software system has been highlighted for optimizing test generation. This paper presents an approach to generating the constrained FSM with the scenario. Firstly, we use FSM to describe the behavior model of the target system. Then, we study the method of modeling scenarios with UML diagrams, including use case diagram, activity diagram, sequence diagram...
Web service has been an important solution to achieve resource sharing and application integration in the Internet era, which can develop the most promising software application with the on-demand changing computing paradigm, through service reuse and dynamic synthesis. Now, more and more enterprises and organizations have taken part in the emerging service software industry, expand their cooperation...
With the increasing complexity of Web applications, ensuring the reliability of Web applications becomes an enormous challenge. Statistical Web testing, proposed by researchers in recent years, is an appropriate approach to testing Web applications and to estimating their reliability. However, most of the researchers only focus on estimating the overall reliability of Web applications. They only discuss...
Network, such as Internet and Intranet, has penetrated into people's daily life. Router is one of the essential equipments which take an important role in the network and form a large and complicated network. However, huge amounts of routers in the network make the network communication and data routing more complex. How to insure the reach ability and correct communication of Internet is a challenge...
Effective testing can develop quality software with higher productivity at a lower cost. Redundancy in the test suite increases the execution cost and consumes scarce project resources. Due to time and resource constraints in testing, test suite reduction techniques are required to remove those redundant test cases from the test suite. Since Weighted Set Covering Techniques can be used to resolve...
As Web applications evolve, their structure may be-come more and more complex. Web frameset is used to organize multiple frames and nested framesets to make the layout of some Web pages more identical and bring the development of Web applications easier, which was wildly used in today's Web applications. How to model and verify the frameset-based Web applications is a challenge. In this paper, special...
The Web service composition (WSC) has been widely used in Service-Oriented Architecture (SOA), which is an effective integration of the distributed and heterogeneous business applications. In contrast to the component-based software, dynamic reconfiguration occurs more frequently in Web services-based software for self-adapting and self-managing their computing capabilities due to the uncertainty...
There are many variants of Petri net at present, and some of them can model system with both function and performance specification, such as stochastic Petri net, and generalized stochastic Petri net. In order to address the issue of modeling system with probabilistic behaviors, a kind of Petri net with probability (probabilistic Petri net, PPN) is proposed in this paper. Then an action-based PCTL...
As Web services are becoming more and more complex, there is an increasing concern about how to guarantee the correctness and safety of Web services composition. This has driven many researchers to study the performance analysis of dynamic atomic service selection, as well as functional verifications. In this paper, we focus on not only modeling the behaviors of atomic service, but also verifying...
Due to the stochastic nature and time constrains, it is important to quantitatively verify the reliability of Web applications as well as the usability. However, the reliability involves different kinds of QoS metrics, which is hard to be verified by the "yes" or "no" assertion in general model checking. This paper proposes a verification approach to analyzing the performance of...
Web services composition is a new software development paradigm, and it is a key point to achieve serviceoriented computing currently. For meeting the QoS requirements of consumers, this paper presents the QoS calculation rules and formalizes the services composition as the combinatorial optimization problem. In order to solve services composition, a new algorithm based on QPSO algorithm is proposed,...
With a good understanding of mobility mechanisms of WS-CDL, we can easily design applications that acquire, during the execution, all the information they need to invoke services. One of the means to ensure good interoperability between Web services is to formalize their mobility characteristics. Process algebras, such as π-calculus can be used to formalize Web Services characteristics and ensure...
High quality test cases can effectively detect software errors and ensure software quality. However, except the regular expression-based test generation method, test cases generated from other model-based test generation methods have not contain the whole information of the model, resulting in test inadequacy. And test cases derived from regular expression have the prohibited lengths that cause the...
Web services are a very appropriate communication mechanism to perform distributed business processes among several organizations. These processes should be reliable, because a failure in them can cause high economic losses. In this paper, we present an approach to verify Web Service applications with time restrictions which are defined by BPEL4WS using model checking techniques. We introduce a formalism,...
As Web applications evolve, their structures become more and more complex. Web browsers may influence on the correctness of the Web applications, and Web browser's interactions can cause further complications of Web application. Existing navigation models are static ones on the whole. Users' navigation paths are all determined on stage of model design. Web browser interactions have not been taken...
Compared with traditional software testing, Web application testing is quite different. It has become increasingly important to choose appropriate criteria during the testing. This paper presents a set of test adequacy criteria for FSM-based Web application, and proposes two new test criteria: complete function interaction coverage criteria and function loop interaction coverage criteria. Besides,...
FSM-based testing can obviously reduce the cost of test generation. So many FSM-based test generation methods have been presented to generate effective test sequences. Most of them need to construct the characterizing set of the FSM. However, there are two disadvantages in the existing algorithm for building the characterizing set. One is that time efficiency of the algorithm is hard access to our...
System behaviors are implemented through interacting between components during the method of component-based software development. Therefore, how to formal the component behaviors have become an important problem. This paper presents a component behavioral modeling method based on event track, which utilize a process with the event track to describe the behavior of component, the event set may be...
This paper proposes a new model checking-based test generation approach for Web applications. The Kripke structure is reconstructed to model the Web application from the end users' perspective. Test coverage criterion is expressed as trap properties in CTL so that counterexamples can be instantiated to construct test cases. But a counterexample for each trap property is generated will result in too...
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.