A software tool for testing JSP designed programs

程序测试是一项困难且耗时的任务,要有条理地执行,但是,如果这样做,则是获得对软件质量信心的一种方法。目前,测试中使用的原则通常是临时的,并且很大程度上依赖于单个程序员的直觉。因此,测试常常被低估,如果一个软件开发项目超过了计划,那么不可避免的是测试阶段会被缩短——如Boehm(参考文献1)和Glass(参考文献2)的调查所示。最近,已经多次呼吁将测试过程正式化,并开发综合测试方法(参考文献3)。本文介绍了作者目前正在开发的这种方法的一个方面。本文首先描述了一种新的测试方法,该方法是专门为使用Jackson结构化编程(JSP)(参考文献4)方法开发的测试程序而设计的。然后,本文描述了一种软件工具