web工程中基于不变性的元数据检查和测试

元数据在web工程中起到了十分重要的作用。随着元数据规模的增加,对元数据的维护会花费很多的时间和精力。而目前的编译器不能对元数据不一致所导致的错误进行提示,也不能罗列出元数据和代码之间隐藏的关系。通过实验,使用基于框架和框架无关两种方式来发现元数据不变性,研究并验证了元数据不变性。当用户重构或者增强程序时,元数据不变性会被检查,如果违反了不变性,则对用户进行提示。