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.
Based on the fire software model and the digital city, aiming at applying virtual reality to fire prevention and fire scientific research, this paper proposes a fire prevention virtual reality architecture based on the 3D network game engine. This architecture uses the finite state machine (FSM) to control the dynamic loop structure. It gives a simulation platform structure that the fire developing,...
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...
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.