Abstract | ||
---|---|---|
Model-based software testing can be used to generate tests automatically from a formal model describing the system under test. Along with traditional test automation, it can improve the quality of testing and reduce the resources required for it. In this chapter, we will take a look at different approaches to model-based testing, examine its benefits and drawbacks, and analyze what adopting it would entail. The focus of the chapter is on graphical user interface (GUI) testing. We will also present a case study demonstrating the ability of a model-based testing tool to produce long-period tests and run tests on multiple smartphone devices in parallel. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1016/B978-0-12-396526-4.00002-3 | ADVANCES IN COMPUTERS, VOL 85 |
Keywords | Field | DocType |
model based testing,gui testing | Black-box testing,Computer science,Manual testing,White-box testing,Non-regression testing,Theoretical computer science,Model-based testing,Human–computer interaction,Graphical user interface testing,Test strategy,Embedded system,Keyword-driven testing | Journal |
Volume | ISSN | Citations |
85 | 0065-2458 | 2 |
PageRank | References | Authors |
0.35 | 23 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rupesh Dev | 1 | 2 | 0.35 |
Antti Jääskeläinen | 2 | 32 | 5.49 |
Mika Katara | 3 | 318 | 29.78 |