文件名称：A software tool for testing JSP designed programs
文件大小：794KB
文件格式：PDF
更新时间：2023-04-28 13:20:23
JSP
程序测试是一项困难且耗时的任务，要有条理地执行，但是，如果这样做，则是获得对软件质量信心的一种方法。目前，测试中使用的原则通常是临时的，并且很大程度上依赖于单个程序员的直觉。因此，测试常常被低估，如果一个软件开发项目超过了计划，那么不可避免的是测试阶段会被缩短——如Boehm（参考文献1）和Glass（参考文献2）的调查所示。最近，已经多次呼吁将测试过程正式化，并开发综合测试方法（参考文献3）。本文介绍了作者目前正在开发的这种方法的一个方面。本文首先描述了一种新的测试方法，该方法是专门为使用Jackson结构化编程（JSP）（参考文献4）方法开发的测试程序而设计的。然后，本文描述了一种软件工具，该工具已被开发用于实现这种方法的自动化，并讨论了该工具为实践软件工程师提供的优势。测试的一般讨论包含在Adrion、Branstad和Cherniavsky（参考文献5）和Prather（参考文献6）的论文中。