The following attributes—ConstantValue, NestHost, NestMembers, and PermittedSubclasses—should be tested, unit tests are expected. The test should verify that the transitions class -> jasm -> class and jasm -> class -> jasm do not erase the initial attributes and do not break the functionality of the class. In other words, the application should work as expected both after modifying the JASM file and without modifying it. Also jcod step should be included in tranasformations like class -> jasm -> class -> jcod -> class