JWalk公司 swMATH ID: 6857 软件作者： 安东尼·西蒙斯 描述： JWalk：一个通过设计内省和用户交互对java类进行懒惰、系统测试的工具流行的软件测试工具，如JUnit，允许频繁地重新测试修改过的代码；然而，手动创建的测试脚本通常严重不完整。因此，开发了一个名为JWalk的单元测试工具，以满足在敏捷方法上下文中进行系统单元测试的需要。该工具直接对Java类的编译代码进行操作，并使用新的惰性方法动态地诱导类的更改设计。这部分是通过自省、使用Java的反射功能实现的，部分是通过与用户交互、动态构建和保存测试预言来实现的。预测规则减少了测试人员必须确认的oracle值的数量。在没有人为干预的情况下，（JWalk）对类的方法协议进行有界的详尽探索，并可能被引导探索代数结构的空间，或被测试类的预期设计状态空间。通过一些人工交互，JWalk可以根据增量获取的规范执行相当于完全自动化的基于状态的测试。 主页： http://staffwww.dcs.shef.ac.uk/people/A.Simons/jwalk/ 关键词： 敏捷方法；单元测试；基于状态的测试；代数测试；惰性规范；惰性系统测试；操作抽象；JWalk公司；JUnit公司 相关软件： OBJ3型；J拉舍；NanoXML；埃克拉特；罗斯特拉；JUnit公司；科拉特；测试时代；Daikon公司；Symstra公司 引用于： 0个文档