摘要: 本文在扼要地介绍了软件测试的目的与任务之后。详细地论述了测试的步骤和策略,并以我们合作开发的C软件测试环境STE为背景详细地阐述了STE的功能和静态分析、动态测试测试结果分析和测试信息库的构成和原理,以及STE的使用方法。