Online testing with model programs
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Model-Based Software Testing and Analysis with C#
Model-Based Software Testing and Analysis with C#
Protocol Modeling with Model Program Composition
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Filtering test models to support incremental testing
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Service Oriented Computing and Applications
Hi-index | 0.03 |
We show how model-based on-the-fly testing can be applied in the context of web applications using the NModel toolkit. The concrete case study is a commercial web-based positioning system called WorkForce Management (WFM) which interacts with a number of other services, such as billing and positioning, through a mobile operator. We describe the application and the testing, and discuss the test results.