It's clearly impossible to exhaustively test all data type values,
let alone test them in combination with all reference types.
However, we can make useful efforts in that direction.
Type Matrix Testing
Using the Type_Matrix
as a starting point,
we should be able to create a few representative test snippets
for each data type.
We can then run these against all reference types,
both singly and in combinations.
This seems like an appropriate way to guide and monitor the development process.
Create a test framework, based on the Type Matrix,
then try to fill in (and retain!) working cells as development proceeds.
It might be interesting and useful to try generative testing,
using some variant of QuickCheck
To be continued...
This wiki page is maintained by Rich Morin
an independent consultant specializing in software design, development, and documentation.
Please feel free to email
comments, inquiries, suggestions, etc!