Tracer's gellary: smartphone case study

From WeizmannWiki
Revision as of 16:30, 18 October 2010 by Shahar.maoz (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

In recent work by Shahar Maoz, Jani Metsä, and Mika Katara (MoDELS'09), a modified version of the S2A compiler, which generates AspectC++ code rather than AspectJ code, was used to execute and monitor scenario-based test cases of a C++ application running on Symbian OS inside a Nokia smartphone (specifically, Nokia model N96). In this work, the Tracer was used to visualize and explore the progress and results of the different test execution traces.

Most relevant features in this context included the Completions view, which allowed us to identify completed, violated, and vacuous test scenarios, and the Model and Trace Properties window, showing aggregated completion-related information for the entire trace. Thus, we could easily answer questions such as which test scenarios have been violated (if any), how many times has each test scenario been completed, etc. The semantics-based filters, specifically the ones related to completion metrics, allowed us to hide the completed scenarios from the view and focus on the violated ones - those representing tests that have failed and hence require further investigation.

Due to confidentiality restrictions, some details of the study cannot be made public. Thus, all class names, method names, scenario and use case names in the examples we show are obfuscated using generic names.

Main view and overview:


Vertical filters:


Comparing global cuts: