C软件测试工具系统CSTT

基于一个统一的测试方法,我们设计并实现了支持C软件测试的工具系统CSTT,CSTT由静态分析工具、断言检测工具、符号踪迹工具、分枝覆盖工具和断点显示工具组成,本文描述了该测试方法,介绍了CSTT的功能。