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.
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...
A testing approach based on FSM and UML for Web applications is proposed in this paper in order to generate test cases automatically. Web applications are modeled using FSM and the test purpose which is a partial behavior of the SUT (system under testing) are specified by UML sequence diagrams, which can be converted automatically into FSM. Synchronous product is used to combine these two kinds of...
A composition method of web application is proposed in this paper using extended FSM to improve the reliability of web application. In this method, web application is dynamically modeled using extended FSM, according to parallel operation of state transition. Extended automaton includes variable on primitive constraints. Model checking tool SPIN is used to check whether web automaton meets the primitive...
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...
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.