Research and Implementation of Software Static Testing on Linux Platform

HE Xiao-hong,GAO Hai-chang,LIU Xiao-hong,FENG Bo-Qin,ZHU Li,GU Gang
DOI: https://doi.org/10.3969/j.issn.1000-7180.2005.02.011
2005-01-01
Abstract:Based on the methods and principles of White-Box testing, this paper researches automatic testing technologies for softwares on Linux.In this paper, the static analysis methods on most kinds of software which are developed by C/C++ programming language are depicted. On the basis of these analysis, some diagrammatic representations on tested projects will be provided to users.So, users can estimate whether their projects are correct in system design and implementation or not. Also, the static diagrams may lay a foundation for the succeeding dynamic testing and automatic generating test case.
What problem does this paper attempt to address?