This article defines and demonstrates a technique for assembling concise, lightweight specifications and unit tests for verifying the identity of a function (in order to distinguish it from other potentially similar functions), with a particular focus on functions that operate on binary data (such as cryptographic primitives). This technique sacrifices completeness in order to enable highly compact and portable representations of function specifications.
-
Notifications
You must be signed in to change notification settings - Fork 0
This article presents a technique for assembling concise, lightweight specifications and unit tests for verifying the identity of a function; the technique sacrifices completeness to enable compact and portable specifications.
License
reity/article-specifications-for-distinguishing-functions
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
This article presents a technique for assembling concise, lightweight specifications and unit tests for verifying the identity of a function; the technique sacrifices completeness to enable compact and portable specifications.