Research on the Static Analysis Method of the Localization Embedded Platform Software Code

DOI

10.2991/icimm-16.2016.112How to use a DOI?

Keywords

Static Analysis; Formalization; RELAY Algorithm;Testing Framework

Abstract

Localization of embedded system software usually has the characteristics of component, multi thread. Dynamic test is difficult to achieve full coverage, through static analysis techniques for automatically check source code, source code in the presence of common software defects found, can thoroughly solve specific types of software defects, effectively improve the localization platform software system reliability. In this paper, based on the formal method of static analysis, the algorithm of solve pointer alias analysis problem, puts forward the static analysis to test the framework for localization platform software code to carry out the static test and provide an effective way.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Zhijie Gao
AU  - Ling Lu
AU  - Wen Jiao
PY  - 2016/11
DA  - 2016/11
TI  - Research on the Static Analysis Method of the Localization Embedded Platform Software Code
BT  - Proceedings of the 6th International Conference on Information Engineering for Mechanics and Materials
PB  - Atlantis Press
SP  - 621
EP  - 626
SN  - 2352-5401
UR  - https://doi.org/10.2991/icimm-16.2016.112
DO  - 10.2991/icimm-16.2016.112
ID  - Gao2016/11
ER  -