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个文档