Computer Science ›› 2016, Vol. 43 ›› Issue (Z11): 490-494.doi: 10.11896/j.issn.1002-137X.2016.11A.110

Previous Articles     Next Articles

Analysis of Embedded Software Based on Static Model with Simplified Grammar and Sentence Depth

LI Zhen-xiang, LIU Chong-wei, YANG Guang-yi and LIU Jin-shuo   

  • Online:2018-12-01 Published:2018-12-01

Abstract: In order to solve the problem that the embedded software has the shortcoming of the platform dependence,this paper presented an embedded software analysis method based on the static structure model.Before control flow and data flow analysis,a lexical analysis/syntax analysis method with simplified grammar and sentence depth was designed to analyze the embedded software. This paper used the open source software of smart meters as a case,and used the artificial errors as the test objects,repeated 30 times.Compared with the popular static analyzing tools PC-Lint and Splint,the method can accurately orient 91% errors,which is between PC-Lint’s 95% and Splint’s 90%.The result indicates that the correct rate of our method is acceptable.Meanwhile,by removing the platform-dependent operation with simplified syntax analysis,our method is independent of development environment.It also shows that the method is applicable to the compiled C (including embedded software) program.

Key words: Embedded system,Static structure model,Software analysis

[1] 兰雨晴.软件测试[J].计算机系统应用,2003,24(12):66-68
[2] 刘佳欣.嵌入式软件静态检测及自动化路径测试工具的研究与设计[D].广州:华南理工大学,2012
[3] 邓世伟.嵌入式软件的测试方法和工具[J].单片机与嵌入式系统应用,2001,2(4):140-142
[4] 赵立平.控制流分析[J].计算机工程与应用,1979(2)
[5] 周希.基于静态分析的程序控制流图生成工具的设计与实现[D].广州:中山大学,2013
[6] 张广梅.软件测试与可靠性评估[D].北京:中国科学院计算技术研究所,2006
[7] American National Standards Institute.ANSI C [EB/OL].[2016-3-10].
[8] Kiczales G,lamping J,Mendhekar A.An Overview of Aspect[C]∥J.Proc.13th European Conference on Object-Oriented Programming,LNCS,Vol.1241,Springer-Verlag,2000:220-242
[9] 张广梅.数据流相关软件故障的静态检测[J].计算机辅助设计与图形学学报,2005,7(11):2477-2482
[10] 王胜文.采用数据流图的故障模型生成算法与应用[J].哈尔滨工业大学学报,2009,1(41):118-121

No related articles found!
Full text



No Suggested Reading articles found!