Model-Based Testing Through a GUI

Kervinen, Antti; Maunumaa, Mika; Pääkkönen, Tuula; Katara, Mika

doi:10.1007/11759744_2

Cited by 25 publications

(23 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(Kervinen et al, 2006) meet most of our requirements to the modelling method for CMS. Such LTSs are able to provide the basis of MBT implementation.…”

Section: Outside the Umlmentioning

confidence: 99%

See 1 more Smart Citation

A Test Generator for Model-Based Testing

Roubtsova¹,

Roubtsov

2014

Proceedings of the Fourth International Symposium on Business Modeling and Software Design

View full text Add to dashboard Cite

Abstract:The idea of software testing by software itself drives the attempts of creation of model based testing approaches. Model based testing relies on models, that encode the desired behaviour of a system, the relevant behaviour of its environment; however, both the static and the behaviour models are not directly applicable for model based testing. The models should be different from implementation and possess the observational consistency allowing preservation behaviour of parts in the behaviour of the whole. The models need to be built into a tool for preparation of the model and data for test generation. This paper proposes to use protocol models for model based testing. A protocol model presents the external behaviour. Unlike other modelling approaches, the Protocol Modelling semantics incorporates data into the model. This property gives us advantages for the choice of the strategy of test generation. The main contribution of the paper is a combination of algorithms for test generating from a protocol model. The preparation of a protocol model for test generation and the results of test generation are illustrated with an example.

show abstract

“…(Kervinen et al, 2006) meet most of our requirements to the modelling method for CMS. Such LTSs are able to provide the basis of MBT implementation.…”

Section: Outside the Umlmentioning

confidence: 99%

“…For example, the Labelled Transition Systems (LTSs) used by Kervinen at al. (Kervinen et al, 2006) (s 0 , S, E, T ) ( s 0 is an initial state; S -a set of states; E is a set of events; T ⊆ S × E × S) is a deterministic model. There is no state in which any output transition share the same action name.…”

Section: Outside the Umlmentioning

confidence: 99%

A Test Generator for Model-Based Testing

Roubtsova¹,

Roubtsov

2014

Proceedings of the Fourth International Symposium on Business Modeling and Software Design

View full text Add to dashboard Cite

show abstract

“…Kervinen et al [26] present a formal model and architecture for testing concurrently running applications. The behavior of the system under test is specified as a labeled transition system.…”

Section: Related Workmentioning

confidence: 99%

Automating GUI testing for Android applications

Neamtiu

2011

Proceedings of the 6th International Workshop on Automation of Software Test

235

136

View full text Add to dashboard Cite

Users increasingly rely on mobile applications for computational needs. Google Android is a popular mobile platform, hence the reliability of Android applications is becoming increasingly important. Many Android correctness issues, however, fall outside the scope of traditional verification techniques, as they are due to the novelty of the platform and its GUI-oriented application construction paradigm. In this paper we present an approach for automating the testing process for Android applications, with a focus on GUI bugs. We first conduct a bug mining study to understand the nature and frequency of bugs affecting Android applications; our study finds that GUI bugs are quite numerous. Next, we present techniques for detecting GUI bugs by automatic generation of test cases, feeding the application random events, instrumenting the VM, producing log/trace files and analyzing them post-run. We show how these techniques helped to re-discover existing bugs and find new bugs, and how they could be used to prevent certain bug categories. We believe our study and techniques have the potential to help developers increase the quality of Android applications.

show abstract

“…The background of our approach has been introduced previously in [5,9,10,11]. In this paper, based on earlier work [12,13], the MBT service interface is presented in detail.…”

Section: Introductionmentioning

confidence: 99%

Model-Based Testing Service on the Web

Jääskeläinen

Katara

Kervinen

et al. 2008

Testing of Software and Communicating Systems

Self Cite

View full text Add to dashboard Cite

Abstract.Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in industrial contexts. We are developing a domain-specific MBT solution for graphical user interface (GUI) testing of Symbian S60 smartphone applications. We believe that such a tailor-made solution can be easier to deploy than ones that are more generic. In this paper, we present a service concept and an associated web interface that hide the inherent complexity of the test generation algorithms and large test models. The interface enables an easy-to-use MBT service based on the well-known keyword concept. With this solution, a better separation of concerns can be obtained between the test modeling tasks that often require special expertise, and test execution that can be performed by testers. We believe that this can significantly speed up the industrial transfer of model-based testing technologies, at least in this context.

show abstract

Model-Based Testing Through a GUI

Cited by 25 publications

References 7 publications

A Test Generator for Model-Based Testing

A Test Generator for Model-Based Testing

Automating GUI testing for Android applications

Model-Based Testing Service on the Web

Contact Info

Product

Resources

About