Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Regression testing is an important but extremely costly and time-consuming process. Because of limited resources in practice, test case prioritization focuses on the improvement of testing efficiency. However, traditional test case prioritization techniques emphasize only one-time testing without considering huge historical data generated in regression testing. This paper proposes an approach to prioritizing...
Test case prioritization technique aims to improve test efficiency rate by sorting test cases according to some specific criteria. Requirements play an important role throughout software testing. This paper proposes a test case prioritization method based on requirement correlations. Prioritization of requirements is defined by the users and the developers. This technique focuses on requirements with...
As Web applications are more widely used and the browser and operating system becomes more diversiform, cross-browser incompatibility becomes more and more serious which may lead to visual faults or malfunction. The existing tools are difficult to pinpoint incompatibility. We propose a model comparison-based compatibility testing method. CRAWLJAX, an open source crawler tool, is used to build the...
Web application developers have been bothered about cross-browser compatibility problems caused by different kinds of web browsers. Existing techniques and tools commonly compare and analyze screenshots of websites rendering in different browsers. In this paper, we propose a technique for statically analyzing cross-browser compatibility problems. Our approach can easily detect whether web applications...
State verification to check that the machine is in a specified state is a key technique in FSM-based conformance testing. This paper presents a special UIO sequence called CUIO which can verify as many states as possible and all transitions of FSM simultaneously. CUIO sequences are constructed by a chain algorithm which is proposed based on the traditional method of successor tree. As a result, desirable...
Graphical User Interface (GUI) provides a popular and convenient way for the user to freely interact with the systems which makes it widely used in various software applications, it has become an important and indispensable part of today's software. Owing to the characteristics of GUIs different from the traditional software, traditional test techniques and methods cannot satisfy the requirements...
Service software deployed in E-commerce and finance fields needs working under 7*24 houses mode. If any failure occurs, service reconfiguration should be immediately executed to find appropriate services from candidates in order to guarantee the availability of core business. Thus, service software cries for an effective approach to constantly adjust its form for responding to varying user requirements...
Due to the increasing popularity of web applications and modern browsers, the cross-browser compatibility issues are becoming a prevalent problem. Cross-browser incompatibilities range from minor differences in appearance to critical functional failures. Existing tools and techniques hardly help developer to detect such issues exactly. This paper presents a model of interaction transition (ITM) to...
Test case prioritization technology is to sort the test cases before the software testing designed to improve test efficiency. This paper presents a dynamic test case prioritization technique based on multi-objective. It integrates several traditional single-objective technologies so that makes it more flexible. This technology, from five dimensions, calculates prioritization values of test cases...
Taking advantage of the reusability of domain engineering artifacts and variability description, SPLE reduces greatly development costs and time-to-market. This paper presents a model-based approach to test generation for SPLs. Reusable domain test scenarios are generated from activity diagrams extended with variation points, and then test scenarios for a specific application are derived by specifying...
Due to the resource and time constraints for re-executing large test suites in regression testing, developers are interested in detecting faults in the system as early as possible. Test case prioritization seeks to order test cases in such a way that early fault detection is maximized. In this paper, we present a model-based heuristic method to prioritize test cases for regression testing, which takes...
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...
The problem of redundancy among test sequences derived from different FSM-based test coverage criteria often emerges in practice, resulting in the increasing of test cost of software. To solve this problem, a novel approach by way of string matching to eliminating redundancy among test sequences is presented in the paper. Four types of redundancies of test sequences are described and the corresponding...
Data-intensive Web applications have been expanding rapidly, it is necessary to assure their correctness. In this paper, we propose an approach to the verification of Data-intensive Web applications. The design of a Web application is described in WebML, and then transformed into the Kripke structure. Computation Tree Logic (CTL) is employed to define the properties to be verified and model checker...
E-commerce has been developing rapidly around the world. We run Web application to support e-commerce. Quality of Web applications influences the functionalities and security of e-commerce. Modeling and testing are important to Quality of Web applications. Many researchers are still to find effective ways to model and test Web applications. Formal methods can improve the quality of Web applications...
Current Web services are distinguished syntactic and semantic service composition. The syntactic composition models address only the syntactic aspects of services, and lack the profile information of input and output state, so can not adapt to a changing environment without human intervention. The semantic composition models, in addition to functional information, modeling the pre- and post-conditions...
As an important method to ensure the quality of Web applications, Web testing attracts more and more attentions in the academic community and industrial world. Testing Web applications raises new problems and faces very high challenges. This work proposes a Web testing model for Web application testing. It starts from constructing the PFD (Page Flow Diagram) of the Web application. An algorithm is...
This paper focuses on automated verification to check whether the behavior of a Web application conforms to its design. The Object Relation Diagram as design model and the Kripke structure as implementation model are employed to describe the object structure and the external observable behavior of a Web application respectively. We propose an approach to automatically generating from the design model...
The capability of model checkers to construct counterexamples provides a basis for automated test generation. However, many model checking-based testing approaches just focus on generating test sets with respect to some coverage criteria. Such test sets generally are large and inefficient because of much redundancy. We propose an on-the-fly approach that performs test generation and redundancy elimination...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.