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.
Existing enterprise management information system database design commonly uses relational database management mode. This organization within the enterprise rich and diverse types of data is simplified as a two-dimensional table. This approach has limitation. In this paper, for the data organization, we propose to use category theory. Taking data as an object, by defining data relationships through...
This work proposes an on-the-fly testing approach for Web applications based on automaton theory. Web applications and test directives which are used to select test cases are modeled by FSM (Finite State Machine). Synchronous product is used to combine these two kinds of FSMs in order to check whether the SUT (System Under Test) includes the behavior expressed by the test directive. Test cases are...
Web testing is a promising technique to ensure the high quality of Web applications. This work regards a Web application as the composition of different interacting components. A composite component consists of several other components. A Component Interaction Diagram (CID) is constructed from the specification of the Web application under test. The CID is described in XML fashion. For each component,...
An approach is proposed to refining service oriented specification model into an application architecture model using model-theoretic interpretation mapping. The service-oriented feature model is employed to describe the application specification and component-based application model to describe the application architecture. The application specification and application architecture are represented...
This paper proposes a practical test model and test approach for Web applications based on use cases and their corresponding sequence diagrams. Large Web applications are modeled as hierarchical profile use-case diagrams called UCTM (use case transition model). From the hierarchical UCTM, the sequential dependency relationship of use cases can be gained. Traversing the UCTM from top to down, each...
Web applications can only be accessed through dedicated client systems called Web browsers. Most current Web browsers offer many tools or facilities for Web page revisiting, including the back and forward buttons, refresh, favorites, link menu and history lists etc. Users can press the back or forward buttons to negatively influence the behaviors of Web application navigation. Existing navigation...
The semantic WS specification OWL-S is used to describe the application logic of composite service process. There is a need for formal modeling and analyzing techniques for reliable Web services and their composition because of dynamic and complex service composition process. In order to reduce the complexity of model, we use Petri nets to model atomic processes and seven basic structures of the Web...
This work illustrates the architecture of semantic Web and data model of RDF, and elaborates on RDF's formal system, whose descriptive mechanism is demonstrated with two examples, including the formalization of relational calculus and logic inference. In the end, it concludes that RDF is a formal specification method, which is a binary relation.
To ensure the requested quality of Web applications as expected, it is critical and challenging to test them. This work defines Web application schema and constructs Web application relation graph in order to model Web applications. An approach to generating test paths is presented by establishing path-generating graph which is derived from the Web application relation graph and used to produce path...
The improved mailbox-based mobile agent communication scheme is combined with a multi-path message forwarding network to implement location transparency and ensure the message deliver reliability, even if there exists broken nodes in communication links in the condition that the number of the broken nodes is not more than the given degree n. It also provides an effective solution to overloading problem...
In order to ensure the security and reliability of Web application, the testing of Web application is one of the most effective methods. This work regards a Web application as the composition of different interactive logical components (LCs). We combine LCs with agent to assist to automatic generate test cases for testing Web applications. From pages-flow-diagram (PFD) of Web application under test,...
Borrowing the thoughts of component interaction, the concept of Logic Component (LC) is proposed, and a Web application is divided into LCs which is mapped into the actual physical components finally. This paper supposes that each component and LC is a black box which has been well tested. So Web applications can be regarded as a set of interactive components. It mainly concentrates on testing the...
Web applications can only be accessed through dedicated client systems called Web browsers. Most current Web browsers offer many tools or facilities for Web page revisiting, including the Back and Forward buttons, Bookmarks and History lists. These tools or facilities, on the one hand, help the users find the necessary information in hypermedia space; on the other hand, however, they also confuse...
This work employs and extends the Gaia methodol- ogy to design a formal open framework based on agent for automatically testing Web applications. In our framework, each test task corresponds to a role and the agent takes this role to achieve its test task or co- operates by interaction with other agent to finish the test tasks. The agent can not only join or leave agent society at will, but also take...
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...
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.