Benchmarks

We considered four applications from Qtopia version 1.5.0 on a Linux-based Sharp Zaurus SL-5500 PDA as our benchmarks. They are Calculator, Filebrowser, Go, and Solitaire. Calculator is as described in Section II. Filebrowser is a GUI application for listing files in the local storage. Go and Solitaire are two popular games well known by their names.

Based on an analysis of their source code, STDs were extracted for these applications. The STDs for Calculator (as shown in Fig. 2) and Filebrowser have two and five states, respectively. The STDs for Go and Solitaire only have one state, in which the game waits for the next user move.