executable test for code in requirements