A test definition and execution grammar written in xtext