基于程序执行状态图的软件测试方法研究

软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。最后,文章介绍了使用PESC逐步生成测试路径的方法。

支持程序分析的C++程序信息库的建立与研究

提出了一种新程序信息库的设计模式，介绍了程序信息的提取方法，建立了程序信息库ＣＰＰＩＮＦＯ，并通过使用实例说明了它的优点。

一个面向对象软件测试工具实现及其实验研究

测试仍然是软件质量保证的最有效的手段 .本文在开发了 C++语言面向对象的软件测试工具 Err Seed的基础上 ,通过对具体的 C++工程的测试 ,得出具体的测试结果数据 ,并对结果进行了深入的分析 .该工具还将测试结果存放在一个数据库中 ,以积累有效的数据 ,这对软件的质量评估以及有关评估模型的建立非常有意义 .实验证明Err Seed是有效的 ,对以 C\C++语言为开发工具的软件开发人员。