A Model Based Testing Technique to Test Web Applications Using Statecharts

Reza, Hassan; Ogaard, Kirk; Malge, A.

doi:10.1109/itng.2008.145

Cited by 20 publications

(11 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Chan et al in [77] The previous models-based for testing web applications in the following papers [79,8386]. Hassan et al in [79] discussed a model based software testing way for testing the web applications by using the StateCharts. Sebastian et al in [83] improved the method of testing the web applications by using the user session data.…”

Section: Testing Modelsmentioning

confidence: 99%

“…There are many model for testing web application such as modeling web application by using Finite State Machines (FSMs) as in [86], modeling web application by using State Charts as in [79] and also the model for testing web applications by using NModel as in [85].…”

Section: Mathematical Modelmentioning

confidence: 99%

“…We tested in the real local scenarios only web, distributed, le and real time (chatting) applications, and in the simulator we tested the same four classes in addition to highly interactive application. There are many models for testing each class of applications, like for web application [79,8386], for the distributed application [82,88,89], for the real time application [80], for mobile application [81] and the model for testing highly interactive application [87].…”

Section: Cloud Computing Applicationsmentioning

confidence: 99%

See 2 more Smart Citations

On Service Level Agreement Assurance in Cloud Computing Data Centers

Zainelabden

Ibrahim

Kliazovich

et al. 2016

2016 IEEE 9th International Conference on Cloud Computing (CLOUD)

View full text Add to dashboard Cite

SaaS is providing cloud applications like all the normal classes of applications of normal computing like the web applications, le applications, email applications, real-time applications, highly interactive applications, massive data analysis applications, high performance computing applications and mobile cloud applications. Cloud computing uses the internet data centers to host the applications and data storage and also the processing power in the addition to the virtualization. Clouds are a huge stack of easily and usefully virtualized services and resources (Like software, platform and hardware).These resources are used by people all over the world and dynamically congured to accommodate more and more load and scale to a huge number of users. This stack of resources and services is delivered to the customers by a pay-per-use model which veries that the services provided by the cloud providers are provided by means of service level agreements.In this master thesis, we present an assurance to the service level agreement between the cloud users and the cloud services providers by trying to assess and evaluate the cloud computing data centers services and applications provided to the cloud users. Also we introduce mathematical test models for the web, le, real time and distributed applications. We can use these test models to see the behavior of the applications over a long time.In this master thesis, we classify the cloud applications into 8 dierent classes of applications and then identify the failures and problems which aect these cloud applications.We classify also all failures types which may occur in cloud data centers like network failures, physical server failures, VM unavailability, individual failures racks and individual component failures. We got the important metrics for each class of applications and developed real scenarios for four classes. Then, we introduce dierent failures to these scenarios to see what is the impact in the most important metrics of applications. Then, we simulate these scenarios in Network Simulator 2. Finally, we solved and mitigated the failures in simulation by using two failure mitigation techniques. The rst one is the virtual machine migration and redundancy. The second technique is the forward error correction.Experimental results acquired over the course of this master's thesis give an assessment and verication of the cloud applications services provided by the cloud provider data centers. And also verify that the cloud data center provider gives their users the best services performance and high QoS, we use this verication to assure SLA response times metric and a good quality and performance of services as mentioned inside the SLA document. This verication will be given to the cloud customers.iii iv Acknowledgment "Today don't beg, don't ask, Just thank God in silence; for all the blessings in your life. " Paulo CoelhoThe road to want something is always guided by unseen strong currents of support from people who believe that you will do it what you have set...

show abstract

Section: Testing Modelsmentioning

confidence: 99%

Section: Mathematical Modelmentioning

confidence: 99%

Section: Cloud Computing Applicationsmentioning

confidence: 99%

See 1 more Smart Citation

On Service Level Agreement Assurance in Cloud Computing Data Centers

Zainelabden

Ibrahim

Kliazovich

et al. 2016

2016 IEEE 9th International Conference on Cloud Computing (CLOUD)

View full text Add to dashboard Cite

show abstract

“…However, when modeling a full scale GUI, the enormous set of states and transitions would be very high, turning the model very hard to work with due to its complexity. Additionally, state-charts' models can also be used for both modeling and generating test cases for GUIs [18]. The use of state-charts in GUI testing has not yet received great interest which is due to the lack of approaches and contributions to this matter.…”

Section: Model-based Gui Testingmentioning

confidence: 99%

A pattern-based approach for GUI modeling and testing

Moreira

Paiva

Memon

2013

2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)

View full text Add to dashboard Cite

User Interface (UI) patterns are used extensively in the design of today's software. UI patterns embody commonly recurring solutions that solve common GUI design problems, such as "login," "file-open," and "search." Yet, testing of GUIs for functional correctness has largely ignored UI patterns. This paper formalizes the notion of a Pattern-Based Graphical User Interface (GUI) Testing method (PBGT) for systematizing and automating the GUI testing process. The space of all possible interactions with a GUI is typically very large. PBGT presents a new methodology to sample the input space using "UI Test Patterns," that embody commonly recurring solutions to test GUIs. Our empirical studies show that the PBGT methodology is effective in revealing faults in fielded GUIs.

show abstract

“…This abates the complexity of the model and the difficulties have to be faced. In [10] a model based software testing method for the web applications is discussed. This method focuses on testing the functionalities of the front end of web applications, i.e., the linking behavior of the links and forms in web applications.…”

Section: Related Workmentioning

confidence: 99%

Model-Based Testing of Infotainment Systems on the Basis of a Graphical Human-Machine Interface

Duan¹,

Hofer

Hußmann

2010

2010 Second International Conference on Advances in System Testing and Validation Lifecycle

View full text Add to dashboard Cite

Abstract. Automotive infotainment systems were getting more and more features in recent years. The complexity of HMI (human-machine interface) softwares is growing with the increasing requirements for stability, interactions, usabilities and internationalization of the automotive markets. Testing the HMI became a very time consuming and costly task. Because of multiplicity of HMI variants, a better test coverage is a goal for the development process of most manufacturers. Model-based testing is one way to achieve a better test coverage and keep the costs and complexity acceptable. However, the existing research approaches in the area of model-based HMI testing can not satisfy the needs for our testing purposes. In this doctoral thesis a model-based testing approach will be proposed for testing both the logical behavior and the graphical interface of automotive infotainment HMIs. As an important part of the testing approach a test-oriented HMI specification model will be proposed. It is a model, which describes the theoretical behavior of the HMI and contains the necessary information for automated HMI testing. Test generation methods and the design of the tests to be generated will also be proposed. These results can be generally used for testing advanced GUI-driven applications. In the work, some infotainment specific coverage criteria will be defined. Methods will be introduced, how the generated tests can be executed automatically and how the HMI behavior of the system under test can be observed and verified.

show abstract

A Model Based Testing Technique to Test Web Applications Using Statecharts

Cited by 20 publications

References 6 publications

On Service Level Agreement Assurance in Cloud Computing Data Centers

On Service Level Agreement Assurance in Cloud Computing Data Centers

A pattern-based approach for GUI modeling and testing

Model-Based Testing of Infotainment Systems on the Basis of a Graphical Human-Machine Interface

Contact Info

Product

Resources

About