Tracer's gellary: smartphone case study - Revision history

Shahar.maoz: Smartphone moved to Tracer's gellary: smartphone case study

2010-10-18T13:30:05Z

Smartphone moved to Tracer's gellary: smartphone case study

Shahar.maoz at 13:16, 18 October 2010

2010-10-18T13:16:08Z

Shahar.maoz: New page: In recent work by Maoz, Metsä, and Katara (MoDELS'09), a modified version of the S2A compiler, which generates AspectC++ code rather than AspectJ code, was used to execute and monitor sce...

2010-10-18T12:07:00Z

New page: In recent work by Maoz, Metsä, and Katara (MoDELS'09), a modified version of the S2A compiler, which generates AspectC++ code rather than AspectJ code, was used to execute and monitor sce...

New page

In recent work by Maoz, Metsä, and 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:

[[Image: tracer-smartphone-mainviewandoverview.PNG]]

← Older revision	Revision as of 13:30, 18 October 2010
(No difference)

@@ Line 1: / Line 1: @@
-In recent work by Maoz, Metsä, and 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.
+In recent work by [http://www.se-rwth.de/~maoz/ Shahar Maoz], Jani Metsä, and [http://www.cs.tut.fi/~clark/ 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:
 [[Image: tracer-smartphone-mainviewandoverview.PNG]]