Lesson plan
JWalk
JWalk is a unit testing toolkit for the Java programming language. Created by Anthony Simons, JWalk supports a testing paradigm called Lazy Systematic Unit Testing. This is based on the two notions of lazy specification, the ability to infer the evolving specification of a class on the fly by dynamic analysis, and systematic testing, the ability to explore and test the class's state space exhaustively to bounded depths.
Article summary
JWalk is a unit testing toolkit for the Java programming language. Created by Anthony Simons, JWalk supports a testing paradigm called Lazy Systematic Unit Testing. This is based on the two notions of lazy specification, the ability to infer the evolving specification of a class on the fly by dynamic analysis, and systematic testing, the ability to explore and test the class's state space exhaustively to bounded depths.
Key claims
No claims recorded.
Discussion questions
- Summarise the article in your own words. Which single claim would you verify first, and why?
- Which claim in this article is most likely to be revised as the sources update? How would you check its current status?
- If two sources disagreed about one of these facts, what would you need in order to trust one over the other?
Bibliography
No sources recorded.
Key claims and bibliography are generated from the same tracked claims and sources as the article page.