Android application program data race detection based on predictability analysis

An Android application, data competition technology, applied in software and computer fields, can solve problems such as localization and ordering, and achieve the effect of avoiding false positives, strong scalability, and reducing false negatives

Active Publication Date: 2015-12-23
NANJING UNIV
View PDF3 Cites 11 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In terms of data race detection in Androi...

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Android application program data race detection based on predictability analysis
  • Android application program data race detection based on predictability analysis
  • Android application program data race detection based on predictability analysis

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0057] The method of the present invention is firstly based on the Android development framework and its multi-thread model, inserts the Android application program and dynamically runs to extract a single execution track, then uses the predictive analysis method to analyze the execution track, and constructs the sequence relationship between its activities (Happens- Before) and predict and generate multiple execution trajectories, on this basis, combine variable relaxation and path relaxation to encode constraints on all activities in the execution trajectory, and finally put them into the constraint solver for solution, so as to complete the detection of data competition.

[0058] Process flow of the present invention such as figure 1 As shown, it specifically includes the following five steps.

[0059] Step 1: Analyze the Android development framework, combine its unique multi-threaded model, insert the original Android application program, and dynamically run it to obtain ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention relates to a method for Android application program data race detection based on predictability analysis. The method comprises the steps that based on an Android development framework and a multi-thread model of the Android development framework, an Android application program is instrumented and operated dynamically to extract a single executing track, the executing track is then analyzed through a predictability analysis method, the happening order relation (Happens-Before) among activities of the Android application program is structured, multiple executing tracks are generated through prediction, on this basis, all activities in the executing tracks are subjected to constraint coding through combination of variable slacking and path slacking, and codes are finally put into a constrain solver to be solved to complete detection of data races. By means of the method, the false alarm rate of the data races can be effectively decreased, expansibility is good, efficiency is high, only the single executing track needs to be collected, and thus the labor cost is greatly reduced.

Description

technical field [0001] The invention belongs to the field of computer technology, especially the field of software technology. The present invention provides a predictive analysis method for detecting data competition problems in Android applications for software quality assurance. Background technique [0002] In the Internet age, mobile phones are easy to carry, and mobile apps (MobileApps) on them are favored by a wide range of users. Due to the openness of Android and the seamless integration of many Google applications, manufacturers can launch a variety of colorful and unique products at low cost. Android's market share increased from 79.6% in Q2 2013 to 84.7% in Q2 2014. However, due to the openness and freedom of the Android platform, Android applications have the characteristics of a wide variety and heterogeneous autonomy, and the development threshold is low, and the prevalence of open source codes makes applications inherently insufficient in software quality. ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F11/36
Inventor 许蕾孙全陈林徐宝文
Owner NANJING UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap