According to the spec, if testKind is "pattern" and a pattern is not supplied, the result should be an SDE. the test test_assertPatternEmpty specifies a blank testPattern, but the data parses without throwing an SDE.
The test is in
daffodil-test/src/test/resources/edu/illinois/ncsa/daffodil/section07/assertions/assert.tdml