From the hub, tagged: "Unit Testing"

Testing multiple implementations of a protocol

This post is external to PrologHub

Testing multiple implementations of a protocol is a recurrent task. For example, we may have multiple datasets that we need to check for integrity. Or we may want to check multiple implementations of an abstract data type. In this blog post, we will use...


User-defined test dialects

This post is external to PrologHub

Testing is a fundamental part of software development. Follows that writing tests should be as accessible as possible. Although automatic test generation is an established practice ...


Setting Up Unit Testing In SWI-Prolog

Reading the docs for plunit, it can be quite tricky to figure out how to setup a unit testing environment and actually run those tests. In this post we look at how to do it, keeping tests separate from code, and running them with a handy command.