一个支持C源码测试的静态分析工具

A Static Analysis Tool Supporting C Program Testing

软件测试是保证大型软件系统开发成功不可缺少的支持条件，如何对“集成化ＣＡＤ／ＣＡＰＰ／ＣＡＭ系统”开发过程的跟踪测试则是这一领域中的新课题。本文结合具体背景，重点介绍支持其结构测试的Ｃ源码静态分析工具的功能结构、设计原理与实现方法。

Software testing is a necessary supporting condition for keeping the development of a large software system successful. It is a new difficult problem how to fellow the track of the developing process of 'CAD /CAPP/CAM integrated system'and give a detail test in the software testing area.This paper,based on a real project background,focuses on the functional structure, design mechanism and implementation methode of C program static analysis tool which supports C structure testing, and introduces the limited scope in which the tool is able to deal with the mistakes and show some useful information.