JSXM models validation, compilation, animation, and test case generation.
Note: failures are anticipated and checked for with assertions while errors are unanticipated.