Proceedings of the 6th International Conference on Information Engineering for Mechanics and Materials

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

Authors
Zhijie Gao, Ling Lu, Wen Jiao
Corresponding Author
Zhijie Gao
Available Online November 2016.
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)

Volume Title
Proceedings of the 6th International Conference on Information Engineering for Mechanics and Materials
Series
Advances in Engineering Research
Publication Date
November 2016
ISBN
10.2991/icimm-16.2016.112
ISSN
2352-5401
DOI
10.2991/icimm-16.2016.112How to use a DOI?
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/).

Cite this article

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  -