
18
Model-Based GUI Testing of Smartphone
Applications: Case S60
TM
and Linux
r
Antti J¨a¨askel¨ainen, Tommi Takala, and Mika Katara
CONTENTS
18.1 Introduction .............................................................................. 525
18.2 Background and Theory ................................................................. 526
18.2.1 TEMA toolset architecture ....................................................... 526
18.2.2 Modeling: Action words and keywords ........................................... 526
18.2.3 Test generation ................................................................... 530
18.2.4 Connectivity and adaptation ..................................................... ...