jtreg should detect and give errors for bad module names in @modules or in TEST.properties modules property.

jtreg should reject syntactically invalid names.

Unfortunately, it can't detect names for modules that do not exist.