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

被引：0
|
作者：
Gao, Zhijie [1 ]
Lu, Ling [1 ]
Jiao, Wen [1 ]
机构：
[1] Software Testing Ctr 96658 Troops, Beijing 100094, Peoples R China
来源：
PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING FOR MECHANICS AND MATERIALS | 2016年 / 97卷
关键词：
Static Analysis; Formalization; RELAY Algorithm; Testing Framework;
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
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.
引用
收藏
页码：621 / 626
页数：6
相关论文
共 50 条
  • [1] software technology Ensuring the Integrity of Embedded Software with Static Code Analysis
    Chelf, Ben
    Ebert, Christof
    [J]. IEEE SOFTWARE, 2009, 26 (03) : 96 - 99
  • [2] Concurrency defect localization in embedded systems using static code analysis: an evaluation
    Johansson, Bjarne
    Papadopoulos, Alessandro, V
    Nolte, Thomas
    [J]. 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2019), 2019, : 7 - 12
  • [3] Static timing analysis of embedded software
    Malik, S
    Martonosi, R
    Li, YTS
    [J]. DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 147 - 152
  • [4] Retargetable static timing analysis for embedded software
    Chen, KY
    Malik, S
    August, DI
    [J]. ISSS'01: 14TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, 2001, : 39 - 44
  • [5] From Source Code Analysis to Static Software Testing
    Wang Wei
    Han Lilong
    Meng Yunxiu
    Bai He
    [J]. PROCEEDINGS OF 2014 IEEE WORKSHOP ON ADVANCED RESEARCH AND TECHNOLOGY IN INDUSTRY APPLICATIONS (WARTIA), 2014, : 1280 - 1283
  • [6] Static analysis test platform construction for embedded systems
    Wang, Hongcheng
    Ding, Zhigang
    Zhong, Yuwei
    [J]. 2008 INTERNATIONAL CONFERENCE ON AUDIO, LANGUAGE AND IMAGE PROCESSING, VOLS 1 AND 2, PROCEEDINGS, 2008, : 808 - 812
  • [7] A Static Code Analysis Tool for Control System Software
    Nair, Sreeja
    Jetley, Raoul
    Nair, Anil
    Hauck-Stattelmann, Stefan
    [J]. 2015 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER), 2015, : 459 - 463
  • [8] A Live Static Code Analysis Architecture for PLC Software
    Obster, Mathias
    Kowalewski, Stefan
    [J]. 2017 22ND IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2017,
  • [9] Code-Level Timing Analysis of Embedded Software
    Falk, Heiko
    Hammond, Kevin
    Larsen, Kim G.
    Lisper, Bjorn
    Petters, Stefan M.
    [J]. EMSOFT '12: PROCEEDINGS OF THE TENTH AMC INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2012, 2012, : 163 - 164
  • [10] Software platform for embedded software development
    See, WB
    Hsiung, PA
    Lee, TY
    Chen, SJ
    [J]. REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 545 - 557
12345