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

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

主动数据库中规则可观察确定性判定问题的一个解决方法

判定规则集的可观察确定性,是主动数据库中的核心问题之一.本文对于数据检索采用了执行状态图,逐步求得每条执行规则对检索结果的影响,最后累积出最终的影响结果,从而确定其可观察确定性.对事务回退操作采用抽象操作符记录动作的执行顺序,通过动作的逆操作实现事务的回退操作.从而实现了规则集可观察确定性的判定.