The Research And Implementation Of Cross-Platform Technology On DTSC

With the rapid development of software technology and the size and complexity dramatically increasing of computer systems, the significance of software testing becomes more and more important. Software testing is the final examination of software requirements analysis, design and coding, it’s a key step of software quality assurance. Because the efficien-cy of manual testing is relatively low and easy to introduce human error, hence automated testing technology has been rapid development in recent years. The DTSC system this paper involves is a static analysis framework of C program language, it is a kind of automatic software testing methods based on defect pattern, and it can deal with the C intermediate code which had been pre-treated to generate the information of abstract syntax tree, and then generate the information of control flow graph and symbols table in order to analysis the potential defects of the software by loading the defect model state machine.As a kind of generic, high-level procedural language, C language has so many advantages that there is a variety of C language compilers in different platforms. Because the C language syntax supported by different compilers is different, the author met so many syntax compatibility issues in study of the C language static framework that start to do cross-platform analysis. This paper is mainly about the implementation principles of the static analyzer of C language and the process of C program language pretreatment and the abstract syntax tree, which are involved in the front-end part of the C language static analysis framework. What is more, the author also do a lot of work on C language compilers mainly on operating system of Windows platform、Linux platform and embedded platform. The author does a lot of researches on different compilers which are most popular primarily on these three platforms to find their features, summarize the difference between these different compilers and the standard C89 and classify these extensions, and finally complete the development of some typical extensions with the help the Sun’s JAVACC tools.At last, the author used the modified C language parser to analysis the test codes which has been compiled by their compiler, and make the comparisons between results generated from C language parser which has not been modified to determine whether achieve the desired results by using such an extension method. The experiments show that it is easily to implement the supports for different C language syntax with the usage of JAVACC tools and the C language JJT file, and this is significantly to the extensions of the static analysis framework.