Model-Based Testing of Web Applications Using NModel

Ernits, Juhan-Peep; Roo, Rivo; Jacky, Jonathan; Veanes, Margus

doi:10.1007/978-3-642-05031-2_14

Cited by 24 publications

(32 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Nazish et al [84] introduced a model based testing to nd errors in web applications. Juhan et al in [85] introduce a model-based testing of web applications by using NModel 2 . They used webbased positioning system called WorkForce Management as a case study in their work.…”

Section: Testing Modelsmentioning

confidence: 99%

“…Saddek et 1 Input and Output. 2 NModel: "is a lightweight toolkit based on C# that can be used across dierent platforms for establishing such a domain-specic testing application [85]". Available from http://nmodel.codeplex.com 3 "Finite state machines provide a convenient way to model software behavior in a way that avoids issues associated with the implementation.…”

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%

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: Testing Modelsmentioning

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

“…The models are executable and capture a set of possible test steps and how they can be combined to produce valid test cases. To generate test cases, the test generator executes different paths through the model which is often referred as a model program [9,10]. In Figure 1, we illustrate our notation using a simple test model for a counter which can perform two functions: increase (the value of the counter by one) and decrease (the value of the counter by one).…”

Section: A Modelling Notationmentioning

confidence: 99%

“…Model programs similar to ours are used in MBT tools such as Spec Explorer [5], PyModel, NModel [10], and ModelJUnit [1]. All of these tools use variations of random search for test selection.…”

Section: Related Workmentioning

confidence: 99%

A Comparison of Three Black-Box Optimization Approaches for Model-Based Testing

Kanstrén¹,

Chećhik²

2014

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

show abstract

Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers

Artho

Banzai

Gros

et al. 2019

Software Testing Verif & Rel

View full text Add to dashboard Cite

In this paper, we extend work on model-based testing for Apache ZooKeeper, to handle watchers (triggers) and improve scalability. In a distributed asynchronous shared storage like ZooKeeper, watchers deliver notifications on state changes. They are difficult to test because watcher notifications involve an initial action that sets the watcher, followed by another action that changes the previously seen state. We show how to generate test cases for concurrent client sessions executing against ZooKeeper with the tool Modbat. The tests are verified against an oracle that takes into account all possible timings of network communication. The oracle has to verify that there exists a chain of events that triggers both the initial callback and the subsequent watcher notification. We show in detail how the oracle computes whether watch triggers are correct and how the model was adapted and improved to handle these features. Together with a new search improvement that increases both speed and accuracy, we are able to verify large test setups and confirm several defects with our model.

show abstract

Model-Based Testing of Web Applications Using NModel

Cited by 24 publications

References 4 publications

On Service Level Agreement Assurance in Cloud Computing Data Centers

On Service Level Agreement Assurance in Cloud Computing Data Centers

A Comparison of Three Black-Box Optimization Approaches for Model-Based Testing

Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers

Contact Info

Product

Resources

About