東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Analyzing Android Applications for S...

Dominguez, Danilo.

Linked to FindBook

Google Book

Amazon

博客來

Analyzing Android Applications for Specifications and Bugs.

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Analyzing Android Applications for Specifications and Bugs./
Author:	Dominguez, Danilo.
Description:	83 p.
Notes:	Source: Masters Abstracts International, Volume: 51-06.
Contained By:	Masters Abstracts International51-06(E).
Subject:	Computer Science. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=1540155
ISBN:	9781303170744

Analyzing Android Applications for Specifications and Bugs.
Dominguez, Danilo.

Analyzing Android Applications for Specifications and Bugs. - 83 p.

Source: Masters Abstracts International, Volume: 51-06.

Thesis (M.S.)--Rochester Institute of Technology, 2013.

Android has become one of the leader operating systems for smartphones. Moreover, Android has a big community of developers with over 696500 applications on its market. However, given the complexity of the system, bugs are very common on Android applications--such as security vulnerabilities and energy bugs. Normally Android applications are written using the Java programming language. In contrast to most Java applications, Android applications does not have a single entry point (main function). In addition, these applications can use some system calls and receive events from external entities (such as the user) that affect how their control flows. Therefore, a model of the Android system must be defined in order to understand the behavior of Android applications and define how their control flows.

ISBN: 9781303170744Subjects--Topical Terms:

626642
Computer Science.

Analyzing Android Applications for Specifications and Bugs.
LDR:02889nam a2200301 4500 001 1964000
005 20141010091512.5
008 150210s2013 ||||||||||||||||| ||eng d
020 $a 9781303170744
035 $a (MiAaPQ)AAI1540155
035 $a AAI1540155
040 $a MiAaPQ $c MiAaPQ
100 1 $a Dominguez, Danilo. $3 2100366
245 1 0 $a Analyzing Android Applications for Specifications and Bugs.
300 $a 83 p.
500 $a Source: Masters Abstracts International, Volume: 51-06.
500 $a Adviser: Wei Le.
502 $a Thesis (M.S.)--Rochester Institute of Technology, 2013.
520 $a Android has become one of the leader operating systems for smartphones. Moreover, Android has a big community of developers with over 696500 applications on its market. However, given the complexity of the system, bugs are very common on Android applications--such as security vulnerabilities and energy bugs. Normally Android applications are written using the Java programming language. In contrast to most Java applications, Android applications does not have a single entry point (main function). In addition, these applications can use some system calls and receive events from external entities (such as the user) that affect how their control flows. Therefore, a model of the Android system must be defined in order to understand the behavior of Android applications and define how their control flows.
520 $a In this thesis, two approaches to define the behavior of Android applications are studied. The first approach is an intra-component analysis that take in account just the lifecycle of the main components in Android to define control flow of the applications. This approach is evaluated applying a specification miner for energy related specifications on 12 applications from the Android market. We were able to mine 91 specifications on all the applications and 41 of them were validated. For 50% of the applications analyzed, the analysis had less than 40% of false positives specifications. However, for the rest of the applications, the interaction between components was a important factor that increased the false positives.
520 $a Therefore, the second approach is an inter-component approach that takes in account both, the lifecycle of components and interaction between components to define the control flow of Android applications. We evaluate the approach checking the percentage of code coverage on 8 applications from the Google market. The results are promising with an average coverage of 67%. In addition, we were able to identify bugs related to violations of constraints regarding intecomponent interactions.
590 $a School code: 0465.
650 4 $a Computer Science. $3 626642
650 4 $a Information Technology. $3 1030799
690 $a 0984
690 $a 0489
710 2 $a Rochester Institute of Technology. $b Computer Science. $3 1044045
773 0 $t Masters Abstracts International $g 51-06(E).
790 $a 0465
791 $a M.S.
792 $a 2013
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=1540155