Clustering of Web Application and Testing of Asynchronous Communication

2019 ◽  
Vol 10 (3) ◽  
pp. 33-59
Author(s):  
Sonali Pradhan ◽  
Mitrabinda Ray ◽  
Srikanta Patnaik
Keyword(s):  
User Interfaces ◽  
Web Application ◽  
Asynchronous Communication ◽  
Web Pages ◽  
Test Cases ◽  
Input Output ◽  
Model Based Testing ◽  
Finite State ◽  
Asynchronous Javascript And Xml ◽  
Logical Functions

In model-based testing, testing is done using Input Output Transition System (IOTS) or Finite State Machine (FSM). In synchronous testing, it is easy to know the proper sequence of input output of the system under testing, whereas, in asynchronous communication, it is tough to trace the sequences of inputs and outputs. A web application is an example of asynchronous processing, in which input/output queue management is a common issue for testing in asynchronous JavaScript and XML user interfaces. This article discusses asynchronous testing of web application by taking a Gmail account as a case study. In this article, the web application is partitioned into clusters by determining logical web pages that implement logical functions. The clusters of page objects are represented using finite state machines. From the FSMs, test scenarios are generated. The size of the test cases covering longer paths is decreased by making clusters of states. The authors conduct a queue analysis using a test architecture to investigate the behavior of the system under testing. Finally, the test cases are generated using the Selenium tool.

Morpheus Web Testing: A Tool for Generating Test Cases for Widget Based Web Applications

2021 ◽  
Author(s):  
Romulo de Almeida Neves ◽  
Willian Massami Watanabe ◽  
Rafael Oliveira
Keyword(s):  
User Interfaces ◽  
Web Application ◽  
Web Applications ◽  
Test Cases ◽  
Code Coverage ◽  
Web Testing ◽  
The Cost ◽  
Software Lifecycle ◽  
The Web

Context: Widgets are reusable User Interfaces (UIs) components frequently delivered in Web applications.In the web application, widgets implement different interaction scenarios, such as buttons, menus, and text input.Problem: Tests are performed manually, so the cost associated with preparing and executing test cases is high.Objective: Automate the process of generating functional test cases for web applications, using intermediate artifacts of the web development process that structure widgets in the web application. The goal of this process is to ensure the quality of the software, reduce overall software lifecycle time and the costs associated with tests.Method:We elaborated a test generation strategy and implemented this strategy in a tool, Morpheus Web Testing. Morpheus Web Testing extracts widget information from Java Server Faces artifacts to generate test cases for JSF web applications. We conducted a case study for comparing Morpheus Web Testing with a state of the art tool (CrawlJax).Results: The results indicate evidence that the approach Morpheus Web Testing managed to reach greater code coverage compared to a CrawlJax.Conclusion: The achieved coverage values represent evidence that the results obtained from the proposed approach contribute to the process of automated test software engineering in the industry.

scholarly journals Pancreatlas™: applying an adaptable framework to map the human pancreas in health and disease

2020 ◽  
Author(s):  
Diane C. Saunders ◽  
James Messmer ◽  
Irina Kusmartseva ◽  
Maria L. Beery ◽  
Mingder Yang ◽  
...  
Keyword(s):  
User Interfaces ◽  
Web Application ◽  
Spatial Information ◽  
Application Programming Interface ◽  
Original Data ◽  
Web Pages ◽  
Human Pancreas ◽  
Scanning Confocal Microscopy ◽  
Health And Disease ◽  
Application Programming

SummaryHuman tissue phenotyping generates complex spatial information from numerous imaging modalities, yet images typically become static figures for publication and original data and metadata are rarely available. While comprehensive image maps exist for some organs, most resources have limited support for multiplexed imaging or have non-intuitive user interfaces. Therefore, we built a Pancreatlas™ resource that integrates several technologies into a novel interface, allowing users to access richly annotated web pages, drill down to individual images, and deeply explore data online. The current version of Pancreatlas contains over 800 unique images acquired by whole-slide scanning, confocal microscopy, and imaging mass cytometry, and is available at https://www.pancreatlas.org. To create this human pancreas-specific biological imaging resource, we developed a React-based web application and Python-based application programming interface, collectively called Flexible Framework for Integrating and Navigating Data (FFIND), which can be adapted beyond Pancreatlas to meet countless imaging or other structured data management needs.

scholarly journals A Method for Automated User Interaction Testing of Web Applications

2015 ◽  
pp. 28
Author(s):  
Le Khanh Trinh ◽  
Vo Dinh Hieu ◽  
Pham Ngoc Hung
Keyword(s):  
Web Application ◽  
Web Applications ◽  
User Interaction ◽  
Finite State Automaton ◽  
Web Pages ◽  
User Interactions ◽  
Compositional Model ◽  
Finite State ◽  
Interaction Testing ◽  
The Web

Automated user  interaction  testing  of  Web applications has  been  received  great  attentions  from the  research  community  and  industry.  Currently, several  available  tools are proposed to partly deal withthe problem.  However, how to perform the  automated user  interaction  testing  of  whole  Web  applications effectively  is  still  an  open  problem.   This  research proposes  a  method  and  develops  a  tool  supporting automated  user  interaction  testing  of  whole  Web applications.  In  this  method, the  model  of  each  Web page  of  the  Web  application  under  testing  which describes the user interaction (UI)  is  represented  by  a finite state  automaton. The whole model that describes the  behaviors  of  the  whole  Web  application  then  is constructed by composing the models  of all  Web pages. After  that,  test  paths  are generated automatically based  on  the  compositional  model  of  the  Web application  so  that  these  test  paths  cover  all  possible user interactions  of the application.  A tool supporting the proposed method has  been developed and  applied to  test  on  some  simple  Web  applications.    The experimental results show the potential  application  of this tool for automated user interaction  testing of Webapplications in practice

scholarly journals Model-Based Testing for MQTT Applications

2020 ◽  
pp. 47-59
Author(s):  
Kotaro Tanabe ◽  
Yoshinori Tanabe ◽  
Masami Hagiya
Keyword(s):  
Finite State Machine ◽  
State Machine ◽  
Test Cases ◽  
Testing Framework ◽  
Model Based ◽  
Model Based Testing ◽  
Finite State ◽  
Long Time ◽  
Virtual Time ◽  
The Internet Of Things

Abstract Model-based testing is a widely-used vital technique for testing software running in a complex environment. In this paper, we propose extensions to existing model-based tools to apply this technique to software that employs the MQ Telemetry Transport (MQTT) protocol for transmitting messages, commonly used in the Internet of Things (IoT) environment. First, in the finite state machine used for generating test cases in a model-based testing framework, we introduce a type of transition that is triggered when receiving MQTT messages. Second, we extend the finite-state machine so that it produces test cases that reflect the characteristics of IoT software – a large number of relatively simple devices communicate with servers. Third, the concept of time is introduced into the finite state machine. Naturally, this is necessary for verifying the properties of software that runs for a long time. Moreover, to facilitate such verification, both real-time and virtual time are introduced. We implemented these extensions into a model-based testing tool, Modbat, and conducted a small experiment to confirm the feasibility, gaining positive results.

scholarly journals Mutual Browser Conflicts Disclosure

2019 ◽  
Vol 8 (4) ◽  
pp. 1401-1405
Keyword(s):  
Web Application ◽  
Web Applications ◽  
Web Pages ◽  
Object Model ◽  
Web Page ◽  
Web Technologies ◽  
High Level ◽  
Asynchronous Javascript And Xml ◽  
Web Developers ◽  
Made In

In today’s world everything is becoming web dependent, and due to the advances made in web technologies, web developers have to face various challenges. Every web application before being deployed goes through various phases which may look different on different browsers. It becomes difficult to identify correct web page when it gives differences across different browsers. The web pages may give significant differences and it is known as cross-browser inconsistency. A technology that has gained a prominent position known as AJAX (Asynchronous JavaScript and XML), in which the combination of JavaScript and Document Object Model (DOM) manipulation, along with asynchronous server communication is used to achieve a high level of user interactivity. With this change in developing web applications comes a whole set of new challenges, One way to address these challenges is through the use of a crawler that can automatically walk through different states of a highly dynamic AJAX site and create a model of the navigational paths and states. Identifying these conflicts manually is a laborious task. Mutual browser conflict disclosure presents a mechanism to identify conflicts.

scholarly journals Input Contract Testing of Graphical User Interfaces

2016 ◽  
Vol 26 (02) ◽  
pp. 183-215 ◽  
Author(s):  
Tugkan Tuglular ◽  
Fevzi Belli ◽  
Michael Linschulte
Keyword(s):  
User Interfaces ◽  
Software Systems ◽  
Test Cases ◽  
Web Based ◽  
User Input ◽  
Interface Specification ◽  
Model Based Testing ◽  
Safety And Reliability ◽  
Graph Based Model ◽  
Web Based System

User inputs are critical for the security, safety, and reliability of software systems. This paper proposes a new concept called user input contracts, which is an integral part of a design-by-contract supplemented development process, and a model-based testing approach to detect violations of user input contracts. The approach generates test cases from an input contract integrated with graph-based model of user interface specification and applies them to the system under consideration. The paper presents a proof-of-concept tool that has been developed and used to validate the approach by experiments. The experiments are conducted on a web-based system for marketing tourist services to analyze input robustness of system under consideration with respect to user input contracts.

scholarly journals Review of Design Elements within Power Infrastructure Cyber–Physical Test Beds as Threat Analysis Environments

Energies ◽  
2021 ◽  
Vol 14 (5) ◽  
pp. 1409
Author(s):  
Bjorn Vaagensmith ◽  
Vivek Kumar Singh ◽  
Robert Ivans ◽  
Daniel L. Marino ◽  
Chathurika S. Wickramasinghe ◽  
...  
Keyword(s):  
User Interfaces ◽  
Fault Injection ◽  
Modern Society ◽  
Physical Test ◽  
Design Elements ◽  
Physical Systems ◽  
Threat Analysis ◽  
Model Based Testing ◽  
Potential Applications ◽  
Performance Validation

Cyber–physical systems (CPSs) are an integral part of modern society; thus, enhancing these systems’ reliability and resilience is paramount. Cyber–physical testbeds (CPTs) are a safe way to test and explore the interplay between the cyber and physical domains and to cost-effectively enhance the reliability and resilience of CPSs. Here a review of CPT elements, broken down into physical components (simulators, emulators, and physical hardware), soft components (communication protocols, network timing protocols), and user interfaces (visualization-dashboard design considerations) is presented. Various methods used to validate CPS performance are reviewed and evaluated for potential applications in CPT performance validation. Last, initial simulated results for a CPT design, based on the IEEE 33 bus system, are presented, along with a brief discussion on how model-based testing and fault–injection-based testing (using scaling and ramp-type attacks) may be used to help validate CPT performance.

scholarly journals Towards an Automated Model-Based Test Generation Approach from Controlled Natural Language Specifications Written in Arabic

2021 ◽  
Author(s):  
Moez Krichen ◽  
Seifeddine Mechti
Keyword(s):  
Natural Language ◽  
Test Generation ◽  
Arabic Language ◽  
Test Cases ◽  
New Model ◽  
Controlled Natural Language ◽  
Model Based ◽  
Case Grammar ◽  
Model Based Testing ◽  
Testing Approach

<div>We propose a new model-based testing approach which takes as input a set of requirements described in Arabic Controlled Natural Language (CNL) which is a subset of the Arabic language generated by a specific grammar. The semantics of the considered requirements is defined using the Case Grammar Theory (CTG). The requirements are translated into Transition Relations which serve as an input for test cases generation tools.</div>

Sign in / Sign up

Export Citation Format

Share Document