Nov. 29, 2018
8:01 a.m.
On 28 Nov 2018, at 21:37, Manuel Leuenberger <leuenberger@inf.unibe.ch> wrote:
Awesome, thanks for the effort Marcus!
I was wondering if it would be useful to use matrix-testing for MetaLinks. I imagine having example methods which employ all features of the Smalltalk syntax (syntax on a postcard?), for which all intermediate results of expressions are known, then apply MetaLinks in all possible combinations (arguments x control) and check the reifications and side-effects against the oracle. Then the tests would generate a matrix of which combinations work and which don't. This should cover most of the possible executions.
Yes, that would be nice. Marcus